Denotational Approach to an Event-Driven System-Level Language
As a system-level modelling language, SystemC possesses several novel features such as delayed notifications, notification cancelling, notification overriding and delta-cycle. It is challenging to formalise SystemC. In this paper, we study the denotational semantics for SystemC using Unifying Theories of Programming (abbreviated as UTP) . Two trace variables are introduced, one is to record the state behaviours and another is to record the event behaviours. The timed model is formalised in a three-dimensional structure. A set of algebraic laws is explored, which can be proved via the achieved denotational semantics.
KeywordsAtomic Action Related Pair Denotational Semantic Abstract State Machine Macro Time
Unable to display preview. Download preview PDF.
- 2.Gawanmeh, A., Habibi, A., Tahar, S.: An executable operational semantics for SystemC using abstract state machines. Technical report, Department of Electrical and Computer Engineering, Concordia University Montreal (March 2004)Google Scholar
- 3.Habibi, A., Tahar, S.: SystemC fixpoint semantics. Technical report, Department of Electrical and Computer Engineering, Concordia University Montreal (January 2005)Google Scholar
- 4.He, J.: Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill International Series in Software Engineering (1994)Google Scholar
- 6.Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)Google Scholar
- 7.IEEE. IEEE Standard Hardware Description Language based on the Verilog Hardware Description Language, vol. IEEE Standard 1364-2001. IEEE, Los Alamitos (2001)Google Scholar
- 8.Milner, R.: Communication and Mobile System: π-calculus. Cambridge University Press, Cambridge (1999)Google Scholar
- 9.Open SystemC Initiative (OSCI). Functional Specification for SystemC 2.0 (October 2001)Google Scholar
- 10.Open SystemC Initiative (OSCI). SystemC 2.0.1 Language Reference Manual (2003)Google Scholar
- 12.Ruf, J., Hoffmann, D.W., Gerlach, J., Kropf, T., Rosenstiel, W., Müller, W.: The simulation semantics of systemc. In: DATE ’01: Proceedings of the conference on Design, automation and test in Europe, Piscataway, NJ, USA, March 2001, pp. 64–70. IEEE Press, Los Alamitos (2001)Google Scholar
- 13.Zhu, H.: Linking the Semantics of a Multithreaded Discrete Event Simulation Language. PhD thesis, London South Bank University (February 2005)Google Scholar