Using analog circuit behavior to generate SystemC events for an acceleration of mixed-signal simulation

Hoelldampf, S.; Zaum, D.; Olbrich, Markus; Barke, Erich

doi:10.1109/iccd.2011.6081384

Cited by 7 publications

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An accelerated simulation of AMS circuits based on piecewise-linear models has been presented in a previous work [23]. Speedup is achieved by avoiding numerical integration and directly using the linear time-domain solution…”

Section: From Nonlinear Circuits To Hybrid Automatamentioning

confidence: 99%

See 1 more Smart Citation

Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits

Lee

Althoff

Hoelldampf

et al. 2015

The 20th Asia and South Pacific Design Automation Conference

View full text Add to dashboard Cite

Abstract-We address the problem of formally verifying nonlinear analog circuits with an uncertain initial set by computing their reachable set. A reachable set contains the union of all possible system trajectories for a set of uncertain states and as such can be used to provably check whether undesired behavior is possible or not. Our method is based on local linearizations of the nonlinear circuit, which naturally results in a piecewise-linear system. To substantially limit the number of required locations, our approach computes linearized locations on-the-fly depending on which states are reachable. We can show that without the proposed on-the-fly technique, the conversion to piecewise-linear systems is infeasible even for a few nonlinear semiconductor devices (discrete state-space explosion problem). Our method is fully automatic and only requires a circuit netlist. Piecewise-linear systems have gained popularity not only for verification, but also for accelerated simulation of nonlinear circuits. Our method provides a guaranteed bound on the number of linearization locations that have to be explicitly computed for such a nonlinear circuit.

show abstract

Section: From Nonlinear Circuits To Hybrid Automatamentioning

confidence: 99%

“…Our approach can be integrated into a mixed-signal setup for the verification of AMS circuits [23]. When linked to the digital simulator of the co-simulation setup, our hybrid models are stimulated by the digital circuit part.…”

Section: Reachable Set Of a Nonlinear Circuitmentioning

confidence: 99%