TY  - BOOK
AU  - Molitor, Paul
AU  - Mohnke, Janett
TI  - Equivalence Checking of Digital Circuits: fundamentals, principles, methods
SN  - 1402077254
U1  - 621.38 MOL 
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Digital electronics -- Testing
N1  - Table of contents;
1.Tasks in verificat
ER  -