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. |
Year | DOI | Venue |
---|---|---|
2019 | 10.23919/DATE.2019.8715278 | 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE) |
Keywords | Field | DocType |
symbolic simulation, affine arithmetic, decision diagrams | Computer science,Parallel computing,Data flow diagram | Conference |
ISSN | Citations | PageRank |
1530-1591 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carna Zivkovic | 1 | 1 | 1.11 |
C. Grimm | 2 | 18 | 5.30 |