Efficient generation of analog circuit models for accelerated mixed-signal simulation

Hoelldampf, S.; Lee, H.-S. L.; Zaum, D.; Olbrich, Markus; Barke, Erich

doi:10.1109/socc.2012.6398386

Cited by 9 publications

(7 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Piecewise-linear models may be supported by applying translation to each linear region individually, as proposed by [18]. To ensure that only one region is considered at any simulation instant, regions are wrapped within a control structure composed by SystemC AMS voltage and current sources driven by the Discrete Event SystemC kernel.…”

Section: Translation Methodologymentioning

confidence: 99%

“…Algebraic non-linear models (e.g., models involving polynomials) require to undergo some abstraction, that can be provided either by our abstraction approach, or by state-ofthe-art linearization approaches, e.g., [18]. These produced piecewise-linear models that can be treated as above.…”

Section: Translation Methodologymentioning

confidence: 99%

“…Even if the design of analog models is tipically topdown [28], recent work proposed bottom-up flows in order to address non-linearities as well as speeding up simulation of analog circuits. In [18] a non-linear analog model is represented as a set of previously-computed linearized versions that are picked during simulation, thus transforming a nonlinear model to a set of linear models described at circuit and behavioral level.This approach avoids any numerical integration during simulation but it works only with stepwise input. [22] extends the previous work by executing an onthe-fly reachability analysis to select only a sub-set of the linearized models.…”

Section: High Level Analog Modeling and Simulationmentioning

confidence: 99%

See 2 more Smart Citations

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

Lora

Vinco

Fraccaroli

et al. 2018

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

View full text Add to dashboard Cite

Analog components are fundamental blocks of smart systems, as they allow a tight interaction with the environment, in terms of both sensing/actuation and communication. This impacts on the design of the overall system, and mainly on the validation phase, that thus requires the joint simulation of digital and analog aspects. In this scenario, this paper proposes the automatic conversion of analog models to C++-based languages, to remove the overhead of co-simulation with traditional virtual platform tools. The proposed methodology allows to convert a given analog description to either (1) a fully equivalent description, or (2) an abstract representation for faster simulation which models only the aspects of interest. Effectiveness and correctness have been proved on a number of case studies, that highlight the effectiveness and potentiality of the proposed methodology.

show abstract

Section: Translation Methodologymentioning

confidence: 99%

Section: Translation Methodologymentioning

confidence: 99%

Section: High Level Analog Modeling and Simulationmentioning

confidence: 99%

See 1 more Smart Citation

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

Lora

Vinco

Fraccaroli

et al. 2018

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

View full text Add to dashboard Cite

show abstract

“…[8,7,42]. Previous work demonstrates that one can efficiently generate PWL models of analog circuits from a given netlist, which makes it possible to accelerate AMS circuit simulation [22].…”

Section: B-3mentioning

confidence: 99%

“…To succeed, this approach requires piecewiseconstant inputs (implicitly given by the digital part of AMS circuits) and a linear or at least linearized circuit. We solve the latter problem by replacing all nonlinear circuit devices by piecewise-linear models [22]. Exemplary PWL models for diodes (one input) and MOS field-effect transistors (two inputs) are shown in Fig.…”

Section: From Nonlinear Circuits To Hybrid Automatamentioning

confidence: 99%

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

V2Va: An Efficient Verilog-to-Verilog-A Translator for Accelerated Mixed-Signal Simulation

Shao,

Wang,

Huang

et al. 2023

2023 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)

View full text Add to dashboard Cite

Efficient generation of analog circuit models for accelerated mixed-signal simulation

Cited by 9 publications

References 17 publications

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

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

V2Va: An Efficient Verilog-to-Verilog-A Translator for Accelerated Mixed-Signal Simulation

Contact Info

Product

Resources

About