TY - GEN
T1 - Towards formal verification of analog designs
AU - Gupta, Smriti
AU - Krogh, Bruce H.
AU - Rutenbar, Robin A
PY - 2004
Y1 - 2004
N2 - We show how model checking methods developed for hybrid dynamic systems may be usefully applied for analog circuit verification. Finite-state abstractions of the continuous analog behavior are automatically constructed using polyhedral outer approximations to the flows of the underlying continuous differential and difference equations. In contrast to previous approaches, we do not discretize the entire continuous state space, and our abstraction captures the relevant behaviors for verification in terms of the transitions between "states" (regions of the continuous state space) as a finite state machine in the hybrid system model. The approach is illustrated for two circuits, a standard oscillator benchmark, and a much larger and more realistic delta-sigma (ΔΣ) modulator.
AB - We show how model checking methods developed for hybrid dynamic systems may be usefully applied for analog circuit verification. Finite-state abstractions of the continuous analog behavior are automatically constructed using polyhedral outer approximations to the flows of the underlying continuous differential and difference equations. In contrast to previous approaches, we do not discretize the entire continuous state space, and our abstraction captures the relevant behaviors for verification in terms of the transitions between "states" (regions of the continuous state space) as a finite state machine in the hybrid system model. The approach is illustrated for two circuits, a standard oscillator benchmark, and a much larger and more realistic delta-sigma (ΔΣ) modulator.
UR - http://www.scopus.com/inward/record.url?scp=16244374916&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=16244374916&partnerID=8YFLogxK
U2 - 10.1109/ICCAD.2004.1382573
DO - 10.1109/ICCAD.2004.1382573
M3 - Conference contribution
AN - SCOPUS:16244374916
SN - 0780387023
T3 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
SP - 210
EP - 217
BT - ICCAD-2004 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
T2 - ICCAD-2004 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
Y2 - 7 November 2004 through 11 November 2004
ER -