Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing, 12 | DealShopping Deutschland