TY  - BOOK
AU  - Kloos, Carlos Delgado
AU  - Cerny, Eduard
TI  - Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 international conference on computer hardware description languages and their applications, 20-25 April 1997, Toledo, Spain
SN  - 9780412788109
U1  - 621.392 KLO 
PY  - 1997///
CY  - London
PB  - Chapman & Hall
KW  - Computer hardware description languages
KW  - VHDL distributed hardware design analog languages formal characterizations systems verification specification
N1  - includes index
ER  -