Document Type
Conference Proceeding
Publication Date
10-1996
Find in a Library
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 shared variables in VHDL-93 that changes 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.
Repository Citation
Thirunarayan, K.,
& Ewing, R.
(1996). On the Portability of Behavioral VHDL-93. .
https://corescholar.libraries.wright.edu/knoesis/888
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 VHDL: Multidisciplinary Systems Design and Multimedia Conference, Durham, NC, October 1996.