发明授权
- 专利标题: Method for recognition of full-word saturating addition and subtraction
- 专利标题(中): 识别全字饱和加法和减法的方法
-
申请号: US10382578申请日: 2003-03-07
-
公开(公告)号: US07171438B2公开(公告)日: 2007-01-30
- 发明人: Mayan Moudgill , Vladimir Kotlyar
- 申请人: Mayan Moudgill , Vladimir Kotlyar
- 申请人地址: US NY White Plains
- 专利权人: Sandbridge Technologies, Inc.
- 当前专利权人: Sandbridge Technologies, Inc.
- 当前专利权人地址: US NY White Plains
- 代理机构: Barnes & Thornburg LLP
- 主分类号: G06F7/38
- IPC分类号: G06F7/38
摘要:
A method of formulating and solving equations that facilitate recognition of full word saturating addition and subtraction The method includes formulating, for each basis addition statement z=x+y or subtraction statement z=x−y, data flow equations that describe properties of the program statements being analyzed; and solving the data flow equations. The properties may include: (a) the values BITS of program variables as Boolean functions of the sign bits of x, y and z; (b) the condition COND under which program statements are executed as Boolean functions of the sign bits of x, y and z; and (c) the condition REACH of which values of variables reach any given use of z when overflow/underflow/neither occurs.