Electrical computers: arithmetic processing and calculating – Electrical digital calculating computer – Particular function performed
Reexamination Certificate
2007-01-30
2007-01-30
Ngo, Chuong D. (Department: 2193)
Electrical computers: arithmetic processing and calculating
Electrical digital calculating computer
Particular function performed
Reexamination Certificate
active
10382578
ABSTRACT:
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
either occurs.
REFERENCES:
patent: 4656583 (1987-04-01), Auslander et al.
patent: 5905662 (1999-05-01), Shiraishi
patent: 5915109 (1999-06-01), Nakakimura et al.
patent: 6631392 (2003-10-01), Jiang et al.
patent: 6687898 (2004-02-01), Chen et al.
Glossner, J. et al.: “Trends in compilable DSP architecture,” IEEE Workshop on Signal Processing Systems, pp. 1-19 (2000).
Batten, D. et al.: “A new approach to DSP intrinsic functions,” Proceedings of the Hawaii Int'l Conference on System Sciences, pp. 1-10 (Jan. 2000).
Johnson, R. et al.: “Dependence-based program analysis,” ACM SIGPLAN Notices, Ass'n for Computing Machinery, vol. 28, No. 6, pp. 78-89 (Jun. 1993).
Mark N. Wegman and F. Kenneth Zadeck,Constant Propagation with Conditional Branches, 1991, pp. 181-210.
Gary A. Kildall,A Unified Approach to Global Program Optimization, pp. 194-206.
Patrick Cousot and Radhia Cousot,Automatic Synthesis of Optimal Invariant Assertions: Mathematical Foundations, pp. 1-12.
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck,An Efficient Method of Computing Static Single Assignment Form, 1989, pp. 25-35.
Thomas M. Conte, Pradeep K. Dubey, Matthew D. Jennings, Ruby B. Lee, Alex Peleg, Salliah Rathnam, Mike Schlansker, Peter Song, Andrew Wolfe,Challenges to Combining General-Purpose and Multimedia Processors, 1997, pp. 33-37.
Kotlyar Vladimir
Moudgill Mayan
Barnes & Thornburg LLP
Ngo Chuong D.
Sandbridge Technologies Inc.
LandOfFree
Method for recognition of full-word saturating addition and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for recognition of full-word saturating addition and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for recognition of full-word saturating addition and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3814537