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.
Chapter PDF
Similar content being viewed by others
References
Bhasker, J. (1994) A VHDL Primer, Second Edition, Prentice Hall, Inc.
Breuer, P., Sanchez, L., and Kloos, C. D. (1995) A simple denotational semantics, proof theory and validation condition generator for unit delay VHDL, Formal Methods in System Design, 7(1–2).
Kloos, C. D., and Breuer, P., eds. (1995) Formal Semantics of VHDL,307Kluwer Academic Publishers.
Goossens, K. G. W. (1995) Reasoning about VHDL using operational and observational semantics, Advanced Research Workshop on Correct Hardware Design Methodologies, ESPRIT CHARME, Springer Verlag.
Hennessy, M. (1990) The Semantics of Programming Languages: An Elementary Introduction using Structural Operational Semantics, John Wiley and Sons.
Hoperoft, J., and Ullman, J. (1979) Introduction to Automata Theory, Languages and Computation, Addison-Wesley Co. Institute of Electrical and Electronics Engineers, 345 East 47th Street, New York, USA. IEEE Standard VHDL Language Reference Manual, Std 1076–1993.
Tassel, J. P. (1993) Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding in the HOL Proof Assistant, Ph. D. Dissertation, University of Cambridge.
Willis, J., et al (1996) Shared Variable Language Change Specification,1996. (Draft)
Wilsey, P. A. (1992) Developing a formal semantic definition of VHDL, In: Mermet, J., eds, VHDL for Simulation, Synthesis and Formal Proofs of Hardware, Kluwer Academic Publishers, 243–256.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Thirunarayan, K., Ewing, R.L. (1997). Characterizing a portable subset of behavioral VHDL-93. In: Kloos, C.D., Cerny, E. (eds) Hardware Description Languages and their Applications. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35064-6_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-35064-6_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5387-5
Online ISBN: 978-0-387-35064-6
eBook Packages: Springer Book Archive