|
1.
|
Clear description of the referenced document:
|
|
|
|
Name:
|
IEEE 754-2008
|
|
Title:
|
IEEE 754 Standard for Binary Floating-Point Arithmetic.
|
|
|
2.
|
Status of approval:
|
|
|
This is a IEEE Standard published in 2008.
|
|
3.
|
Justification for the specific reference:
|
|
|
This recommendation uses floating point as specified in the reference.
|
|
4.
|
Current information, if any, about IPR issues:
|
|
|
No Issues.
|
|
5.
|
Other useful information describing the "Quality" of the document:
|
|
|
IEEE 754 was published in 2008, and has been widely used. This standard specifies interchange and arithmetic formats and methods for binary and decimal floating-point arithmetic in computer programming environments. This standard specifies exception conditions and their default handling. An implementation of a floating-point system conforming to this standard may be realized entirely in software, entirely in hardware, or in any combination of software and hardware. For operations specified in the normative part of this standard, numerical results and exceptions are uniquely determined by the values of the input data, sequence of operations, and destination formats, all under user control.
|
|
6.
|
The degree of stability or maturity of the document:
|
|
|
The document is considered stable and provides a complete description of binary floating-point arithmetic.
|
|
7.
|
Relationship with other existing or emerging documents:
|
|
|
IEEE 754 is not related to any other documents.
|
|
8.
|
Any explicit references within that referenced document should also be listed:
|
|
|
1. "ANSI INCITS 4-1986", Information Systems—Coded Character Sets—7-bit American National Standard Code for Information Interchange (7-Bit ASCII)./
2. S. Boldo, J.-M. Muller, "Some functions computable with a fused-mac", Proceedings of the 17th IEEE Symposium on Computer Arithmetic, pp. 52-58, 2005./
3. J. D. Bruguera, T. Lang, "Floating-point Fused Multiply-Add: Reduced Latency for Floating-Point Addition", Proceedings of the 17th IEEE Symposium on Computer Arithmetic, pp. 42-51, 2005./
4. J. T. Coonen, Contributions to a Proposed Standard for Binary Floating-point Arithmetic, University of California, 1984./
5. M. F. Cowlishaw, "Densely-Packed Decimal Encoding", IEE Proceedings—Computers and Digital Techniques, vol. 149, no. 3, pp. 102-104, 2002./
6. M. F. Cowlishaw, "Decimal Floating-Point: Algorism for Computers", Proceedings of the 16th IEEE Symposium on Computer Arithmetic, pp. 104-111, 2003./
7. J. W. Demmel, X. Li, "Faster numerical algorithms via exception handling", IEEE Transactions on Computers, vol. 43, no. 8, pp. 983-992, 1994./
8. F. de Dinechin, A. Ershov, N. Gast, "Towards the post-ultimate libm", Proceedings of the 17th IEEE Symposium on Computer Arithmetic, pp. 288-295, 2005./
9. F. de Dinechin, C. Q. Lauter, J.-M. Muller, "Fast and correctly rounded logarithms in double-precision", Theoretical Informatics and Applications, vol. 41, pp. 85-102, 2007. CrossRef/
10. N. J. Higham, Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics (SIAM), 2002./
CrossRef/
11. "IEC 60559:1989", Binary floating-point arithmetic for microprocessor systems (previously designated IEC 559:1989)./
12. "ISO/IEC 9899:1999(E)", Programming languages—C (C99)./
13. W. Kahan, "Branch Cuts for Complex Elementary Functions or Much Ado About Nothing's Sign Bit" in The State of the Art in Numerical Analysis, Oxford:Clarendon Press, 1987./
14. V. Lefèvre, "New results on the distance between a segment and Z2. Application to the exact rounding", Proceedings of the 17th IEEE Symposium on Computer Arithmetic, pp. 68-75, 2005./
15. V. Lefèvre, J.-M. Muller, "Worst cases for correct rounding of the elementary functions in double precision", Proceedings of the 15th IEEE Symposium on Computer Arithmetic, pp. 111-118, 2001./
16. P. Markstein, IA-64 and Elementary Functions: Speed and Precision, NJ, Upper Saddle River:Prentice Hall, 2000./
17. R. K. Montoye, E. Hokenek, S. L. Runyou, "Design of the IBM RISC System/6000 floating-point execution unit", IBM Journal of Research and Development, vol. 34, no. 1, pp. 59-70, 1990./
18. J.-M. Muller, "10" in Elementary Functions: Algorithms and Implementation, Birkhäuser, 2006./
19. M. L. Overton, Numerical Computing with IEEE Floating Point Arithmetic, Society for Industrial and Applied Mathematics (SIAM), 2001./
CrossRef/
20. E. M. Schwarz, M. S. Schmookler, S. D. Trong, "Hardware Implementations of Denormalized Numbers", Proceedings of the 16th IEEE Symposium on Computer Arithmetic, pp. 70-78, 2003./
21.D. Stehlé, V. Lefèvre, P. Zimmermann, "Searching worst cases of a one-variable function", IEEE Transactions on Computers, vol. 54, no. 3, pp. 340-346, 2005./
22. The Unicode Standard, October 2006.
|
|
9.
|
Qualification of
IEEE:
|
|
|
The IEEE was recognized under the provisions of ITU-T Recommendation A.5 on 1 November 1999. Qualifying information is on file with TSB.
|
|
10.
|
Other (for any supplementary information):
|
|
|
None
|
|
