发明名称 |
Method, system and computer program product for verifying floating point divide operation results |
摘要 |
A method, system and computer program product for verifying a result of a floating point division operation are provided. The method includes: receiving a result of a floating point division operation for a dividend and a divisor; performing a comparison of a magnitude of a least significant bit (LSB) of the dividend and a magnitude of a most significant bit (MSB) of a remainder; and determining whether the result is correct based on the comparison. |
申请公布号 |
US8713084(B2) |
申请公布日期 |
2014.04.29 |
申请号 |
US20080036397 |
申请日期 |
2008.02.25 |
申请人 |
WEINBERG JOSHUA M.;SCHMOOKLER MARTIN S.;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
WEINBERG JOSHUA M.;SCHMOOKLER MARTIN S. |
分类号 |
G06F7/44 |
主分类号 |
G06F7/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|