TY  - BOOK
AU  - Hachtel, Gary D
AU  - Gopalakrishna, Sudhir
TI  - Logic Synthesis and Verification Algorithms
SN  - NMIT011644
PY  - 2013///
CY  - N.Delhi
PB  - Subhas Stores Books Corner
ER  -