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 Carlos Delgado Kloos and Eduard Cerny