![](/img/cover-not-exists.png)
[ACM Press the 42nd annual conference - San Diego, California, USA (2005.06.13-2005.06.17)] Proceedings of the 42nd annual conference on Design automation - DAC '05 - Exploiting suspected redundancy without proving it
Mony, Hari, Baumgartner, Jason, Paruthi, Viresh, Kanzelman, RobertYear:
2005
Language:
english
DOI:
10.1145/1065579.1065700
File:
PDF, 561 KB
english, 2005