A formal approach to nonlinear analog circuit verification.

Lars Hedrich, Erich Barke

Browse the full ICCAD paper archive.