Text this: Formal Equivalence Checking and Design Debugging /