Udo Krautz, Viresh Paruthi, Anand Arunagiri, Sujeet Kumar, Shweta Pujar, Tina Babinsky
Automatic Verification of Floating Point Units
DAC, 2014.
@inproceedings{DAC-2014-KrautzPAKPB,
author = "Udo Krautz and Viresh Paruthi and Anand Arunagiri and Sujeet Kumar and Shweta Pujar and Tina Babinsky",
booktitle = "{Proceedings of the 51st Annual Design Automation Conference}",
doi = "10.1145/2593069.2593096",
isbn = "978-1-4503-2730-5",
pages = "6",
publisher = "{ACM}",
title = "{Automatic Verification of Floating Point Units}",
year = 2014,
}