发明申请
- 专利标题: RESIDUE-BASED EXPONENT FLOW CHECKING
- 专利标题(中): 基于残留的现金流量检查
-
申请号: US13517839申请日: 2012-06-14
-
公开(公告)号: US20130339417A1公开(公告)日: 2013-12-19
- 发明人: Juergen Haess , Michael K. Kroener , Silvia M. Mueller , Kerstin Schelm
- 申请人: Juergen Haess , Michael K. Kroener , Silvia M. Mueller , Kerstin Schelm
- 申请人地址: US TX Austin
- 专利权人: INTERNATIONAL BUSINESS MACHINES CORPORATION
- 当前专利权人: INTERNATIONAL BUSINESS MACHINES CORPORATION
- 当前专利权人地址: US TX Austin
- 主分类号: G06F7/38
- IPC分类号: G06F7/38
摘要:
A technique for checking an exponent calculation for an execution unit that supports floating point operations includes generating, using a residue prediction circuit, a predicted exponent residue for a result exponent of a floating point operation. The technique also includes generating, using an exponent calculation circuit, the result exponent for the floating point operation and generating, using the residue prediction circuit, a result exponent residue for the result exponent. Finally, the technique includes comparing the predicted exponent residue to the result exponent residue to determine whether the result exponent generated by the exponent calculation circuit is correct and, if not, signaling an error.