Instrumentation of the Control Flow of SystemC AMS - Models for Symbolic Simulation

Until now it was hard to integrate formal verification of Analog/Mixed-Signal Systems in existing design fl ows. Beside scalability, the compatibility of models is also a challenge. This work describes how existing SystemC AMS modules can be instrumented to switch from a numeric to a symbolic simulation. Here, we extend an existing approach with abstract data type (ADT) for arithmetic operations (data flows) to allow also symbolic simulation of control flows.