TY  - BOOK
AU  - Hachtel, Gary D
TI  - Logic synthesis and varification algoritms
SN  - 8181284836
U1  - 511.6 HAC 
PY  - 2006///
CY  - Colorado
PB  - Springer
N1  - Includes bibliographical references
ER  -