Statistical static timing analysis with conditional linear MAX/MIN approximation and extended canonical timing model
Lizheng Zhang; Chen, W.; Hu, Y.; Chen, C.C.
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Volume 25, Issue 6, June 2006 Page(s):1183 - 1191
Digital Object Identifier 10.1109/TCAD.2005.855979
Summary:An efficient and accurate statistical static timing analysis (SSTA) algorithm is reported in this paper, which features 1) a conditional linear approximation method of the MAX/MIN timing operator, 2) an extended canonical representation of correlated timing variables, and 3) a variation pruning method that facilitates intelligent tradeoff between simulation time and accuracy of simulation result. A special design focus of the proposed algorithm is on the propagation of the statistical correlation among timing variables through nonlinear circuit elements. The proposed algorithm distinguishes itself from existing block-based SSTA algorithms in that it not only deals with correlations due to dependence on global variation factors but also correlations due to signal propagation path reconvergence. Tested with the International Symposium on Circuits and Systems (ISCAS) benchmark suites, the proposed algorithm has demonstrated very satisfactory performance in terms of both accuracy and running time. Compared with Monte-Carlo-based statistical timing simulation, the output probability distribution got from the proposed algorithm is within 1.5% estimation error while a 350 times speed-up is achieved over a circuit with 5355 gates
View citation and abstract |