View in EDS PDF Full Text

Automatic Verification of Floating Point Units.

Saved in:
Bibliographic Details
Title: Automatic Verification of Floating Point Units.
Authors: Krautz, Udo1, krautz@de.ibm.com, Paruthi, Viresh2, vparuthi@us.ibm.com, Arunagiri, Anand3, aarunagi@in.ibm.com, Kumar, Sujeet3, sujkumak@in.ibm.com, Pujar, Shweta3, shwetpuj@in.ibm.com, Babinsky, Tina1, treichar@de.ibm.com
Source: DAC: Annual ACM/IEEE Design Automation Conference; 2014, p886-891, 6p
Database: Applied Science & Technology Source
Description
ISSN:0738100X
DOI:10.1145/2593069.2593096