Automatic Verification of Floating Point Units.
| Autor: | Krautz, Udo, Paruthi, Viresh, Arunagiri, Anand, Kumar, Sujeet, Pujar, Shweta, Babinsky, Tina |
|---|---|
| Zdroj: | Proceedings of the the 51st Annual Design Automation Conference Design Automation Conference; 6/1/2014, p1-6, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|