TY  - BOOK
AU  - Hachtel,Gary D.
AU  - Somenzi,Fabio
TI  - Logic synthesis and verification algorithms 
SN  - 9781475770360
U1  - 621.395 
PY  - 2006///
CY  - New York
PB  - Springer
KW  - Integrated circuits
KW  - Logic design
KW  - Computer-aided design
UR  - http://www.loc.gov/catdir/enhancements/fy0663/2005937330-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0824/2005937330-t.html
ER  -