Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .

Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen

Browse the full ICCD paper archive.