Piecewise linear modeling of nonlinear devices for formal verification of analog circuits.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Browse the full FMCAD paper archive.