DocumentCode
2646609
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
fYear
1998
fDate
23-26 Feb 1998
Firstpage
649
Lastpage
654
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe, 1998., Proceedings
Conference_Location
Paris
Print_ISBN
0-8186-8359-7
Type
conf
DOI
10.1109/DATE.1998.655927
Filename
655927
Link To Document