Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 5

available in:   PDF (53 kB) PS (33 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-05-0629


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