Method and system for determining the correct rounding of a function
US7155471B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 12, 2003 |
| Grant date | Dec 26, 2006 |
| Priority date | — |
| Expiry date | Oct 31, 2024 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F7/49957
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and system is used to determine the correct rounding of a floating point function. The method involves performing the floating point function to a higher precision than required and examining the portion of extra precision in the result known as the discriminant. If a critical pattern is found in the discriminant, this indicates that standard rounding may give an incorrect result and further calculation is needed. The method can work for various rounding modes and types of floating point representations. The method can be implemented in a system as part of a processor instruction set or any combination of hardware, microcode, and software.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.