Roope Kaivola, Naren Narasimhan. Formal Verification of the Pentium ® 4 Floating-Point Multiplier. In 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France. pages 20-27, IEEE Computer Society, 2002. [doi]
No reviews for this publication, yet.