Automatic Verification of Floating Point Units. - Udo Krautz; Viresh Paruthi; Anand Arunagiri; Sujeet Kumar; Shweta Pujar; Tina Babinsky (DAC, 2014)