Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provide

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing qu