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

Yan Zhang Sriram Sankaranarayanan Fabio Somenzi

Published in: FMCAD (2012)

Keyphrases

piecewise linear
formal verification
analog circuits
dynamic programming
chaotic map
model checking
principal curves
digital circuits
model checker
finite sets
bounded model checking
regression algorithm
symbolic model checking
automated verification
learning algorithm
knowledge representation
image processing