Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This paper will introduce new modeling capabilities for SystemC-AMS to describe energy conserving multi-domain systems in a formal and consistent way at a high level of abstraction. To this end, all variables and parameters of the system model need to be annotated with their measurement units in such a way that they become intrinsic part of the data type. This enforces correct model assembly through strict interfaces and coherent formulas describing the analog behavior by means of dimensional analysis. A library of generic block diagram components has been developed to demonstrate how both requirements can be met using the Boost libraries together with SystemC-AMS. The demonstrated implementation techniques are the key to integrate new Models of Computation (MoCs) into SystemC-AMS to facilitate further the description of multi-domain systems.
Martin Odersky, Nicolas Alexander Stucki
Michael Lehning, Franziska Gerber
, ,