Jason Baumgartner Hari Mony Viresh Paruthi Robert Kanzelman Geert Janssen Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . 2006 conf/iccd/2006 ICCD http://www.iccd-conference.org/proceedings/2006/SpecialHWEquivI.pdf db/conf/iccd/iccd2006.html#BaumgartnerMPKJ06