Document Type
Conference Proceeding
Publication Date
4-1997
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, nondeterministic 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.
Repository Citation
Thirunarayan, K.,
& Ewing, R.
(1997). Characterizing a Portable Subset of Behavioral VHDL-93. Hardware Description Languages and Their Applications, 3, 97-113.
https://corescholar.libraries.wright.edu/knoesis/889
DOI
10.1007/978-0-387-35064-6_13
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the IFIP TC10 WG105. International Conference on Computer Hardware Description Languages and their Applications, Toledo, Spain, April 20-25, 1997.
Attached is the unpublished, author's version of this proceeding. The final publication is available at Springer via http://dx.doi.org/10.1007/978-0-387-35064-6_13.