Equivalence Checking of Digital Circuits door Paul Molitor & Janett Mohnke