• No se han encontrado resultados

Powering multiparameter homotopy-based simulation with a fast path-following technique

N/A
N/A
Protected

Academic year: 2020

Share "Powering multiparameter homotopy-based simulation with a fast path-following technique"

Copied!
8
0
0

Texto completo

(1)

Volume 2011, Article ID 610637,7pages doi:10.5402/2011/610637

Research Article

Powering Multiparameter Homotopy-Based

Simulation with a Fast Path-Following Technique

H ´ector V ´azquez-Leal,

1

Roberto Casta ˜neda-Sheissa,

1

Felipe Rabago-Bernal,

2

Luis Hern ´andez-Mart´ınez,

3

Arturo Sarmiento-Reyes,

3

and Uriel Filobello-Ni ˜no

1

1Electronic Instrumentation and Atmospheric Sciences School, University of Veracruz,

91000 Xalapa, VER, Mexico

2Institute of Physics, Autonomous University of San Luis Potosi, 78000 San Luis Potosi, SLP, Mexico 3Electronics Department, National Institute for Astrophysics, Optics and Electronics,

72000 Tonantzintla, PUE, Mexico

Correspondence should be addressed to H´ector V´azquez-Leal,[email protected]

Received 30 June 2011; Accepted 23 August 2011

Academic Editors: F. Jauberteau and C. I. Siettos

Copyrightq2011 H´ector V´azquez-Leal et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

The continuous scaling for fabrication technologies of electronic circuits demands the design of new and improved simulation techniques for integrated circuits. Therefore, this work shows how the hypersphere technique can be adapted and applied to trace a multiparameter homotopy. Be-sides, we present a path-following technique based on circlesevolved from hypersphere, which is faster, and simpler to be implemented than hypersphere technique. Last, a comparative analysis between both techniques applied to simulation of circuits with bipolar transistors will be shown.

1. Introduction

The increment of the complexity of circuits influence the scientific progress in the simulation techniques area for integrated circuits. Also, homotopy techniques have been introduced as a useful tool in the area of operating point solution for circuits1–5, due to the Newton-RaphsonNRmethodwidely usedwhich shows convergence problems6like oscillation and divergence.

2. Multiparameter Homotopy

The first step to formulate a homotopy is to establish the equilibrium equation to be solved; it is formulated from Kirchhofflaws, being defined as

(2)

where x represents the electrical variables of the circuit andn is the number of electrical variables.

Multiparameter homotopies7–9are characterized by adding more than one extra homotopy parameter to the equilibrium equation. When homotopy parameters are adjusted to zero, the solution forH·becomes trivial, and when parameters reach value of one, then the operating point is located. The multiparameter homotopy function can be represented as

Hfx, λ1, λ2, . . . , λk0, 2.2

where homotopy parameters are λ1, λ2, . . . , λk ∈ 0,1 and k is the number of homotopy parameters.

Multiparameter homotopy7has been proposed in order to avoid fork bifurcations, singularities, among other problems that can be encountered with homotopy paths. Besides, as for the uniparametric2and multiparameter homotopies, the tracing technique10,11is a fundamental tool capable of affecting the convergence, speed, and number of solutions located. Therefore, it is proposed to apply two tracing techniques for multiparameter homotopy, both will be described in the following sections.

3. Tracing Techniques

In order to apply tracing techniques described in this paper, a biparametric homotopy based in Newton’s homotopy method will be used as an example:

Hfx, λ1, λ2fx, λ2−1−λ1fxi,0, whereH:∈Rn1×R−→Rn. 3.1

With the existence of two parametersλ1 andλ2, two simultaneous deformations or transformations are produced: one in functionfand another in functionH. Whenx, λ1, λ2

xi,0,0, then

Hfx, λ1, λ2fxi,0−fxi,0 0. 3.2

Hence, homotopy function is satisfied. Besides, whenλ1, λ2 1,1becomes

Hfx, λ1, λ2fx, 3.3

so the found solution of H is the solution of the equilibrium equation. Nonetheless, as function H has two extra variables, it is necessary to add two equations to the systemH in order to be solved using more conventional techniques like NR.

