Equivalence Checking of Digital Circuits by Paul Molitor & Janett Mohnke