Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

We present a methodology that can analyze the effect of process variations without requiring the repeated simulations of a Monte Carlo type method. A graph theoretic procedure is described to obtain an explicit differential equation from the differential algebraic equations modeling a circuit netlist. With this explicit form, Taylor series polynomials are used to represent the system variables. The non-constant process parameters are represented as intervals, the Taylor series expansion is used to perform interval computations to generate bounds for the system variables. Methods are discussed to prevent blow-up of intervals during the time marching method.

REFERENCES

• 1: M. Berz and J. Hoefkens. Verified High-Order Inversion of Functional Dependencies and Interval Newton Methods. Reliable Computing, 7:379--398, 2001.
• 2: K. E. Brenan, S. L. Campbell, and L. R. Petzold. Numerical Solution of Initial Value Problems in Differential-Algebraic Equations. SIAM, 1995.
• 3: Francois E. Cellier , Ernesto Kofman, Continuous System Simulation, Springer-Verlag New York, Inc., Secaucus, NJ, 2006
• 4: Thomas H. Cormen , Clifford Stein , Ronald L. Rivest , Charles E. Leiserson, Introduction to Algorithms, McGraw-Hill Higher Education, 2001
• 5: D. S. Boning et al. Variation. IEEE Transactions on Semiconductor Manufacturing, 21(1):63--71, February 2008.
• 6: A. J. Encinas and R. Riaza. Index Characterization in DAE Circuit Models without Passivity Assumptions. Mathematics in Industry, 12:923--927, 2007.
• 7: C. W. Gear, Differential-algebraic equations index transformations, SIAM Journal on Scientific and Statistical Computing, v.9 n.1, p.39-47, January 1988 [doi>10.1137/0909004]
• 8: 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
• 9: Rouwaida Kanj , Rajiv Joshi , Sani Nassif, Mixture importance sampling and its application to the analysis of SRAM designs in the presence of rare failure events, Proceedings of the 43rd annual Design Automation Conference, July 24-28, 2006, San Francisco, CA, USA [doi>10.1145/1146909.1146930]
• 10: O. Knuppel. PROFIL/BIAS - A fast interval library. Computing, 53(3-4):277--287, September 1994.
• 11: Youdong Lin , Mark A. Stadtherr, Validated solutions of initial value problems for parametric ODEs, Applied Numerical Mathematics, v.57 n.10, p.1145-1162, October, 2007 [doi>10.1016/j.apnum.2006.10.006]
• 12: Frank Liu, An efficient method for statistical circuit simulation, Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, November 05-08, 2007, San Jose, California
• 13: K. Makino and M. Berz. Efficient Control of the Dependency Problem Based on Taylor Model Methods. Reliable Computing, 5:3--12, 1999.
• 14: A. A. Mutlu and M. Rahman. Statistical Methods for the Estimation of Process Variation Effects on Circuit Operation. IEEE Transactions on Electronics Packaging Manufacturing, 28(4):364--375, October 2005.
• 15: Sani R. Nassif, Model to hardware matching: for nano-meter scale technologies, Proceedings of the 2006 international symposium on Low power electronics and design, October 04-06, 2006, Tegernsee, Bavaria, Germany [doi>10.1145/1165573.1165621]
• 16: N. S. Nedialkov, K. R. Jackson, and G. F. Corliss. Validated solutions of initial value problems in ordinary differential equations. Applied Mathematics and Computation, 105:21--68, 1997.
• 17: N. S. Nedialkov and J. D. Pryce. Solving Differential-Algebraic Equations by Taylor Series(I): COmputing Taylor Coefficients. BIT Numerical Mathematics, 45(3):561--591, September 2005.
• 18: M. Neher , K. R. Jackson , N. S. Nedialkov, On Taylor Model Based Integration of ODEs, SIAM Journal on Numerical Analysis, v.45 n.1, p.236-262, January 2007 [doi>10.1137/050638448]
• 19: A. Neumaier. Taylor Forms - Use and Limits. Reliable Computing, 9(1):43--79, February 2003.
• 20: Constantinos C. Pantelides, The consistent intialization of differential-algebraic systems, SIAM Journal on Scientific and Statistical Computing, v.9 n.2, p.213-231, March 1988 [doi>10.1137/0909014]
• 21: M. Rencher. Analog Statistical Simulation. In CICC, pages 29.2/1--29.2/4, 1991.
• 22: Lawrence F. Shampine , Mark W. Reichelt, The MATLAB ODE Suite; , SIAM Journal on Scientific Computing, v.18 n.1, p.1-22, January. 1997 [doi>10.1137/S1064827594276424]
• 23: Rasit Onur Topaloglu, Monte Carlo-Alternative Probabilistic Simulations for Analog Systems, Proceedings of the 7th International Symposium on Quality Electronic Design, p.249-253, March 27-29, 2006 [doi>10.1109/ISQED.2006.90]
• 24: Lei Zhang , Zhiping Yu , Xiangqing He, A Statistical Characterization of CMOS Process Fluctuations in Subthreshold Current Mirrors, Proceedings of the 9th international symposium on Quality Electronic Design, p.152-155, March 17-19, 2008

INDEX TERMS

Primary Classification:
  B. Hardware
  B.7 INTEGRATED CIRCUITS
      B.7.2 Design Aids
          Subjects: Simulation

Additional Classification:
  B. Hardware
  B.7 INTEGRATED CIRCUITS
      B.7.2 Design Aids
          Subjects: Verification

General Terms:
Algorithms, Verification

Keywords:
circuit simulation