A Mathematical Characterization of System Design and Modeling

Authors

Xibin Zhao, Key Laboratory for Information System Security of Ministry of Education, School of Software, Tsinghua University, ChinaFollow

Author Country (or Countries)

China

Abstract

SystemC is an emerging standard hardware description language for system-level modeling and design. Formal semantics could give its meaning in a mathematically rigorous and unambiguous way. In this paper, we formalize SystemC both from processes and simulation environment by process algebra, which enables that deduction and verification of the whole simulation procedure are in an integrated and convenient manner. Meanwhile, in order to accommodate event-driven and concurrent properties of SystemC, we adopt event structure characterized by true concurrency, as semantic model of both SystemC and its simulation environment for denotational semantics and operational semantics, as well as demonstrate the correspondence between them. As a result, we propose a unified framework for formalizing SystemC.

Suggested Reviewers

N/A

Recommended Citation

Zhao, Xibin (2012) "A Mathematical Characterization of System Design and Modeling," Applied Mathematics & Information Sciences: Vol. 06: Iss. 2, Article 23.
Available at: https://digitalcommons.aaru.edu.jo/amis/vol06/iss2/23