Characterizing a portable subset of behavioral VHDL-93

Citation data:

CONFERENCE: Hardware Description Languages and Their Applications

Hardware Description Languages and their Applications, Vol: 3, Page: 97-113

Publication Year:
1997
Usage 18
Downloads 14
Abstract Views 4
Repository URL:
https://works.bepress.com/tk_prasad/16; https://corescholar.libraries.wright.edu/knoesis/889
DOI:
10.1007/978-0-387-35064-6_13
Author(s):
Krishnaprasad Thirunarayan; Robert L. Ewing
Publisher(s):
Springer Nature
Tags:
Hardware Description Languages; Standards; Formal Methods; Verification and Validation; Hardware Description Languages; Standards; Formal Methods; Verification and Validation; Bioinformatics; Communication; Communication Technology and New Media; Computer Sciences; Databases and Information Systems; Life Sciences; OS and Networks; Physical Sciences and Mathematics; Science and Technology Studies; Social and Behavioral Sciences
book chapter description
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.