“School of Computer Science”

Back to Papers Home
Back to Papers of School of Computer Science

Paper   IPM / Computer Science / 10877
School of Computer Science
  Title:   Compositional Semantics of System-Level Designs Written in SystemC
  Author(s): 
1.  N. Razavi
2.  M. Sirjani
  Status:   In Proceedings
  Proceeding: FSEN
  Vol.:  4767
  Year:  2007
  Pages:   113-128
  Publisher(s):   LNCS, Springer Berlin / Heidelberg
  Supported by:  IPM
  Abstract:
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.

Download TeX format
back to top
scroll left or right