Analog circuit simulation using range arithmetics

Authors:
Darius Grabowski;Markus Olbrich;Erich Barke
Affiliations:
Leibniz Universität Hannover, Hannover, Germany;Leibniz Universität Hannover, Hannover, Germany;Leibniz Universität Hannover, Hannover, Germany
Venue:
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Year:
2008

Citing 3
Cited 3

Bounding the solution of interval linear equations

SIAM Journal on Numerical Analysis
Simulation and the Monte Carlo Method

Simulation and the Monte Carlo Method
Refinement of Mixed-Signal Systems with Affine Arithmetic

Proceedings of the conference on Design, automation and test in Europe - Volume 1

Advanced methods for equivalence checking of analog circuits with strong nonlinearities

Formal Methods in System Design
Formal approaches to analog circuit verification

Proceedings of the Conference on Design, Automation and Test in Europe
Verification of mixed-signal systems with affine arithmetic assertions

VLSI Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

The impact of parameter variations in integrated analog circuits is usually analyzed by Monte Carlo methods with a high number of simulation runs. Few approaches based on interval arithmetic were not successful due to tremendous overapproximations. In this paper, we describe an innovative approach computing transient and DC simulations of nonlinear analog circuits with symbolic range representations that keeps correlation information, and hence has a very limited overapproximation. The methods are based on affine and quadratic arithmetic. Ranges are represented by unique symbols so that linear correlation information is preserved. We demonstrate feasibility of the methods by simulation results using complex analog circuits.