Sciweavers

Share
FMCAD
2004
Springer

Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques

9 years 11 months ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic behavior is described by differential algebraic equations. To model and analyze such circuits under all possible input signals and all values of parameters, we build upon two techniques developed in the context of hybrid (discrete-continuous) control systems. First, we extend our algorithm for approximating sets of reachable sets for dense-time continuous systems to deal with differential algebraic equations (DAEs) and apply it to a biquad low-pass filter. To analyze more complex circuits, we resort to bounded horizon verification. We use optimal control techniques to check whether a - modulator, modeled as a discrete-time hybrid automaton, admits an input sequence of bounded length that drives it to saturation.
Thao Dang, Alexandre Donzé, Oded Maler
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FMCAD
Authors Thao Dang, Alexandre Donzé, Oded Maler
Comments (0)
books