Floating-Point Verification

John Harrison (Intel Corporation, USA)

Abstract: This paper overviews the application of formal verification techniques to hardware ingeneral, and to floating-point hardware in particular. A specific challenge is to connect the usual mathematical view of continuous arithmetic operations with the discrete world, in a credible andverifiable way.

Keywords: formal methods, hardware verification

Categories: B.2, F.3.1