From Circuit Theory, Simulation to SPICEDiego<\/sup>: A Matrix Exponential Approach for Time-Domain Analysis of Large-Scale Circuits

SPICE (Simulation Program with Integrated Circuit Emphasis) is a widely used circuit simulation framework for integrated circuit designs. The basic skeleton of SPICE time domain simulation was derived from the versions developed in UC Berkeley during the 1970s. In this paper, we report most recent numerical integration methods to improve traditional SPICE time integration schemes, which are based on linear multi-step and low order approximation for the circuit differential equation system. Recently, matrix exponential based time domain simulation algorithms are being developed to address long-term issues in the standard numerical integration methods. We review the related techniques in matrix exponential based approaches and state several distinguished features in challenging simulation problems, such as linear power network analysis and nonlinear circuit system simulation (SPICEDiego). We believe that the matrix exponential approaches can shed new light on the research and development of future circuit simulation algorithmic systems.

[1]  Roxana Ionutiu,et al.  SparseRC: Sparsity Preserving Model Reduction for RC Circuits With Many Terminals , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[2]  Chung-Kuan Cheng,et al.  Efficient transient simulation for transistor-level analysis , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

[3]  Benjamin Barras,et al.  SPICE – Simulation Program with Integrated Circuit Emphasis , 2013 .

[4]  Quan Chen,et al.  Circuit simulation via matrix exponential method for stiffness handling and parallel processing , 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[5]  M.L. Liou,et al.  Computer-aided analysis of electronic circuits: Algorithms and computational techniques , 1977, Proceedings of the IEEE.

[6]  Rui Shi,et al.  An unconditional stable general operator splitting method for transistor level transient analysis , 2006, Asia and South Pacific Conference on Design Automation, 2006..

[7]  Sheldon X.-D. Tan,et al.  Symbolic analysis and reduction of VLSI circuits , 2004 .

[8]  James Hardy Wilkinson,et al.  Kronecker''s canonical form and the QZ algorithm , 1979 .

[9]  Chung-Kuan Cheng,et al.  Module Placement Based on Resistive Network Optimization , 1984, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[10]  Mark Zwolinski,et al.  Overview of SPICE-like circuit simulation algorithms , 1994 .

[11]  Rajendran Panda,et al.  Hierarchical analysis of power distribution networks , 2000, DAC.

[12]  Marlis Hochbruck,et al.  Preconditioning Lanczos Approximations to the Matrix Exponential , 2005, SIAM J. Sci. Comput..

[13]  M. Hochbruck,et al.  Exponential integrators , 2010, Acta Numerica.

[14]  A. Ostermann,et al.  Implementation of exponential Rosenbrock-type integrators , 2009 .

[15]  Gerhard Wanner,et al.  Dahlquist’s classical papers on stability theory , 2006 .

[16]  Wei Dong,et al.  Parallelizable stable explicit numerical integration for efficient circuit simulation , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[17]  Albert E. Ruehli,et al.  The modified nodal approach to network analysis , 1975 .

[18]  Marlis Hochbruck,et al.  Exponential Rosenbrock-Type Methods , 2008, SIAM J. Numer. Anal..

[19]  Quan Chen,et al.  Time-Domain Analysis of Large-Scale Circuits by Matrix Exponential Method With Adaptive Control , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[20]  Cleve B. Moler,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later , 1978, SIAM Rev..

[21]  Chung-Kuan Cheng,et al.  Power grid simulation using matrix exponential method with rational Krylov subspaces , 2013, 2013 IEEE 10th International Conference on ASIC.

[22]  Zhi Liu,et al.  Fast floating random walk algorithm formulti-dielectric capacitance extraction with numerical characterization of Green's functions , 2012, 17th Asia and South Pacific Design Automation Conference.

