Solving range constraints for binary floating-point instructions

Proceedings - Symposium on Computer Arithmetic

Volumn , Issue , 2003, Pages 158-164

  Ziv, Abraham ^a   Aharoni, Merav ^a   Asaf, Sigal ^a  

^a UNIVERSITY OF HAIFA   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY CODES; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; NUMBER THEORY; PROBLEM SOLVING;

REAL NUMBERS;

DIGITAL ARITHMETIC;

EID: 0043136372     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. IEEE standard for binary floating point arithemetic, 1985. An American national standard, ANSI/IEEE Std 754.
2. Raanan Grinwald and Eran Harel and Michael Orgad and Shmuel Ur and Avi Ziv. User defined coverage - a tool supported methodology for design verification. In Proc. 38th, Design Autometation Coherence (DAC38), pp. 158 - 163, 1998.
3. Abraham Ziv and Laurent Fournier. Solving the generalized mask constraint for test generation of binary floating point add operation. Theoretical Computer Science, 291:183 - 201, 2003.
4. S. Asaf and L. Fournier. FPgen - a deep-knowledge test-generator for floating point verification. Technical Report H-0140, IBM Israel, 2002. http://domino.watson.ibm.com/library/cyberdig.nsf/Home.
5. M. Cowlishaw, E. Schwarz, R. Smith, and C. Webb. A decimal floating-point specification. In Proc. IEEE 15th Symp. Computer-Arithmetic (ARITH15), pp. 147 - 154, 2001.
6. W. Kahan. A test for correctly rounded sqrt. http://www.cs.berkeley.edu/̃wkahan/SQRTest.ps.
7. W. Kahan. Lectures notes on the status of IEEE standard 754 for binary floating-point arithemetic., 1996. http://www.cs.berkeley.edu/̃wkahan/ieee754status/IEEE754.pdf.
8. L. D. McFearin and D. W. Matula. Generation and analysis of hard to round cases for binary floating point division. In IEEE Symposium on Computer Arithmetic (ARITH15), pp. 119-127, 2001.
9. M. Parks. Number-theoretic test generation for directed founding. In Proc. IEEE 14th Symp. Computer-Arithmetic (ARITH14), pp. 241 - 248, 1999.