Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing, 12, Band 12)