|Title||Characterizing a portable subset of behavioral VHDL-93|
|Publication Type||Conference Paper|
|Year of Publication||1997|
|Authors||Krishnaprasad Thirunarayan, Robert L. Ewing|
|Conference Name||Characterizing a portable subset of behavioral VHDL-93|
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.