Transient Circuit Simulation for Differential Algebraic Systems using Matrix Exponential

Transient simulation becomes a bottleneck for modern IC designs due to large numbers of transistors, interconnects and tight design margins. For modified nodal analysis (MNA) formulation, we could have differential algebraic equations (DAEs) which consist ordinary differential equations (ODEs) and algebraic equations. Study of solving DAEs with conventional multi-step integration methods has been a research topic in the last few decades. We adopt matrix exponential based integration method for circuit transient analysis, its stability and accuracy with DAEs remain an open problem. We identify that potential stability issues in the calculation of matrix exponential and vector product (MEVP) with rational Krylov method are originated from the singular system matrix in DAEs. We then devise a robust algorithm to implicitly regularize the system matrix while maintaining its sparsity. With the new approach, $\varphi$ functions are applied for MEVP to improve the accuracy of results. Moreover our framework no longer suffers from the limitation on step sizes thus a large leap step is adopted to skip many simulation steps in between. Features of the algorithm are validated on large-scale power delivery networks which achieve high efficiency and accuracy.

[1]  Awad H. Al-Mohy,et al.  Computing the Action of the Matrix Exponential, with an Application to Exponential Integrators , 2011, SIAM J. Sci. Comput..

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

[3]  Roger B. Sidje,et al.  Expokit: a software package for computing matrix exponentials , 1998, TOMS.

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

[5]  Timo Reis,et al.  Surveys in Differential-Algebraic Equations III , 2015 .

[6]  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).

[7]  Nicholas J. Higham,et al.  INVERSE PROBLEMS NEWSLETTER , 1991 .

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

[9]  Yiyu Shi,et al.  Modeling and design for beyond-the-die power integrity , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[10]  Joost Rommes,et al.  Exploiting structure in large-scale electrical circuit and power system problems , 2009 .

[11]  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.

[12]  Chung-Kuan Cheng,et al.  From Circuit Theory, Simulation to SPICEDiego<\/sup>: A Matrix Exponential Approach for Time-Domain Analysis of Large-Scale Circuits , 2016, IEEE Circuits and Systems Magazine.

[13]  Chung-Kuan Cheng,et al.  Exploring the exponential integrators with Krylov subspace algorithms for nonlinear circuit simulation , 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[14]  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).

[15]  C. W. Gear,et al.  Simultaneous Numerical Solution of Differential-Algebraic Equations , 1971 .

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

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

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