TY  - BOOK
AU  - Hachtel, Gary D
AU  - Somenzi, Fabio
TI  - Logic synthesis and verification algorithms
SN  - 792397460
CY  - London
KW  - Computer-aided design
KW  - Integrated circuits -- Verification
KW  - Integrated circuits -- Very large scale integration -- Design -- Data processing
KW  - logic design -- Data processing
ER  -