Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits | IEEE Conference Publication | IEEE Xplore