Efficient static timing analysis in presence of crosstalk

In this paper we show that iterative updating of timing windows is necessary when signals on the same path are mutually capacitively coupled. To improve the accuracy of timing analysis we use implications induced by functional irredundant path sensitization criteria. Experimental results have demonstrated the efficacy and efficiency of our proposed techniques.