Equivalence checking of digital circuits : fundamentals, principles, methods
Molitor, Paul
Equivalence checking of digital circuits : fundamentals, principles, methods
Paul Molitor and Janett Mohnke
- Boston Kluwer Academic Publishers 2004
- xiii, 262 p. : ill. ; 24 cm