Verifying nonlinear analog and mixed-signal circuits with inputs

Chuchu Fan, Yu Meng, Jürgen Maier +3

We present a new technique for verifying nonlinear and hybrid models with inputs. We observe that once an input signal is fixed, the sensitivity analysis of the model can be comput…