Organization Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowGoethe University FrankfurtContributorsLars HedrichPresentationsResearch ManuscriptEfficient Equivalence Checking of Nonlinear Analog Circuits using Gradient AscentEDAAnalog CAD, Simulation, Verification and Test