Document Type

Conference Proceeding

Publication Date


Find in a Library

Catalog Record


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.


Presented at the VHDL: Multidisciplinary Systems Design and Multimedia Conference, Durham, NC, October 1996.

Catalog Record