IBM Fpgen Floating-Point Test Generator

This site contains a set of test vectors for floating-point, conforming to the IEEE 754R standard draft.
The philosophy guiding the construction of this test suite is to first define a high-level test plan, and then generate a suite of test vectors that cover the test plan. The test plan consists of a set of coverage models, each of which targets a certain floating-point area or feature. The test vectors are organized in test files that correspond to the coverage models. The test vectors are generated by means of a test generator named FPgen. For the syntax of the test files, see syntax of the test files. For a full understanding of the approach and the contents of the test files, refer to the test suite document.

Related links


Tom Kolan, Manager Cloud and Hardware Quality, IBM Research - Haifa