Computer Hardware Description Languages and their Applications

The topic areas presented within this volume focus on design environments and the applications of hardware description and modelling – including simulation, verification by correctness proofs, synthesis and test. The strong relationship between the topics of CHDL''91 and the work around the use and re-standardization of the VHDL language is also explored. The quality of this proceedings, and its s...