(3)

λ2 p 3= [1, 1]

λ1

p1= [0, 0]

p2= [A,B]

a

S1

t0

k1

S0

S2

t1

t2

t3

Homotopy trajectory

k2

b

Figure 1:aParametric function.bHypersphere technique.

(1) Equation

n

1

One equation is added to define path λ1λ2, which will be named parametric function

Mλ1, λ2. This equation traverses three pointsλ1, λ2:p1 0,0,p2 A, B, andp3 1,1.

The proposed equation is

Mλ1, λ2 −λ1 λ2 B−1A/AB1−2A

12ABλ2/AB1−2A 2B−1A/AB1−2A,

3.4

wherep2is defined by user, as shown inFigure 1a. The range of values forAandBis0,1.

(2) Equation

n

2

Hypersphere equation is added12:

S· x1c12 x2c22· · · λ1c

n12 λ2cn22−r2, 3.5

wherecis the center of the hyperspherewhich adjusts its value each iterationandr1 is the hypersphere radiusstep size.

The summary of the procedures consists in the following steps12 seeFigure 1b.

1The first sphere is establishedS0 with center located att0 xi, p1and the equation system is solved3.1,3.4, and3.5using the NR methodsettingt0 as an initial point, locating pointt1.

2A new hypersphereS1 is created with center att1.

3Using points t0 and t1, it is possible to create a prediction, which touches hypersphere S1 at point k1; it is used as initial point for the NR method, until locating pointt2on the homotopy path.

(4)

4Steps 2 and 3 are successively repeatedupdating hypersphere’s center after each iterationuntil crossing pointp3.

5Points before and after p3 are used to perform an interpolation 13. The type of interpolation employed in this paper is linear multidimensional interpolation, which produces an approximationxaof solutionxsfor the equilibrium equation.

6Finally, using as initial pointxain the NR method, the precision for the operating

pointxsis improved.

It is possible to replace3.5for the circle equation, in function of the homotopy parameters:

C· λ1cn12 λ2cn22r2, 3.6

wherer 1. The rest of the steps to implement the numerical continuation are the same as the hypersphere technique already described.

4. Study Case: Circuit with Bipolar Transistors and a Diode

The following circuit14 seeFigure 2contains nine solutions and has become the reference circuit for the homotopy applied to circuit analysis. Using the system reported by 14, equilibrium equation is augmented

fv1, v2, v3, v4, λ2

⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩

f16.103168Ise40v1−1λ24.36634v22.863168Ise40v2−112,

f25.4v13.58Ise40v1−1λ26.62Ise40v2−1v3

0.7Ise40v3−10.5Ise40v4−122,

f36.103168Ise40v3−12.863168Ise40v4−1λ24.36634v412,

f4v10.7Ise40v1−1λ20.5Ise40v2−15.4v3

3.58Ise40v3−16.62I

se40v4−1λ220,

4.1

whereIs 10−6,v1, v2, v3, v4are the voltage drop between base-emitter terminals for each

transistor in the circuitseeFigure 2andλ2is the second homotopy parameter. The complete homotopy formulation can be established by using the following equations:

ithe augmented equilibrium equation4.1,

iithe homotopy function equation3.1,

iiithe parametric function3.4,

ivthe hypersphere function 3.5 or circle function 3.6, which depends on the selected technique.

Table 1presents in summary the results of performing the tracing of four paths with

different initial points xi1,xi2,xi3, andxi4, each one. This process was repeated for both tracing techniques, showing the results in Figures3aand3b. Comparing both techniques,

(5)

10 K

30 K

6

10 V T1 4 K

30 K

30 K 5 K

0.5 K 10.1 K

10.1 K

8

9

12

13 10

11

14 4 K

4 K

+

+

+ −

+

T2

T3

T4

2

7

5

3

4

12 V 12 V

1

4 K

2 V

v1

v2

v3

v4

30 K 0.5 K

Figure 2: Chua’s circuit.

Table 1: Relevant points for homotopy simulations.

