TY  - BOOK
AU  - Drechsler, Rolf
TI  - Formal verification of circuits
SN  - 9780792378587
SN  - 34888
U1  - 621.381548 DRE 
PY  - 2000///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - Decision trees
KW  - Electronic circuits - Testing
N1  - Includes bibliographical references and index
ER  -