|
ABSTRACT
Uncertainty in circuit performance due to manufacturing and environmental variations is increasing with each new generation of technology. It is therefore important to predict the performance of a chip as a probabilistic quantity. This paper proposes three novel algorithms for statistical timing analysis and parametric yield prediction of digital integrated circuits. The methods have been implemented in the context of the EinsTimer static timing analyzer. Numerical results are presented to study the strengths and weaknesses of these complementary approaches. Across-the-chip variability continues to be accommodated by EinsTimer's "Linear Combination of Delay (LCD)" mode. Timing analysis results in the face of statistical temperature and Vdd variations are presented on an industrial ASIC part on which a bounded timing methodology leads to surprisingly wrong results.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
"International technology roadmap for semiconductors 2001 edition," tech. rep., Semiconductor industry association, 2001. Available at http://public.itrs.net/Files/2001ITRS/Home.htm.
|
| |
2
|
P. Feldmann and S. W. Director, "Integrated circuit quality optimization using surface integrals," IEEE Transactions on Computer-Aided Design of ICs and Systems, vol. 12, pp. 1868--1879, December 1993.
|
| |
3
|
|
 |
4
|
Jing-Jia Liou , Kwang-Ting Cheng , Sandip Kundu , Angela Krstic, Fast statistical timing analysis by probabilistic event propagation, Proceedings of the 38th conference on Design automation, p.661-666, June 2001, Las Vegas, Nevada, United States
[doi> 10.1145/378239.379043]
|
| |
5
|
S. W. Director and W. Maly, eds., Statistical approach to VLSI, vol. 8 of Advances in CAD for VLSI. North-Holland, 1994.
|
 |
6
|
|
| |
7
|
D. E. Hocevar, P. F. Cox, and P. Yang, "Parametric yield optimization for MOS circuit blocks," IEEE Transactions on Computer-Aided Design of ICs and Systems, vol. 7, pp. 645--658, June 1988.
|
| |
8
|
K. Krishna and S. W. Director, "The linearized performance penalty (LPP) method for optimization of parametric yield and its reliability," IEEE Transactions on Computer-Aided Design of ICs and Systems, vol. 14, pp. 1557--1568, December 1995.
|
 |
9
|
|
| |
10
|
J. M. Wojciechowski and J. Vlach, "Ellipsoidal method for design centering and yield estimation," IEEE Transactions on Computer-Aided Design of ICs and Systems, vol. 12, pp. 1570--1579, October 1993.
|
| |
11
|
L. Vandenberghe, S. Boyd, and S.-P. Wu, "Determinant maximization with linear matrix inequality constraints," tech. rep., Information Systems Laboratory, Electrical Engineering Department, Stanford University, April 1996. Available from http://www.stanford.edu/~boyd/maxdet.html.
|
| |
12
|
Y. Zhang and L. Gao, "On numerical solution of the maximum volume ellipsoid problem," Tech. Rep. CAAM technical report TR01-15, Department of Computational and Applied Mathematics, Rice University, Houston, TX 77005, August 2001.
|
| |
13
|
|
| |
14
|
I. P. Mysovskikh, "The approximation of multiple integrals by using interpolatory cubature formulae," in Qualitative approximation (R. A. DeVore and K. Scherer, eds.), (New York), pp. 217--243, AP, 1980.
|
| |
15
|
I. P. Mysovskikh, Interpolatory cubature formulas. Moscow-Leningrad: Izd 'Nauka', 1981. Russian text.
|
| |
16
|
"IEEE standard for integrated circuit (IC) delay and power calculation system," no. IEEE Standard 1481-1999, pp. 1--390, 1999. available at http://fp.ieeexplore.ieee.org/iel5/6837/18380/00846710.pdf?isNumber=18380\&prod=standards&arnumber=00846710.
|
| |
17
|
B. Büeler and A. Enge and K. Fukuda, "Exact volume computation for polytopes: a practical study," in Polytopes - combinatorics and computation (G. Kalai and e. G. M. Ziegler, eds.), vol. DMV-Seminars vol. 29, Birkhäuser Verlag, Basel, Germany, 2000. Available from http://www.lix.polytechnique.fr/Labo/Andreas.Enge/Volumen_en.html
|
CITED BY 38
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Chirayu S. Amin , Noel Menezes , Kip Killpack , Florentin Dartu , Umakanta Choudhury , Nagib Hakim , Yehea I. Ismail, Statistical static timing analysis: how simple can we get?, Proceedings of the 42nd annual conference on Design automation, June 13-17, 2005, San Diego, California, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C. Visweswariah , K. Ravindran , K. Kalafala , S. G. Walker , S. Narayan, First-order incremental block-based statistical timing analysis, Proceedings of the 41st annual conference on Design automation, June 07-11, 2004, San Diego, CA, USA
|
|
|
|
|
|
Lei He , Andrew Kahng , King Ho Tam , Jinjun Xiong, Simultaneous buffer insertion and wire sizing considering systematic CMP variation and random leff variation, Proceedings of the 2005 international symposium on Physical design, April 03-06, 2005, San Francisco, California, USA
|
|
|
|
|
|
|
|
|
Yaping Zhan , Andrzej J. Strojwas , Xin Li , Lawrence T. Pileggi , David Newmark , Mahesh Sharma, Correlation-aware statistical timing analysis with non-gaussian delay distributions, Proceedings of the 42nd annual conference on Design automation, June 13-17, 2005, San Diego, California, USA
|
|
|
|
|
|
|
|
|
|
|
|
K. Bernstein , D. J. Frank , A. E. Gattiker , W. Haensch , B. L. Ji , S. R. Nassif , E. J. Nowak , D. J. Pearson , N. J. Rohrer, High-performance CMOS variability in the 65-nm regime and beyond, IBM Journal of Research and Development, v.50 n.4/5, p.433-449, July 2006
|
|
|
Saumya Chandra , Kanishka Lahiri , Anand Raghunathan , Sujit Dey, Considering process variations during system-level power analysis, Proceedings of the 2006 international symposium on Low power electronics and design, October 04-06, 2006, Tegernsee, Bavaria, Germany
|
|
|
|
|
|
Anand Ramalingam , Gi-Joon Nam , Ashish Kumar Singh , Michael Orshansky , Sani R. Nassif , David Z. Pan, An accurate sparse matrix based framework for statistical static timing analysis, Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, November 05-09, 2006, San Jose, California
|
|
|
|
|
|
|
|
|
|
|
|
Vikram Iyengar , Jinjun Xiong , Subbayyan Venkatesan , Vladimir Zolotov , David Lackey , Peter Habitz , Chandu Visweswariah, Variation-aware performance verification using at-speed structural test and statistical timing, Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, November 05-08, 2007, San Jose, California
|
|
|
Yaping Zhan , A. J. Strojwas , M. Sharma , D. Newmark, Statistical critical path analysis considering correlations, Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, p.699-704, November 06-10, 2005, San Jose, CA
|
|
|
|
|
|
|
|
|
Xin Li , Jiayong Le , Mustafa Celik , L. T. Pileggi, Defining statistical sensitivity for timing optimization of logic circuits with large-scale process and environmental variations, Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, p.844-851, November 06-10, 2005, San Jose, CA
|
|
|
M. R. Guthaus , N. Venkateswarant , C. Visweswariaht , V. Zolotov, Gate sizing using incremental parameterized statistical timing analysis, Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, p.1029-1036, November 06-10, 2005, San Jose, CA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|