Email Record: System-on-chip methodologies & design languages /