Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent.

Kemal aglar Coskun, Muhammad Hassan, Lars Hedrich, Rolf Drechsler

Browse the full DAC paper archive.