![](/img/cover-not-exists.png)
[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Automatic Verification of Floating Point Units
Krautz, Udo, Paruthi, Viresh, Arunagiri, Anand, Kumar, Sujeet, Pujar, Shweta, Babinsky, TinaYear:
2014
Language:
english
DOI:
10.1145/2593069.2593096
File:
PDF, 342 KB
english, 2014