What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys (CSUR)
Fast evaluation of elementary mathematical functions with correctly rounded last bit
ACM Transactions on Mathematical Software (TOMS)
Toward Correctly Rounded Transcendentals
IEEE Transactions on Computers
ACM Transactions on Mathematical Software (TOMS)
A precision- and range-independent tool for testing floating-point arithmetic II: conversions
ACM Transactions on Mathematical Software (TOMS)
ISO-IEC 9945-2: IEEE Std. 1003.2-1992 Information Technology - Portable Operating System Interface: Shell and Utilities
Solving Range Constraints for Binary Floating-Point Instructions
ARITH '03 Proceedings of the 16th IEEE Symposium on Computer Arithmetic (ARITH-16'03)
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
ARITH '01 Proceedings of the 15th IEEE Symposium on Computer Arithmetic
Searching Worst Cases of a One-Variable Function Using Lattice Reduction
IEEE Transactions on Computers
Towards the Post-Ultimate libm
ARITH '05 Proceedings of the 17th IEEE Symposium on Computer Arithmetic
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
FPgen - a test generation framework for datapath floating-point verification
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
Elementary Functions: Algorithms and Implementation
Elementary Functions: Algorithms and Implementation
Test Construction for Mathematical Functions
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Standardization and testing of mathematical functions
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
| Hi-index | 0.00 |
Requirements definition and test suites development for implementations of mathematical functions in floating point arithmetic in the framework of the IEEE 754 standard are considered. A method based on this standard is proposed for defining requirements for such functions. This method can be used for the standardization of implementations of such functions; this kind of standardization extends IEEE 754. A method for designing test suites for the verification of those requirements is presented. The proposed methods are based on specific properties of the representation of floating point numbers and on some features of the functions under examination.