Email Record: Formal VLSI specification and synthesis :