On Symbolic Model Order Reduction 1

Symbolic model order reduction (SMOR) is a macromodeling technique that can be used to create reduced order models while retaining the parameters in the original models. Such symbolic reduced order models can be repeated evaluated (simulated) with greater efficiency for varying model parameters. Although the model order reduction concept has been extensively developed in the literature and widely applied in a variety of problems, model order reduction from a symbolic perspective has not been well studied. Several methods developed in this paper include symbol isolation, nominal projection, and first order approximation. These methods can be applied to models from having only a few parametric elements to many symbolic elements. Of special practical interest are models that have slightly varying parameters such as process related variations, for which efficient reduction procedure can be developed. Each technique proposed in this paper has been tested by circuit examples. Experiments show that the proposed methods are potentially effective for many circuit problems. This work was sponsored in part by the DARPA NeoCAD Program under Grant No. N66001-01-8920 from Navy Sapce and Naval Warfare Systems Command (SPAWAR), in part by SRC under Contract No. 2001-TJ-921, and in part by the National Science Foundation (NSF) CAREER Award under Grant No. 9985507.

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

[2]  Teuvo Kohonen,et al.  Self-organization and associative memory: 3rd edition , 1989 .

[3]  Lawrence T. Pileggi,et al.  Asymptotic waveform evaluation for timing analysis , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  Jacob K. White,et al.  Efficient frequency-domain modeling and circuit simulation of transmission lines , 1994 .

[5]  Roland W. Freund,et al.  Efficient linear circuit analysis by Pade´ approximation via the Lanczos process , 1994, EURO-DAC '94.

[6]  Michel S. Nakhla,et al.  Analysis of interconnect networks using complex frequency hopping (CFH) , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[7]  Mattan Kamon,et al.  Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures , 1996 .

[8]  Eric James Grimme,et al.  Krylov Projection Methods for Model Reduction , 1997 .

[9]  Lawrence T. Pileggi,et al.  PRIMA: passive reduced-order interconnect macromodeling algorithm , 1997, ICCAD 1997.

[10]  S. D. Senturia,et al.  Generating efficient dynamical models for microelectromechanical systems from a few finite-element simulation runs , 1999 .

[11]  Ying Liu,et al.  Model order-reduction of RC(L) interconnect including variational analysis , 1999, DAC '99.

[12]  Yehea I. Ismail,et al.  Effects of inductance on the propagation delay and repeater insertion in VLSI circuits , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[13]  Jacob K. White,et al.  Geometrically parameterized interconnect performance models for interconnect synthesis , 2002, ISPD '02.

[14]  Z. Bai.  Krylov subspace techniques for reduced-order modeling of large-scale dynamical systems , 2002 .

[15]  Rob A. Rutenbar,et al.  Canonical Symbolic Analysis of Large Analog Circuits with Determinant Decision Diagrams , 2002 .

[16]  Guoyong Shi,et al.  Symbolic model order reduction , 2003, Proceedings of the 2003 IEEE International Workshop on Behavioral Modeling and Simulation.

[17]  Jaijeet Roychowdhury,et al.  Automated macromodel generation for electronic systems , 2003, Proceedings of the 2003 IEEE International Workshop on Behavioral Modeling and Simulation.

[18]  Guoyong Shi,et al.  Parametric reduced order modeling for interconnect analysis , 2004 .

[19]  C.-J. Richard Shi,et al.  Model-order reduction by dominant subspace projection: error bound, subspace computation, and circuit applications , 2005, IEEE Transactions on Circuits and Systems I: Regular Papers.