"Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods" - читать интересную книгу автора (Paul Molitor, Janett Mohnke)