SysteMoC - Representing models of computation in SystemC

Abstract

Due to rising design complexity it is necessary to increase the level of abstraction at which systems are designed. On the other hand, modern embedded system design is still based on design languages which allow unstructured communication. The specification is mostly mapped onto a set of interacting tasks and hardware modules, which interact by the use of shared variables and various ways of message passing. Even worse, nearly all design languages are Turing complete making analysis in general impossible. However, by constraining the type of communication used between tasks and the communication behavior of the tasks, expressiveness can be traded for analyzability. The aim of this project is the definition of a SystemC coding subset which allows extraction of the communication behavior of each actor in the design. It provides an actor orient design library on top of SystemC with a strictly defined coding subset for expressing the communication behavior of actors.

Designflow

The input for our designflow is an executable specification encoded in SysteMoC. In this executable specification the analytic models of the application, e.g., SDF or CSDF, and the functionality of the application are combined. This allows the extraction of the analytic model from the executable specification for usage in our design space exploration tool SystemCoDesigner and guarantees that functionality and analytic model will not diverge.

Browse the source code

Get the SysteMoC source from svn https://svn.greensocs.com/local/greensocs/packages/systemoc/branches