Title :
A formal approach to verification of linear analog circuits with parameter tolerances
Author :
Hedrich, Lars ; Barke, Erich
Author_Institution :
Inst. of Microelectron. Syst., Hannover Univ., Germany
Abstract :
This paper presents an approach to formal verification of linear analog circuits with parameter tolerances. The method proves that an actual circuit fulfils a specification in a given frequency interval for all parameter variations. It is based on a curvature driven bound computation for value sets using interval arithmetic. Some examples demonstrate the feasibility of this approach
Keywords :
analogue integrated circuits; circuit analysis computing; formal verification; curvature driven bound computation; formal verification; interval arithmetic; linear analog circuits; parameter tolerances; Analog circuits; Arithmetic; Formal verification; Frequency;
Conference_Titel :
Design, Automation and Test in Europe, 1998., Proceedings
Conference_Location :
Paris
Print_ISBN :
0-8186-8359-7
DOI :
10.1109/DATE.1998.655927
