Automatic Verification of Floating Point Units.

Udo Krautz, Viresh Paruthi, Anand Arunagiri, Sujeet Kumar, Shweta Pujar, Tina Babinsky

Browse the full DAC paper archive.