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 - Kloos, Carlos Delgado; Cerny, Eduard (Chapman & Hall, 1997)