TY  - BOOK
AU  - GARY D HACHTEL; FABIO SOMENZI
TI  - LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS
SN  - 9788181284839
U1  - 621.39522 HAC 
PB  - SPRINGER
KW  - LOGIC
ER  -