Email Record: Formal Equivalence Checking and Design Debugging /