Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.
Publisher: Springer-Verlag New York Inc.
Number of pages: 158
Weight: 290 g
Dimensions: 235 x 155 x 9 mm
Edition: Softcover reprint of the original 1st ed. 199
You may also be interested in...
Please sign in to write a review