Characterizing a portable subset of behavioral VHDL-93

TitleCharacterizing a portable subset of behavioral VHDL-93
Publication TypeConference Paper
Year of Publication1997
AuthorsKrishnaprasad Thirunarayan, Robert L. Ewing
Conference NameCharacterizing a portable subset of behavioral VHDL-93
Abstract

Goossens defined a structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, non-deterministic execution of VHDL-93 processes destroys the unique meaning property. We identify and characterize a class of portable VHDL-93 descriptions for which unique meaning property can be salvaged. Our specification can serve as a correctness criteria for a VHDL-93 simulator.

Full Text

K. Thirunarayan and Robert L. Ewing, Characterizing a portable subset of behavioral VHDL-93, In: Proceedings of Computer Hardware Description Languages, Chapman and Hall, pp. 97-113, April 1997.
pages: 97-113,
year: 1997
venue name: Computer Hardware Description Languages
hasURL: http://knoesis.wright.edu/library/publications/chdl-1997.pdf
hasBookTitle: Proceedings Computer Hardware Description Languages