US7793245B2 - Statistical Iterative Timing Analysis of Circuits Having Latches and/or Feedback Loops