TY  - BOOK
AU  - HACHTEL, GARY. D.
AU  - SOMENZI, FABIO
TI  - LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS
U1  - 621.317.317 
CY  - NEW DELHI
KW  -   LOGIC SYNTHESIS
ER  -