Abstract
System semantics is the description of system properties by means of semantic functions. For a given formal description of the considered system, different semantic functions describe different properties of interest. As a formalism for language definition, system semantics also provides very useful guidance in the design of system description languages (SDLs), in particular the matching of language conctructs to system concepts in a way that yields useful formal properties for reasoning and formal manipulation.
This paper explains the basic formalism of system semantics and illustrates the application to the description of digital circuits and analog circuits. The existence of useful formal properties is illustrated by showing that theorems of switching theory or electrical network theory can be expressed as conversion rules in the language.
Preview
Unable to display preview. Download preview PDF.
References
H.G. Barrow, "VERIFY: a program for proving correctness of digital hardware designs", Artificial Intelligence 24, pp. 411–436 (sept 1984)
R.T. Boute, "System semantics and formal circuit description". Report no. 69, Dept. of Computer Science, University of Nijmegen (Aug. 1985)
R.T. Boute, "Elements for the formal description of systems". In: A. Kündig, ed., New Approaches to the Formal Description and the Design of Embedded Systems
Digital Equipment Corp., "Spice2 circuit simulation", Engineering systems (brochure) (Oct. 1982)
E.B. Eichelberger, "Hazard detection in combinational and sequential circuits", IBM Journal Res. and Dev., pp. 90–99 (March 1965)
S.M. German, K.J. Liebherr, "Zeus: a language for expressing algorithms in hardware". IEEE Computer 18, 2, pp. 55–65 (Feb. 1985).
K.C. Gupta, R. Garg, R. Chadha, Computer aided design of microwave circuits. Artech House Inc., Dedham, Mass (1981)
S.D. Johnson, Synthesis of digital designs from recursion equations. The MIT Press, Cambridge, Mass. (1984)
F. Maruyama, M. Fujita, "Hardware verification". IEEE Computer 18, 2, pp. 22–32 (Feb. 1985)
E.H. Nordholt, Design of high-performance negative feedback amplifiers. Elsevier, Amsterdam (1983)
E.P. Stabler, "System description languages", IEEE Trans. Comp. C-19, 12, pp. 1160–1173 (Dec. 1970)
N. Suzuki, "Concurrent Prolog as an efficient VLSI design language". IEEE Computer 18, 2, pp. 33–40 (Feb. 1985)
Tymshare, Inc., COMPACT (COMputerized optimization of Passive and ACTive circuits)
H.P. Westman, ed. Reference data for radio engineers (ITT publication), Howard W. Sams & Co. Ltd., Indianapolis (1972)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Boute, R.T. (1987). An introduction to system semantics. In: Kündig, A., Bührer, R.E., Dähler, J. (eds) Embedded Systems. Lecture Notes in Computer Science, vol 284. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016348
Download citation
DOI: https://doi.org/10.1007/BFb0016348
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18581-9
Online ISBN: 978-3-540-48021-1
eBook Packages: Springer Book Archive