Sebastian Steinhorst, Lars Hedrich. Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits. In 2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012. pages 202-209, IEEE, 2012. [doi]
Abstract is missing.