TY  - BOOK
AU  - Mermet Jean
TI  - VHDL for Simulation Synthesis and Formal Proofs of Hardware
SN  - 9780792392538
U1  - 621.392 MER 
PY  - 1995///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - VHDL
ER  -