Methodology to systematically identify and isolate bugs in floating point implementation in highperformance multiple CPU computing systems is formulated. A validation suite is written and tested. Results show improper implementation. Proper implementation guidelines are suggested and prototyped. Keywords: IEEE754, Validation, Suite, NaN 1 Introduction High-performance computers often sacrifice correctness in order to achieve throughput, particularly when it comes to floating point operations. "It is the TFLOPS that count, even if a few of the trillion operations are meaningless thereby rendering the end result absurd" - seems to be the attitude of most vendors of computing equipment that deal with floating point operations. This...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...
This thesis discusses modifications to IEEE 754 floating-point units to help researchers and scienti...
We present a methodology for generating floating-point arithmetic hardware designs which are, for su...
A methodology to systematically identify and isolate bugs in floating point implementation in high p...
The floating point standard IEEE 754 is widely implemented, but many of its capabilities are not wel...
Scientific applications rely heavily on floating-point arithmetic and, therefore, are affected by th...
The floating point standard IEEE 754 is widely implemented, but many of its capabilities are not wel...
Throughout academia and industry, formal verification techniques have become essential for asserting...
The current IEEE-754 floating point standard was adopted 23 years ago. IEEE chartered a committee to...
OpenCL is an emerging platform for parallel computing that promises porta-bility of applications acr...
Abstract—Automated reasoning tools often provide little or no support to reason accurately and effic...
Floating-point computations are at the heart of much of the computing done in high energy physics. ...
This paper overviews the application of formal verification techniques to hardware ingeneral, and to...
International audienceCurrent critical systems commonly use a lot of floating-point computations, an...
IEEE floating-point arithmetic standards 754 and 854 reflect the present state of the art in designi...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...
This thesis discusses modifications to IEEE 754 floating-point units to help researchers and scienti...
We present a methodology for generating floating-point arithmetic hardware designs which are, for su...
A methodology to systematically identify and isolate bugs in floating point implementation in high p...
The floating point standard IEEE 754 is widely implemented, but many of its capabilities are not wel...
Scientific applications rely heavily on floating-point arithmetic and, therefore, are affected by th...
The floating point standard IEEE 754 is widely implemented, but many of its capabilities are not wel...
Throughout academia and industry, formal verification techniques have become essential for asserting...
The current IEEE-754 floating point standard was adopted 23 years ago. IEEE chartered a committee to...
OpenCL is an emerging platform for parallel computing that promises porta-bility of applications acr...
Abstract—Automated reasoning tools often provide little or no support to reason accurately and effic...
Floating-point computations are at the heart of much of the computing done in high energy physics. ...
This paper overviews the application of formal verification techniques to hardware ingeneral, and to...
International audienceCurrent critical systems commonly use a lot of floating-point computations, an...
IEEE floating-point arithmetic standards 754 and 854 reflect the present state of the art in designi...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...
This thesis discusses modifications to IEEE 754 floating-point units to help researchers and scienti...
We present a methodology for generating floating-point arithmetic hardware designs which are, for su...