A precision independent tool for testing floating-point arithmetic I: basic operations, square root and remainder (2000)
| Citations: | 2 - 2 self |
BibTeX
@MISC{Cuyt00aprecision,
author = {Annie Cuyt and Brigitte Verdonk and Dennis Verschaeren},
title = {A precision independent tool for testing floating-point arithmetic I: basic operations, square root and remainder},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission and/or a fee. Permissions may be requested from Publications Dept, ACM Inc., 1515 Broadway, New York, NY 10036 USA, fax +1 (212) 869-0481, or permissions@acm.org. 2 \Delta A. Cuyt, B. Verdonk and D. Verschaeren 1. INTRODUCTION AND MOTIVATION The IEEE standard [IEEE 1985] for floating-point arithmetic, which became official in 1985 and which we shall refer to as IEEE--754, has been adopted by most major microprocessor manufacturers. Whereas guaranteeing 100% correctness of an IEEE floating-point implementation is hardly feasible, as the famous Intel Pentium bug clearly demonstrated, several good but unrelated tools exist to test different aspects of a floating-point implementation for compliance with the IEEE--754 standard. Concurrent with the adoption of IEEE--754 by the microprocessor ind...
