Title of article
Floating-Point Verification
Author/Authors
Harrison, John Intel Corporation, USA
From page
629
To page
638
Abstract
This paper overviews the application of formal verification techniques to hardware in general, 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 and verifiable way.
Keywords
Formal Methods , Hardware Verification
Journal title
International Journal of Universal Computer Sciences
Journal title
International Journal of Universal Computer Sciences
Record number
2574600
Link To Document