TY  - BOOK
AU  - Gary D. Hachtel
TI  - Logic Synthesis and verification algorithms 
SN  - 9780792397465
U1  - 621.395 
PY  - 1996///
CY  - Boston
PB  - Kluwer academic publishers
KW  - Logic Synthesis and verification algorithms
ER  -