Showing papers by "Lars Hedrich published in 1998"
23 Feb 1998
TL;DR: The method proves that an actual circuit fulfils a specification in a given frequency interval for all parameter variations based on a curvature driven bound computation for value sets using interval arithmetic.
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 demonstrate the feasibility of our approach.
42 citations