Supporting dimensional analysis in SystemC-AMS

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.