Hypersphere—Init. point

whereλ1, λ2 0,0 No. Iter TimeSec

Operating pointv1, v2, v3, v4 whereλ1, λ2 1,1

xi1 −5, −5, −5, −5 519 7.70 xs1 0.3830, −3.5446, 0.3851, −4.0990 xi2 −1, −2, −1, 0 202 3.59 xs2 0.3869, −4.6321, −0.8002, 0.3775 xi3 −5, −0.5, −5, 0 216 4.06 xs3 −0.5136, 0.3775, −0.9682, 0.3775 xi4 −1, 0, 0, 0 168 3.13 xs4 −1.0510, 0.3775, 0.3845, −3.9542

Circle—Init. point

whereλ1, λ2 0,0 No. Iter TimeSec Operating pointwhereλ1, λ2 v1, v2, v3, v41,1 xi1 −5, −5, −5, −5 48 0.86 xs1 0.3830, −3.5446, 0.3851, −4.0990 xi2 −1, −2, −1, 0 48 0.89 xs2 0.3869, −4.6321, −0.8002, 0.3775 xi3 −5, −0.5, −5, 0 48 0.74 xs4 −0.5136, 0.3775, −0.9682, 0.3775 xi4 −1, 0, 0, 0 48 0.82 xs4 −1.0510, 0.3775, 0.3845, −3.9542

there are two interesting conclusions to be highlighted: first, homotopy paths traced from the same initial point lead to the same solution; in fact, comparing paths point by point, it can be observed that it is the same path; second, despite that paths are identical, the circle technique required a fixed number of iterations 48; those are much less required than using the hypersphere method. In fact, fromTable 1, it can be concluded that, at bestchoosing initial point atxi1, the tracing technique for circles required 8.95 times less CPU timeby using MAPLE 15 software in an Intel Quad Core i7 processor at 2.6 GHzthan the hypersphere technique. Both tracing techniques employed radius ofr0.03 and a parametric functionM withp2 0.2,0.3.

(6)

xi1

xi2

xi3

xi4

−4

−5

−3

−2

−1 0 1

1

0.2 0.4 0.6 0.8

λ1

λ1=0 λ1=1

xs2

xs1

xs3

xs4

v2

aHypersphere technique

xi1

xi2

xi3

xi4

−4

−5

−3

−2

−1 0 1

0.2 0.4 0.6 0.8

λ1

v2

xs2

xs1

xs3

xs4

1

λ1=0 λ1=1

b Circle technique

Figure 3: Homotopy trajectoriesv2λ1.

Circles technique can be modified changing one of the homotopy parameters by an electrical variable of interest. For instance, the simulation was repeated from initial pointxi1, only changing the circle from3.6by

Cv1, λ1 v2

(7)

where v1, r ∈ R. The result was that the homotopy path already known was traced see

Figure 3b with a total of 191 iterations locating the same solution at xs1. Also, it is

possible to use one of the two homotopy parameters with more than one electrical variable, to implement a reduced hypersphere. Therefore, in a forthcoming work the study of circles technique will be expanded and a possible application to simulate VLSI circuits will also be discussed.

5. Conclusion

This work showed that it is possible to use the hypersphere technique to trace multiparameter homotopies. Besides, a tracing technique derived from hyperspherecircleswas introduced, which is simpler to program and faster than the hypersphere technique. These results make the circles technique an attractive tool to trace multiparameter homotopies.

References

1 L. B. Goldgeisser and M. M. Green, “A method for automatically finding multiple operating points in nonlinear circuits,” IEEE Transactions on Circuits and Systems-I, vol. 52, no. 4, pp. 776–784, 2005. 2 R. C. Melville and L. Trajkovi´c, “Artificial parameter homotopy methods for the DC operating point

problem,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 12, no. 6, pp. 861–877, 1997.

3 L. Trajkovi´c, R. C. Melville, and S. C. Fang, “Passivity and no-gain properties establish global con-vergence of a homotopy method for DC operating points,” in Proceedings of the IEEE International Symposium on Circuits and Systems, 1990.

