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