Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : proceedings of the IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
Carlos Delgado Kloos, E. Cerny · Chapman & Hall eBooks · 1997
Specification and design of reactive systems. Verification using model checking techniques. Formal characterizations of systems. Analog languages. Languages in design flows. Future trends in hardware design. Formal methods for aynchronous and distributed systems. VHDL. Index of contributors. Keyword index.