THE CAUSALITY BASED DENOTATIONAL SEMANTICS FOR SYSTEMC

摘要

SystemC is a set of library routines and macros implemented in C++, which makes it possible to simulate concurrent processes described by C++ syntax, it becomes the emerging de-facto-standard HDL for system-level modelling 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 standardization.