TY  - BOOK
AU  - Yoeli, Michael Ed.
TI  - Formal verification of hardware design
U1  - 621.381952 
PY  - 1990///
CY  - California
PB  - IEEE computer society Press
KW  - Hardware Engineering
KW  - Computer Aided Design
ER  -