TY  - BOOK
AU  - Huang, Shi-Yu
AU  - Cheng, Kwang-Ting
TI  - Formal equivalence checking and design debugging
SN  - 9780792381846
SN  - 98023993
U1  - 621.3815 HUA 
PY  - 1998///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - Application specific integrated circuits - Design and construction
KW  - Electronic circuit design - Data processing
KW  - Integrated circuits - Verification
N1  - Includes bibliographical references (p. [211-222) and index
ER  -