DocumentCode :
2457581
Title :
An approach to model checking for nonlinear analog systems
Author :
Hartong, Walter ; Hedrich, Lars ; Barke, Erich
Author_Institution :
Inst. of Microelectron. Circuits & Syst., Hannover Univ., Germany
fYear :
2002
fDate :
2002
Firstpage :
1080
Abstract :
We present the first approach to model checking for nonlinear analog systems. Based on digital CTL model checking ideas, results in hybrid model checking and special needs in analog verification, a new model checking tool has been implemented Published model checking tools for hybrid systems require discrete or partly linear system descriptions. Our focus is on nonlinear analog behavior, therefore a new approach is necessary. There are mainly two aspects to be considered. Firstly, a discrete model retaining the essential nonlinear analog behavior has to be developed Secondly, model checking for analog systems requires extensions of the language to define analog system properties in a reasonable way
Keywords :
analogue circuits; circuit testing; nonlinear network analysis; state-space methods; Schmitt trigger circuit; analog verification; digital CTL model checking; discrete model generation; hybrid model checking; model checking; nonlinear analog systems; nonlinear opamp model; second order lowpass filter; state space regions; tunnel diode oscillator circuit; Circuit testing; Circuits and systems; Data structures; Differential equations; Error correction; Linear systems; Microelectronics; Size control; Size measurement; State-space methods;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2002. Proceedings
Conference_Location :
Paris
ISSN :
1530-1591
Print_ISBN :
0-7695-1471-5
Type :
conf
DOI :
10.1109/DATE.2002.998436
Filename :
998436
Link To Document :
بازگشت