 |
 |
 |
 |
Journal articles
On Ziv's rounding test
Abstract : A very simple test, introduced by Ziv, allows one to determine if an approximation to the value f (x) of an elementary function at a given point x suffices to return the floating-point number nearest f(x). The same test may be used when implementing floating-point operations with input and output operands of different formats, using arithmetic operators tailored for manipulating operands of the same format. That test depends on a "magic constant" e. We show how to choose that constant e to make the test reliable and efficient. Various cases are considered, depending on the availability of an fma instruction, and on the range of f (x).
Cited literature [6 references]
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00693317
Contributor : Jean-Michel Muller <>
Submitted on : Monday, July 8, 2013 - 10:56:40 AM
Last modification on : Thursday, November 21, 2019 - 1:55:44 AM
Document(s) archivé(s) le : Wednesday, October 9, 2013 - 4:20:52 AM
Contributor : Jean-Michel Muller <>
Submitted on : Monday, July 8, 2013 - 10:56:40 AM
Last modification on : Thursday, November 21, 2019 - 1:55:44 AM
Document(s) archivé(s) le : Wednesday, October 9, 2013 - 4:20:52 AM
File
ZivRounding-final.pdf
Files produced by the author(s)
