Compositional semantics of system-level designs written in systemC

In this paper, we propose a component-based approach to verify system-level designs. The coordination language Reo is selected as an Architecture Description Language (ADL) to model system designs written in SystemC. In our approach we map a SystemC design to a Reo circuit, and then construct the co...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 2007 international conference on Fundamentals of software engineering pp. 113 - 128
Main Authors Razavi, Niloofar, Sirjani, Marjan
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer-Verlag 17.04.2007
SeriesACM Conferences
Subjects
hardware design
constraint automata
formal verification
Reo
Systemc
Online AccessGet full text

Cover

More Information
Summary:In this paper, we propose a component-based approach to verify system-level designs. The coordination language Reo is selected as an Architecture Description Language (ADL) to model system designs written in SystemC. In our approach we map a SystemC design to a Reo circuit, and then construct the corresponding constraint automata which show the behavior of the system and can be used for analysis purposes. The elegance of our approach is in using Reo and constraint automata as a pair to capture the structure and the behavior of the system together. We checked the correctness of our approach by comparing the SystemC simulation kernel behavior with the behavior of the glue code we proposed.
ISBN:3540756973
9783540756972
DOI:10.5555/1775223.1775231