Author Molitor, Paul
Title Equivalence checking of digital circuits [electronic resource] : fundamentals, principles, methods / Paul Molitor and Janett Mohnke
Imprint Boston : Kluwer Academic Publishers, c2004
book jacket
Descript xiii, 262 p. : ill., digital ; 24 cm
Note Springer
Host Item Springer e-books
Subject Digital electronics -- Testing
Alt Author Mohnke, Janett
SpringerLink (Online service)