loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
15th IEEE Symposium on Computer Arithmetic (ARITH-15 '01)
Generation and Analysis of Hard to Round Cases for Binary Floating Point Division
Vail, Colorado
June 11-June 13
ISBN: 0-7695-1150-3
Lee D. McFearin, Southern Methodist University
David W. Matula, Southern Methodist University
Abstract: We investigate two sets of hard to round p\times p bit fractions arising from division of a normalized p bit floating point dividend by a normalized p bit floating point divisor. These sets are characterized by the p\times p bit fraction's quotient bit string, beginning with or just after the round bit, having the maximum number (p-1) of repeating like bits, specifically 00...01 or 11...10 for the directed rounding "RD-hard" set and 100...01 or 011...10 for the round-to-nearest "RN-hard" set. We show both the p\times p bit RD-hard and RN-hard sets to be of size at least 2^{p-2} and at most 2^{p-1}. Two dimensional quotient vs. divisor plots empirically reveal both the RD-hard and RN-hard sets of p\times p bit fractions to be jointly widely distributed. Analysis of patterns and linear sequences of fractions visible in the quotient vs. divisor plots leads to simplified procedures for generating test suites of hard to round fractions. Our strongest computational result is the derivation of formulas that allow 2^{(p/2)+O(1)} RD-hard and RN-hard p\times p bit fractions to be enumerated based on sequential incrementation of respective numerators and denominators.
Citation:
Lee D. McFearin, David W. Matula, "Generation and Analysis of Hard to Round Cases for Binary Floating Point Division," arith, pp.0119, 15th IEEE Symposium on Computer Arithmetic (ARITH-15 '01), 2001
Usage of this product signifies your acceptance of the Terms of Use.