Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits.

Sebastian Steinhorst, Lars Hedrich

Browse the full ICCAD paper archive.