Method for recognition of acyclic instruction patterns

Details Method for recognition of acyclic instruction patterns Method for recognition of acyclic instruction patterns

2005-08-11

2011-11-08

Kendall, Chuck (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S140000, C717S158000

Reexamination Certificate

active

08056064

ABSTRACT:
A method which determines by an optimizing compiler whether any variable in the given program equals to the given acyclic mathematical function applied to given variables in the program and the method includes expressing the bits of the value of the function as a Boolean function of the bits of the inputs and expressing for every variable and statement the value taken by v when s is executed as a Boolean function and expressing, for every statement the condition under which the statement is executed as a Boolean function, and Finally, a determination is made using a Boolean satisfiability oracle of whether, for the given variable and program statement, the a particular Boolean expression holds and a determination is of whether for a given variable and program statement whenever the predicate and the condition are true.

REFERENCES:
patent: 5905662 (1999-05-01), Shiraishi
patent: 6631392 (2003-10-01), Jiang et al.
patent: 6687898 (2004-02-01), Chen et al.
patent: 7171438 (2007-01-01), Moudgill et al.
Kurt Keutzer, Wayne Wolf, “Anatomy of a Hardware Compiler”, © 1988.
Office Action received Aug. 20, 2010 in Chinese App. No. 200580027382.6.
ISR dated Nov. 27, 2007 in PCT/US05/28463.
IPRP dated Dec. 17, 2007 in PCT/US05/28463.
Office Action dated May 4, 2006 in U.S. Appl. No. 10/382,578.
Office Action dated Aug. 4, 2006 in U.S. Appl. No. 10/382,578.
Kuetzer, Kurt et al., “Anatomy of a Hardware Compiler”, ACM, Jun. 22, 1988, pp. 95-102.

Affiliated with

Also associated with

Rating

Method for recognition of acyclic instruction patterns 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 acyclic instruction patterns, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for recognition of acyclic instruction patterns will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4257359