IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Floating-Point Test Generator - FPgen

Unit Verification and Core Technologies


Floating-Point Test Suite for IEEE 754R Standard

This site contains a set of test vectors for floating-point, conforming to the IEEE 754R standard draft. The site will be updated periodically as new test vectors are created and as the standard becomes more stable.
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




Test Suite Mailing List

Help us help you, join our mailing list and get updated.

The fields indicated with an asterisk(*) are required to complete this transaction; other fields are optional. If you do not want to provide us with the required information, please use the Back button on your browser, or close the window or browser session that is displaying this page, to return to the previous page.

Your Privacy

Privacy, additional contact notice and choice options:
This data may be used by IBM or selected organizations, such as Lenovo, to provide you with information about other offerings. To receive this via e-mail {or fax}, check the first box below. Alternatively, if you would prefer not to receive such information by any means, check the second box.
  
  
IBM Privacy Policy  

   

 
 

 


    About IBMPrivacyContact