Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets | IEEE Conference Publication | IEEE Xplore