A Formal Definition of an Abstract VHDL Simulator by EA-Machines
E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.
LibreCat: /record/34448
DOI: 10.1007/978-1-4615-2237-9_5