Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits.

Kemal aglar Coskun, Muhammad Hassan, Rolf Drechsler

Browse the full DATE paper archive.