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

Konferenz: ANALOG 2016 - 15. ITG/GMM-Fachtagung
12.09.2016 - 14.09.2016 in Bremen, Germany

Tagungsband: ITG-Fb. 266: Analog 2016

Seiten: 6Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

Radojicic, Carna; Grimm, Christoph (Technical University Kaiserslautern, Germany)

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.