TY - GEN
T1 - An operational semantics of an event-driven system-level simulator
AU - Peng, Xiaoqing
AU - Zhu, Huibiao
AU - He, Jifeng
AU - Jin, Naiyong
PY - 2006
Y1 - 2006
N2 - As a system-level modelling language, SystemC possesses some new and interesting features such as delayed notifications, notification cancelling, notification overriding and delta-cycle. It is challenging to formalise SystemC. In this paper, we first select a kernel subset of SystemC and study its operational semantics. Based on the operational semantics we define a bisimulation relation, from which program equivalence is explored. Finally, we present a set of algebraic laws for the subset language, which can be proved based on the operational semantics model via bisimulation.
AB - As a system-level modelling language, SystemC possesses some new and interesting features such as delayed notifications, notification cancelling, notification overriding and delta-cycle. It is challenging to formalise SystemC. In this paper, we first select a kernel subset of SystemC and study its operational semantics. Based on the operational semantics we define a bisimulation relation, from which program equivalence is explored. Finally, we present a set of algebraic laws for the subset language, which can be proved based on the operational semantics model via bisimulation.
UR - https://www.scopus.com/pages/publications/46449114404
U2 - 10.1109/SEW.2006.10
DO - 10.1109/SEW.2006.10
M3 - 会议稿件
AN - SCOPUS:46449114404
SN - 0769526241
SN - 9780769526249
T3 - Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30
SP - 190
EP - 200
BT - Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30
T2 - 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30
Y2 - 24 April 2006 through 28 April 2006
ER -