[23]  Qing Wang,et al.  Fast Random Walk Based Capacitance Extraction for the 3-D IC Structures With Cylindrical Inter-Tier-Vias , 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[24]  Yici Cai,et al.  PowerRush : Efficient transient simulation for power grid analysis , 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[25]  Chung-Kuan Cheng,et al.  Parallel transistor level full-chip circuit simulation , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[26]  Xiang Hu,et al.  An adaptive parallel flow for power distribution network simulation using discrete Fourier transform , 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).

[27]  Mayya Tokman,et al.  Comparative performance of exponential, implicit, and explicit integrators for stiff systems of ODEs , 2013, J. Comput. Appl. Math..

[28]  Zhi Liu,et al.  RWCap: A Floating Random Walk Solver for 3-D Capacitance Extraction of Very-Large-Scale Integration Interconnects , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[29]  Zuochang Ye.  Sparsity-aware model reduction for post-layout circuit simulation , 2014, 2014 IEEE International Conference on Electron Devices and Solid-State Circuits.

[30]  Jacob K. White,et al.  Fundamentals of Fast Simulation Algorithms for RF Circuits , 2007, Proceedings of the IEEE.

[31]  Sani R. Nassif,et al.  MAPS: Multi-Algorithm Parallel circuit Simulation , 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.

[32]  Nisheeth K. Vishnoi,et al.  Approximating the exponential, the lanczos method and an Õ(m)-time spectral algorithm for balanced separator , 2011, STOC '12.

[33]  Ting Yu,et al.  PGT_SOLVER: An efficient solver for power grid transient analysis , 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[34]  Chung-Kuan Cheng,et al.  Two-Stage Newton-Raphson Method for Transistor-Level Simulation , 2007, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[35]  Farid N. Najm,et al.  Circuit Simulation , 2010 .

[36]  Sani R. Nassif,et al.  2011 TAU power grid simulation contest: Benchmark suite and results , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[37]  M. Botchev.  A short guide to exponential Krylov subspace time integration for Maxwell's equations , 2012 .

[38]  Wenjian Yu,et al.  Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits , 2014 .

[39]  Chung-Kuan Cheng,et al.  MATEX: A distributed framework for transient simulation of power distribution networks , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[40]  Peng Li,et al.  Parallel Circuit Simulation: A Historical Perspective and Recent Developments , 2012, Found. Trends Electron. Des. Autom..

[41]  Quan Chen,et al.  A Practical Regularization Technique for Modified Nodal Analysis in Large-Scale Time-Domain Circuit Simulation , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[42]  Ronald A. Rohrer,et al.  Electronic Circuit and System Simulation Methods , 1994 .

[43]  Wenjian Yu,et al.  An algorithmic framework for efficient large-scale circuit simulation using exponential integrators , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[44]  Wei Dong,et al.  WavePipe: Parallel transient simulation of analog and digital circuits on multi-core shared-memory machines , 2008, 2008 45th ACM/IEEE Design Automation Conference.

[45]  C. Loan,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix , 1978 .

[46]  Xiang Zhang,et al.  Simulation Algorithms With Exponential Integration for Time-Domain Analysis of Large-Scale Power Delivery Networks , 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[47]  Vu Thai Luan,et al.  Parallel exponential Rosenbrock methods , 2016, Comput. Math. Appl..

[48]  Farid N. Najm,et al.  Circuit Simulation , 2010 .

[49]  Y. Saad.  Analysis of some Krylov subspace approximations to the matrix exponential operator , 1992 .

[50]  Rajendran Panda,et al.  Accelerating Clock Mesh Simulation Using Matrix-Level Macromodels and Dynamic Time Step Rounding , 2008, 9th International Symposium on Quality Electronic Design (isqed 2008).

[51]  Sani R. Nassif,et al.  2012 TAU power grid simulation contest: Benchmark suite and results , 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[52]  F. H. Branin,et al.  Computer Analysis of Nonlinear Circuits, Excluding Radiation (CANCER) , 1971 .

[53]  Jia Wang,et al.  Parallel forward and back substitution for efficient power grid simulation , 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).