Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines (1995)

by E Börger, U Glässer, W Müller
Venue:Formal Semantics for VHDL