Patent ID: 8341569

Claim:
A method for predicting performance criteria in a circuit having latches and feedback loops, the method comprising the iterative repetition of the following steps in an electronic processor: a. for each latch i having one or more input latches j, (1) first calculating within the processor for each input latch j: (a) the earliest signal arrival time a i at latch i as the lesser of: (i) any previously defined value for the earliest signal arrival time a i , and (ii) the sum of 1) the earliest signal departure time d j at latch j in any prior iteration and 2) the minimum combinational delay δ ji from latch j to latch i; (b) the latest signal arrival time A i at latch i as the greater of: (i) any previously defined value for the latest signal arrival time A i and (ii) the sum of: 1) the latest signal departure time D j at latch j in any prior iteration and 2) the maximum combinational delay Δ ji from latch j to latch i; (2) then calculating within the processor: (a) the setup time violation s i at latch i as the latest signal arrival time A i : (i) minus the rising clock edge arrival time C i , (ii) minus the clock high time T i h at latch i, plus the setup time S i of latch i; (b) the hold time violation h i at latch i as the earliest signal arrival time a i : (i) minus the rising clock edge arrival time C i ; (ii) minus the clock high time T i h at latch i; (iii) minus the hold time H i of latch i; (iv) plus the clock cycle time T c ; (c) the critical setup time violation limit s c ∞ as the greater of: (i) any previously defined value for the critical setup time violation limit s c ∞ , and (ii) the setup time violation s i at latch i; (d) the critical hold time violation limit h c ∞ as the lesser of: (i) any previously defined value for the critical hold time violation limit h c ∞ , and (ii) the hold time violation h i at latch i; b. calculating the circuit timing yield Y within the processor as the probability that both (1) the critical setup time violation limit s c ∞ being less than or equal to zero, and (2) the critical hold time violation limit h c ∞ being greater than or equal to zero.