发明名称 |
METHOD FOR RECOGNITION OF FULL-WORD SATURATING ADDITION AND SUBTRACTION |
摘要 |
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= xy, 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 ofx, y and z; and (c) the condition REACH of which values of variables reach any given use of z when overflow/underflow/neither occurs.
|
申请公布号 |
KR20060127985(A) |
申请公布日期 |
2006.12.13 |
申请号 |
KR20067016704 |
申请日期 |
2004.03.08 |
申请人 |
SANDBRIDGE TECHNOLOGIES, INC. |
发明人 |
MOUDGILL MAYAN;KOTLYAR VLADIMIR |
分类号 |
G06F7/50;G06F9/30;G06F9/45;G06T1/00 |
主分类号 |
G06F7/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|