A formal approach to verification of linear analog circuits with parameter tolerances
Lars Hedrich, Erich Barke · Design, Automation, and Test in Europe · 1998
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.