Roope Kaivola Naren Narasimhan Formal Verification of the Pentium Ē 4 Floating-Point Multiplier. 20-27 2002 conf/date/2002 DATE http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14710020abs.htm db/conf/date/date2002.html#KaivolaN02