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.

 
Web www.patentalert.com

< System and a method for communication between an ICE and a production microcontroller while in a halt state

< Object oriented apparatus and method for providing context-based class replacement in an object oriented system

> System and method of designing, testing, and employing graphical computer code

> Method of inlining a VHDL function call into Verilog

~ 00215