related documents Piecewise Linear Modeling of Nonlinear devices for Formal Verification of Analog Circuits Conference Proceeding
