JUCS - Journal of Universal Computer Science 13(5): 629-638, doi: 10.3217/jucs-013-05-0629
Floating-Point Verification
expand article infoJohn Harrison‡
‡ Intel Corporation, Hillsboro, United States of America

Corresponding author: John Harrison ( johnh@ichips.intel.com )

© John Harrison.
This article is freely available under the J.UCS Open Content License.
Citation: Harrison J (2007) Floating-Point Verification. JUCS - Journal of Universal Computer Science 13(5): 629-638. https://doi.org/10.3217/jucs-013-05-0629
Open Access
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