System and method for common history pessimism relief during static timing analysis

A program product stored on a computer readable medium, which when executed, adjusts modeled timing data variation as a function of past state and/or switching history during static timing analysis, the program product comprising:

• program code for at least one of inputting and asserting at least one of initial signal history bound and explicit device history bound constraints for at least one signal of a circuit design;
• program code for evaluating for a segment processed during a forward propagation of block based static timing analysis whether any input signal to a current segment has a bounded history, at least one of propagated and asserted;
• program code for evaluating for the segment whether history bounds are downstream from a gating restriction;
• and program code for processing a next segment until there are no further segments.

A system for adjustment of modeled timing data variation as a function of past state and/or switching history during static timing analysis, the system comprising:

• a processor;
• a memory;
• and
• a static timing engine stored in the memory and operable to be executed by the processor, wherein the static timing engine is structured to:
• at least one of inputting and asserting at least one of initial signal history bound and explicit device history bound constraints for at least one signal of a circuit design;
• evaluating for a segment processed during a forward propagation of block based static timing analysis whether any input signal to a current segment has a bounded history, at least one of propagated and asserted;
• evaluating for the segment whether history bounds are downstream from a gating restriction;
• and
• processing a next segment until there are no further segments.