Email Record: VLSI Specification, Verification and Synthesis /