1. A method for adjustment of modeled timing data variation as a function of a past state and/or a switching history during a static timing analysis performed by at least one computing device, the method comprising: at least one of inputting and asserting at least one of an initial signal history bound constraint and an explicit device history bound constraint for at least one signal of a circuit design, using the at least one computing device; evaluating for a segment processed during a forward propagation of a 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 using the at least one computing device; and processing a next segment until there are no further segments.