loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th IEEE Symposium on Computer Arithmetic (ARITH-14 '99)
On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal
Adelaide, Australia
April 14-April 16
ISBN: 0-7695-0116-8
Cristina Iordache, Southern Methodist University
David W. Matula, Southern Methodist University
Quotients, reciprocals, square roots and square root reciprocals all have the property that infinitely precise p-bit rounded results for p-bit input operands can be obtained from approximate results of bounded accuracy. We investigate lower bounds on the number of bits of an approximation accurate to a unit in the last place sufficient to guarantee that correct round and sticky bits can be determined. Known lower bounds for quotients and square root are given and/or sharpened, and a new lower bound for root reciprocals is proved. Specifically for reciprocals, quotients and square roots, tight bounds of order 2p+O(1) are presented. For infinitely precise rounding of the root reciprocal a lower bound can be found at 3p+O(1), but exhaustive testing for small sizes of the operand suggests that in practice 2p+O(1) is usually sufficient. Algorithms are given for obtaining the round and sticky bits based on the bit pattern of an approximation computed to the required accuracy. We show that some improvement of the known lower bound for reciprocals and division is achievable at the cost of somewhat more complex hardware for rounding.
Citation:
Cristina Iordache, David W. Matula, "On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal," arith, pp.233, 14th IEEE Symposium on Computer Arithmetic (ARITH-14 '99), 1999
Usage of this product signifies your acceptance of the Terms of Use.