Email Record: VLSI specification, verification, and synthesis /