4 H. V´azquez-Leal, L. Hern´andez-Mart´ınez, and A. Sarmiento-Reyes, “Double-bounded homotopy for analysing nonlinear resistive circuits,” in Proceedings of the IEEE International Symposium on Circuits and Systems, May 2005.

5 J. S. Roychowdhury and R. C. Melville, “Homotopy techniques for obtaining a DC solution of large-scale MOS circuits,” in Proceedings of the 33rd Annual Design Automation Conference, 1996.

6 C. T. Kelley, Solving Nonlinear Equations with Newton’s Method, Fundamentals of Algorithms, SIAM, Philadelphia, Pa, USA, 2003.

7 D. M. Wolf and S. R. Sanders, “Multiparameter homotopy methods for finding DC operating points of nonlinear circuits,” IEEE Transactions on Circuits and Systems-I, vol. 43, no. 10, pp. 824–838, 1996. 8 J. Roychowdhury and R. Melville, “Delivering global DC convergence for large mixed-signal circuits

via homotopy/continuation methods,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 25, no. 1, pp. 66–78, 2006.

9 H. V´azquez-Leal, L. Hern´andez-Mart´ınez, A. Sarmiento-Reyes, and R. S. Murphy-Arteaga, “Improv-ing multi-parameter homotopy via symbolic analysis techniques for circuit simulation,” in Proceed“Improv-ings of the European Conference on Circuit Theory and Design, vol. 2, pp. 402–405, 2003.

10 H. V´azquez-Leal, L. Hern´andez-Mart´ınez, and A. Sarmiento-Reyes, “Numerical continuation scheme for tracing the double bounded homotopy for analysing nonlinear circuits,” in Proceedings of the International Conference on Communications, Circuits and Systems, 2005.

11 E. L. Allgower and K. Georg, Numerical Path Following, 1994.

12 K. Yamamura, “Simple algorithms for tracing solution curves,” IEEE Transactions on Circuits and Sys-tems I, vol. 40, no. 8, pp. 537–541, 1993.

13 M. Sosonkina, L. T. Watson, and D. E. Stewart, “Note on the end game in homotopy zero curve tracking,” ACM Transactions on Mathematical Software, vol. 22, no. 3, pp. 281–287, 1996.

14 A. Ushida and L. O. Chua, “Tracing solution curves of nonlinear equations with sharp turning points,” International Journal of Circuit Theory and Applications, vol. 12, no. 1, pp. 1–21, 1984.

(8)

Submit your manuscripts at

http://www.hindawi.com

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Mathematics

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporation http://www.hindawi.com

Differential Equations International Journal of

Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex Analysis

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Optimization

Journal of Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Combinatorics

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014 International Journal of Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied Analysis

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

The Scientific

World Journal

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Discrete Mathematics

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic Analysis

Referencias

Documento similar

“A new hybrid mode-matching/numerical method for the analysis of arbitrarily shaped inductive obstacles and discontinuities in rectangular waveguides,” IEEE Transactions on

Abstract —This paper extends some results for waveguide irises to obtain accurate design formulas for the design of circular waveguide irises in coupled-resonator rectangular

The technique combines the use of auxiliary ground planes, which cover two walls of the cavity, with a set of auxiliary linear distribution of sources employed to impose the

[ 35 ] To show the usefulness of the procedure presented in section 2.2 for the evaluation of the electromagnetic fields inside the capacitive structure, the total electric field

Labels to show the simulation data (speed and position block) ... Configuration parameters of the motor and driver subsystem ... Simulation of DC motor operation. Closed control

Then, since L u -homotopy pull-backs form a distinguished collection, according to condition (4) of Definition 1.1, the homotopy fibers of hocolim I π have the same homology type as

We show that all these results can be deduced from Theorem 2.3 and we obtain the same statement for certain quasi p-perfect groups of finite virtual mod p cohomology and also for

s|i| is a homotopy equivalence by the above, ηX is a homotopy equivalence by Milnor’s Theorem, and i is a weak equivalence, so ηX is a weak equivalence.. i is anodyne by