Nubolic Simulation of AMS Systems with Data Flow and Discrete Event Models
Carna Zivkovica and Christoph Grimmb
University of Kaiserslautern, Germany
azivkovic@cs.uni-kl.de
bgrimm@cs.uni-kl.de
ABSTRACT
This paper deals with the performance verification of analog/mixed-signal (AMS) systems by a mixed symbolic/numeric (nubolic) simulation. The approach is to piggyback the symbolic simulation via code-instrumentation on the existing, numeric SystemC AMS simulator. This permits the combination of symbolic and numeric simulation (“nubolic simulation”). The particular focus in the paper is the handling of the symbolic discrete-event process activations. This permits the symbolic simulation of digital parts of AMS systems modeled by discrete event processes. The approach is demonstrated by the symbolic simulation of a dual-charge-pump PLL of an IEEE 802.15.4 RF transceiver that includes an asynchronous digital counter as a frequency divider.
Keywords: Symbolic simulation, Affine arithmetic, Decision diagrams.
