David Walter Scott Little Chris J. Myers Nicholas Seegmiller Tomohiro Yoneda Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. 2223-2235 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 12 http://dx.doi.org/10.1109/TCAD.2008.2006159 db/journals/tcad/tcad27.html#WalterLMSY08