![](/img/cover-not-exists.png)
[IEEE 2006 International Conference on Computer Design - San Jose, CA, USA (2007.10.1-2007.10.4)] 2006 International Conference on Computer Design - Scalable Sequential Equivalence Checking across Arbitrary Design Transformations
Baumgartner, Jason, Mony, Hari, Paruthi, Viresh, Kanzelman, Robert, Janssen, GeertYear:
2006
Language:
english
DOI:
10.1109/iccd.2006.4380826
File:
PDF, 1.18 MB
english, 2006