1. Field of the Invention
The present invention relates generally to a reduced-order circuit model and, more particularly, to a rapid and accurate reduced-order interconnect circuit model which can be used for signal analysis of a high-speed and very-large IC interconnect.
2. Description of Related Art
With rapid development of semiconductor techniques, the parasitic effect has no longer been ignored during design of high-speed and very-large IC interconnect. This technology was proposed in 2002 by M. Celik, L. T. and A. Odabasioglu “IC Interconnect Analysis,” Kluwer Academic Publisher.
Given the fact of more complex circuits, the corresponding order of mathematical models will be increased in order to accurately simulate the characteristics of interconnect circuits. Therefore, an efficient model reduction method has become a necessary know-how for interconnect modeling and simulation. The well-proven technologies, such as U.S. Pat. Nos. 6,789,237, 6,687,658, 6,460,165, 6,135,649, 6,041,170, 6,023,573, are proposed in 2000 by R. W. Freund, “Krylov-Subspace Methods for Reduced-Order Modeling in Circuit Simulation,” Journal of Computational and Applied Mathematics, Vol. 123, pp. 395-421; in 2002 by J. M. Wang, C. C. Chu, Q. Yu and E. S. Khu, “On Projection Based Algorithms for Model Order Reduction of Interconnects,” IEEE Trans. on Circuits and Systems-I: Fundamental Theory and Applications, Vol. 49, No. 11, pp. 1563-1585.
In recent years, the common methods for circuit model reduction include:
Asymptotic Waveform Evaluation (AWE)(L. T. Pillage and R. A. Rohrer, “Asymptotic waveform evaluation for timing analysis,” IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 9, No. 4, pp. 352-366, 1990);
PVL (Pade via Lanczos)(P. Feldmann and R. W. Freund, “Efficient linear circuit analysis by Pad'e approximation via the Lanczos process,” IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14 pp. 639-649, 1995);
SyMPVL (Symmetric Matrix Pade via Lanczos)(P. Feldmann and R. W. Freund, “The SyMPVL algorithm and its applications to interconnect simulation,” Proc. 1997 Int. Conf. on Simulation of Semiconductor Processes and Devices, pp. 113-116, 1997);
Arnoldi Algorithm (e.g. U.S. Pat. No. 6,810,506); and
PRIMA (Passive Reduced-order Interconnect Macromodeling Algorithm)(A. Odabasioglu, M. Celik and L. T. Pileggi, “PRIMA: passive reduced-order interconnect macromodeling algorithm,” IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 17 pp. 645-653, 1998).
All of the aforementioned model reduction techniques employ a Krylov Subspace Projection Method, which utilizes a projection operator to obtain the state variables of the reduced circuit system after projecting the state variable of the original circuit system. The projection operator is established by the Krylov Algorithm iteration process, of which the order of the reduced circuit is the number of iteration. For the model reduction algorithm of the applied projection method, another important job is to determine the order of the reduced circuit, since it is required to find out an appropriate order such that the reduced circuit can reflect accurately important dynamic behavior of the original circuit.
The present invention provides an improved non-symmetric Lanczos Algorithm. Based on error estimation of a reduced model of a linear circuit and original model, it should thus be possible for improvement of a submicron IC interconnect model.
The present invention will present a detailed description of the relationship between the original circuit system and the reduced circuit system, wherein the reduced circuit obtains a project-based matrix and then a reduced-order circuit model by employing a non-symmetric Lanzcos Algorithm. Based on δq+1 and βq+1 calculated by the algorithm, it is required to set a termination iteration condition in order to obtain a balance point between complexity of computation and accuracy of the reduced model.
In addition, the present invention will prove that, after transfer function of the original circuit is added with some additive perturbations, the moment of transfer function fully matches that of the reduced model by employing the non-symmetric Lanczos Algorithm in various orders. Since well-proven technology has demonstrated that q-th moments of the reduced system are equivalent to those of the original system, q-th order moments of the original system plus the perturbed system are equivalent to those of the original system. The perturbation matrix is related to the component generated by the non-symmetric Lanczos Algorithm, with the cyclomatic number being up to 2, so no additional computational resources are required. The algorithm of the present invention will provide an efficient guideline of selecting a reduced-order circuit by the Krylov Subspace Model Reduction Algorithm.
In a certain embodiment, the present invention has a simplified circuit model by employing the non-symmetric Lanczos Algorithm, which includes the following steps: (1) input a mesh circuit; (2) input an expand frequency point; (3) set up a state space matrix of the circuit; and (4) reduce a submicron IC interconnect model by employing an improved non-symmetric Lanczos Algorithm.
The conventional methods, such as Modified Nodal Analysis (MNA), Kirchhoff's Voltage Law (KVL) and Kirchhoff's Current Law (KCL), are used for analyzing the characteristics of very-large IC interconnects. The circuits can be expressed as the following state space matrixes:
Where, M, N ε Rn×n, x,b,c ε Rn and y(t) ε Rn. Matrix M comprises capacitance C and inductance L, matrix N comprises conductance G and resistance R, state matrix x(t) comprises node voltage and branch current, u(t) is an input signal, and y(t) is an output signal. Assuming A=−N−1M and r=N−1b, formula (1) can be expressed as:
Model order reduction aims to reduce the order of the circuit system and to reflect efficiently the reduced circuit system of the original circuit system. The state space matrix of the reduced circuit can be expressed as:
Where, {circumflex over (x)}(t)ε Rq, Âε Rq×q, {circumflex over (r)}{circumflex over (,)}ĉε Rq and q<<n.
Assuming X(s)=L[x(t)] and {circumflex over (X)}(s)=L[{circumflex over (x)}(t)] are pulse responses of the original system and the reduced system in a Laplace Domain, X(s) and {circumflex over (X)}(s) can be expressed as follows:
X(s)=(In−sA)−1r, {circumflex over (X)}(s)=(Iq−sÂ) −1{circumflex over (r)} (4)
Where In is a unit matrix of n×n, and Im is a unit matrix of q×q. The transfer function H(s) of the original system and the transfer function Ĥ(s) of the reduced system can be expressed separately as:
H(s)=cTX(s)=cT(In−sA)−r (5)
and
Ĥ(s)=ĉT{circumflex over (X)}(s)=ĉT(Iq−sÂ)−1{circumflex over (r)} (6)
Modeling Reduction Technique
To calculate the reduced model of very-large IC interconnects, the well-known non-symmetric Lanczos Algorithm (P. Feldmann and R. W. Freund, “Efficient Linear Circuit Analysis by Pade Approximation via Lanczos Process”, IEEE Trans. on CAD of ICS, Vol. 14, No. 5, 1995) is employed to set up two projection matrixes Vq and Wq and to generate reduced models by two-sided projections, with the pseudo code of the algorithm as shown in
The calculation of the aforesaid matrixes will satisfy:
AVq=VqTq+δq+1vq+1eqt (7)
A′Wq=WqTq′+βq+1wq+1eqt (8)
and Wq′AVq=Tq, where eq is a q-th row vector in the unit matrix I ε Rq×q.
Owing to the error of moment between the reduced model and the original model, formula (7) and (8) can be expressed as the following three-term recursive equations in order to reduce efficiently the computation of system analysis and minimize the error:
Avq=βqvq−1+αqvq+δq+1vq+1 (9)
A′wq=δqwq−+αqwq+βq+1vq+1 (10)
Since δq+1 can be treated as the component of new vector vq+1 in AVq, and βq+1 treated as the component of new vector wq+1 in A′Wq, Step (108) selects δq+1 and βq+1 as a reference indicator. Similarly, Step (110) takes
as an indicator for terminating the iteration process. Assuming that λq and μq are less than tolerance ε for termination conditions, the reduced system will be very similar to the original system. If the above-specified conditions are not met, the order of the reduced model will be gradually increased in Step (112). Every iteration will generate new bi-orthogonal vectors vq and wq as well as new and δq+1 and βq+1. When both λq and μq meets the conditions as specified in Step (110), the non-symmetric Lanczos Algorithm iteration process will be stopped, in such case q is an optimal order of the reduced model. In Step (114), order q is used for reduction of the system model.
Addition of Perturbed System
In the original interconnect circuit system, an Additive Perturbation Matrix can be added to demonstrate the reliability of this method. Suppose that the Modified Nodal Analysis Equation of the circuit is:
Where, Δ represents the additive perturbations of the system:
Δ=Δ1+Δ2 (12)
Where, Δ1=vq+1δq+1wqt, Δ2=vqβq+1wq+1t, and q is the order of the reduced model.
The transfer function of the reduced model of the original circuit can be expressed as Ĥ(s), as shown in formula (6). Under the condition of the formula (12), the transfer function HΔ(s) of the original system plus the perturbed system will be equal to the transfer function Ĥ(s) of the reduced system. Assume the expend frequency point s=s0+σ, and l′r=(β1w1)δ1v1=β1δ1(w1tv1)=β1δ1, the transfer function of the reduced model can be simplified as:
The transfer function of the perturbed system can be simplified as:
By using formula (7), it can be shown that various moments of the reduced model via PVL method are equivalent to those of the original model with the additive perturbed system Δ. Firstly, subtracting ΔVq at both sides of the equation, the right side of the equation can be reduced as:
VqTq+δq+1vq+1eqt−ΔVq=VqTq+δq+1vq+1eqt−(vq+1δq+1wq′+vqβq+1wq+1t)Vq=VqTq
Formula (7) can be rewritten as:
AVq−ΔVq=VqTq+δq+1vq+1eq′−ΔVq(A−Δ)Vq=VqTq
If −σ is multiplied and Vq is added at both sides of the aforesaid equation, it can be rewritten as:
Vq−σ(A−Δ)Vq=Vq−σVqTq (15)
Thus
(In−σ(A−Δ))Vq=Vq(Iq−σTq) (16)
If (In−σ(A−Δ))−1 is multiplied at the matrix left of the equation, and (Iq−σTq)−1 is multiplied at the matrix right of the equation, then formula (16) can be rewritten as:
Vq(Iq−σTq)−1=(In−σ(A−Δ))−1Vq (17)
Finally, w1′ is multiplied at the matrix left of the equation, e1 is multiplied at the matrix right of the equation, and constant l′r=β1δ1 is multiplied at both sides, then:
w1′Vq(Im−σTq)−1e1=w1′(In−σ(A−Δ))−1Vqe1 (l′r)e1′(Iq−σTq)−1e1=(l′r)w1′(In−σ(A−Δ))−1v1 (18)
By comparing formula (19) and (13)/(14):
Ĥ(s0+σ)=HΔ(s0+σ) (19)
The reduced model derived from the aforementioned equations demonstrates the nom-symmetric PVL Algorithm, where various moments of the transfer function are equal to those of the original system with the additive perturbed system Δ.
The model reduction method of the present invention for high-speed very-large IC employs an improved non-symmetric Lanczos Algorithm, with its pseudo code shown in
The present invention tests a simple embodiment in order to verify the validity of the proposed algorithm.
during computational process of the algorithm.
In brief, the present invention has derived very-large RLC interconnects and implemented the model reduction method by employing the non-symmetric Lanczos Algorithm, thereby helping to judge automatically the order of the reduced model while maintaining the accuracy and reducing computation complexity. At the same time, the present invention also derived that the transfer function of the original circuit with additive perturbations can represent an approximation transfer function. The perturbation matrix is related to the component generated by the non-symmetric Lanczos Algorithm, so the computational quantity is very small.
The above-specified, however, are only used to describe the operating principle of the present invention, but not limited to its application range. However, it should be appreciated that a variety of embodiments and various modifications are embraced within the scope of the following claims, and should be deemed as a further development of the present invention.
Number | Name | Date | Kind |
---|---|---|---|
6023573 | Bai et al. | Feb 2000 | A |
6041170 | Feldmann et al. | Mar 2000 | A |
6135649 | Feldmann et al. | Oct 2000 | A |
6460165 | Ismail et al. | Oct 2002 | B1 |
6687658 | Roychowdhury | Feb 2004 | B1 |
6789237 | Ismail | Sep 2004 | B1 |
6810506 | Levy | Oct 2004 | B1 |
Number | Date | Country | |
---|---|---|---|
20060282799 A1 | Dec 2006 | US |