Email Record: Formal specification and verification in VLSI design /