The Causality based Denotational Semantics for (italics)SystemC

A. He, J. Wu, and L. Li (PRC)


Flow event structure and Process algebra.


SystemC is a set of library routines and macros imple mented in C++, which makes it possible to simulate con current processes described by C++ syntax, it becomes the emerging de-facto-standard HDL for system-level mod elling and design. In this paper, we provide a process algebraic synchronous subset of SystemC, with the aim of the unified set of semantics views for SystemC. Thereafter, a denotational semantics of SystemC is given in terms of the flow event structures characterized by true concurrency. Our aim is to provide a precise and concise semantics of the SystemC (V1.0) simulation semantics for potential stan dardization.

Important Links:

Go Back