Reasoning about VHDL and VHDL-AMS using Denotational Semantics.

Peter T. Breuer, Natividad Martnez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos

Browse the full DATE paper archive.