Electrical computers and digital processing systems: processing – Processing control – Instruction modification based on condition
Reexamination Certificate
2005-10-18
2005-10-18
Vital, Pierre M. (Department: 2189)
Electrical computers and digital processing systems: processing
Processing control
Instruction modification based on condition
C712S229000, C717S127000
Reexamination Certificate
active
06957325
ABSTRACT:
A process and system for analyzing executable portion of computer code for processors with unprotected pipelines is provided. The process assumes a worst set of current processor states; analyzes plural control paths for possible hazards by computing an induced set of processor states after executing a computer instruction; and adjusts the worst set of current processor states based on program annotations to the computer instruction.
REFERENCES:
patent: 6014513 (2000-01-01), Voelker et al.
patent: 6071317 (2000-06-01), Nagel
patent: 6083278 (2000-07-01), Olson et al.
patent: 6161200 (2000-12-01), Rees et al.
patent: 6173440 (2001-01-01), Darty
patent: 6237139 (2001-05-01), Hotta et al.
patent: 6308316 (2001-10-01), Hashimoto et al.
patent: 6629238 (2003-09-01), Arora et al.
Chang En-Shou
Mathur Rajat
Siska Charles P.
Xu Chao
Inoa Midys
Klein O'Neill & Singh, LLP
Mindspeed Technologies Inc.
Singh Tejinder
Vital Pierre M.
LandOfFree
System and method for detecting program hazards in... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and method for detecting program hazards in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for detecting program hazards in... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3449724