TY  - BOOK
AU  - Hachtel, Gary D
TI  - Logic Synthesis and Verification Algorithms
SN  - NMIT011643
PY  - 2003///
CY  - New Delhi
PB  - New Age Intl.P.Ltd.
ER  -