Abstract
The aim of this chapter is to define a simple analogue hardware description language L and give it a sound semantics that supports formal reasoning about its properties
The syntax of L is that of a hybrid programming languages but the semantics has been derived from the analogue signal semantics of the up-coming IEEE VHDL-AMS extension to the IEEE standard digital hardware description language, VHDL [1].
L will here be given two semantics. Firstly, what may be termed an exact, or hardware, semantics and secondly an aproximation, or simulation, semantics. The simulation semantics is computable and the hardware semantics is not. It will be shown that the simulation semantics approximates the hardware semantics in a well-defined sense. This property is a “no surprises” guarantee with respect to simulation for the language
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEEE. IEEE Standard VHDL Language Reference Manual. ANSI/IEEE STD 1076-1993. Institute of Electrical and Electronic Engineers, New York, 1994.
Mark P. Jones. Introduction to Gofer. Technical report, Department of Computer Science, Yale University, USA, September 1991. (part of the Gofer distribution, anonymous ftp from http://ftp.cs.nott.ac.uk in the directory nott-fp/languages/gofer, rev. Oct. 1994).
N. Martínez Madrid, P.T. Breuer, and C. Delgado Kloos. A semantic model for VHDL-AMS. In Hon F. Li and David K. Probst, editors, Proc. Conference on Correct Hardware Design and Verification Methods, CHARME’97; Advances in Hardware Design and Verification, pages 106–126. IFIP; Chapman and Hall, October 1997. Montreal, Canada.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Breuer, P.T., Madrid, N.M., Kloos, C.D. (1998). The Computational Description of Analogue System Behaviour. In: Möller, B., Tucker, J.V. (eds) Prospects for Hardware Foundations. Lecture Notes in Computer Science, vol 1546. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49254-2_9
Download citation
DOI: https://doi.org/10.1007/3-540-49254-2_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65461-2
Online ISBN: 978-3-540-49254-2
eBook Packages: Springer Book Archive