A formal approach to verification of linear analog circuits wth parameter tolerances

Abstract

This contribution presents an approach to formal verification of linear analog circuits with parameter tolerances. The method proves that an actual circuit fulfills 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… (More)

Topics

11 Figures and Tables

Slides referencing similar topics