RELATED APPLICATIONS

This application is a continuation of, and incorporates by reference in its entirety, U.S. application Ser. No. 11/502,061, filed Aug. 9, 2006, which is a continuation of U.S. application Ser. No. 10/630,439, filed Jul. 29, 2003, now U.S. Pat. No. 7,124,069, which is a continuation of U.S. application Ser. No. 09/888,868, titled “METHOD AND APPARATUS FOR SIMULATING PHYSICAL FIELDS”, filed Jun. 25, 2001, now U.S. Pat. No. 6,665,849. U.S. Pat. No. 6,665,849: (1) claims the benefit of U.S. Provisional Application No. 60/213,764, filed Jun. 23, 2000; (2) claims the benefit of United Kingdom Application No. 0113039.2, titled “A METHOD ELECTRODYNAMIC MODELING OF ONCHIP BACKEND STRUCTURES”, filed May 30, 2001; and (3) is a continuationinpart of U.S. application Ser. No. 09/328,882, titled “A METHOD FOR LOCALLY REFINING A MESH”, filed Jun. 9, 1999, now U.S. Pat. No. 6,453,275, which claims the benefit of provisional Application No. 60/088,679, filed Jun. 9, 1998. All of the abovereferenced applications and patents are incorporated by reference in their entirety.
BACKGROUND OF THE INVENTION
Field of the Invention

The present invention relates to a method and apparatus for simulating fields especially electromagnetic fields, particularly useful in the context of analysis of interconnect structures, is presented.

Many problems in engineering, physics and chemistry require solving systems of partial differential equations of the type:

$\stackrel{>}{\nabla}\ue89e\xb7{\stackrel{>}{J}}^{\left(k\right)}+\frac{\partial {\rho}^{\left(k\right)}}{\partial \phantom{\rule{0.3em}{0.3ex}}\ue89et}={S}^{\left(k\right)};$

k being a positive whole number
In this equation (equation 1), J represents a flux of a substance under consideration whose density is given by ρ and S represents some external source/sink of the substance. To mention a few examples:

Electrical Engineering:

ρ is the charge density,

J is the current density,

S is the external charge source (recombination, generation, . . . )

Structural Engineering:

Computational Fluid Dynamics:

ρ^{(i)}=u^{(i) }the components of the fluid velocity field,

${J}^{\left(i\right)}=P\frac{\mu}{3}\ue89e\nabla \xb7{u}^{\left(i\right)}$

the pressure tensor,

${S}^{\left(i\right)}=\frac{\mu}{\rho}\ue89e{\nabla}^{2}\ue89e{u}^{\left(i\right)}+\frac{{F}^{\left(i\right)}}{m}$

the external force,

$\frac{\partial \rho}{\partial t}>\frac{\partial \rho}{\partial t}+\stackrel{>}{\nabla}\ue89e\xb7\stackrel{>}{u}$

the convective derivative.

The list is not exhaustive and there exist many examples where problems are reformulated in such a form that their appearance is as in equation (1). An important example is the Laplace equation and Poisson equation, in which

{right arrow over (J)}={right arrow over (∇)}ψ

is the derivative of a scalar field.

There have been presented a number of methods for solving a set of partial differential equations as given above. All numerical methods start from representing the continuous problem by a discrete problem on a finite set of representative nodes in the domain where one is interested in the solution. In other words a mesh is generated in a predetermined domain. The domain can be almost anything ranging from at least a part of or a crosssection of a car to at least a part of or a crosssection of a semiconductor device. For clarification purposes, the discussion is limited here to twodimensional domains and twodimensional meshes. This mesh comprises nodes and lines connecting these nodes. As a result, the domain is divided into twodimensional elements. The shape of the elements depends amongst others on the coordinate system that is chosen. If for example a Cartesian coordinate system is chosen) the twodimensional elements are e.g. rectangles or triangles. Using such a mesh, the domain can be introduced in a computer aided design environment for optimization purposes. Concerning the mesh, one of the issues is to perform the optimization using the appropriate amount of nodes at the appropriate location. There is a minimum amount of nodes required in order to ensure that the optimization process leads to the right solution at least within predetermined error margins. On the other hand, if the total amount of nodes increases, the complexity increases and the optimization process slows down or even can fail. Because at the start of the optimization process, the (initial) mesh usually thus not comprise the appropriate amount of nodes, additional nodes have to be created or nodes have to be removed. Adding nodes is called mesh refinement whereas removing nodes is called mesh coarsening. Four methods are discussed. As stated above, for clarification and simplification purposes the ‘language’ of two dimensions is used, but all statements have a translation to three or more dimensions.

The finitedifference method is the most straightforward method for putting a set of partial differential equations on a mesh. One divides the coordinate axes into a set of intervals and a mesh is constructed by all coordinate points and replaces the partial derivatives by finite differences. The method has the advantage that it is easy to program, due to the regularity of the mesh. The disadvantage is that during mesh refinement many spurious additional nodes are generated in regions where no mesh refinement is needed.

The finitebox method, as e.g. in A. F. Franz, G. A. Franz, S. Selberherr, C. Ringhofer and P. Markowich “Finite Boxes—A Generalization of the FiniteDifference Method Suitable for Semiconductor Device Simulation” IEEE Trans. on Elec. Dev. ED30, 1070 (1983), is an improvement of the finitedifference method, in the sense that not all mesh lines need to terminate at the domain boundary. The mesh lines may end at a side of a mesh line such that the mesh consists of a collection of boxes, i.e. the elements. However, numerical stability requires that at most one mesh line may terminate at the side of a box. Therefore mesh refinement still generates a number of spurious points. The issue of the numerical stability can be traced to the fivepoint finite difference rule that is furthermore exploited during the refinement.

The finiteelement method is a very popular method because of its high flexibility to cover domains of arbitrary shapes with triangles. The choice in favor of triangles is motivated by the fact that each triangle has three nodes and with three points one can parameterize an arbitrary linear function of two variables, i.e. over the element the solution is written as:

ψ(x,y)=a+b.x+c.y

In three dimensions one needs four points, i.e. the triangle becomes a tetrahedron. The assembling strategy is also element by element. Sometimes for CPU time saving reasons, one performs a geometrical preprocessing such that the assembling is done linkwise, but this does not effect the elementbyelement discretization and assembling. The disadvantage is that programming requires a lot of work in order to allow for submission of arbitrary complicated domains. Furthermore, adaptive meshing is possible but obtuse triangles are easily generated and one must include algorithms to repair these deficiencies, since numerical stability and numerical correctness suffers from obtuse triangles. As a consequence, mesh refinement and in particular adaptive meshing, generates in general spurious nodes.

The finiteelement method is not restricted to triangles in a plane. Rectangles (and cubes in three dimensions) have become popular. However, the trial functions are always selected in such a way that a unique value is obtained on the interface. This restriction makes sense for representing scalar functions ψ(x,y) on a plane.

In the boxintegration method, each node is associated with an area (volume) being determined by the nodes located at the closest distance from this node or in other words, the closest neighboring node in each direction. Next, the flux divergence equation is converted into an integral equation and using Gauss theorem, the flux integral of the surface of each volume is set equal to the volume integral at the right hand side of the equation, i.e. equation 1 becomes

${\int}_{\partial {\Omega}_{n}}\ue89e{\stackrel{\rightharpoonup}{J}}^{\left(i\right)}\xb7\stackrel{\rightharpoondown}{\uf74c}\ue89es={\int}_{{\Omega}_{n}}\ue89e\left({S}^{\left(i\right)}\frac{\partial {\rho}^{\left(i\right)}}{\partial t}\right)\ue89e{\uf74c}^{n}\ue89ex$

The assembling is done nodewise, i.e. for each node the surface integral is decomposed into contributions to neighboring nodes and the volume integral at the righthand side is approximated by the volume times the nodal value. The spatial discretization of the equation then becomes

$\sum _{k}\ue89e{J}_{\mathrm{lk}}\ue89e\frac{\partial {\Omega}_{\mathrm{lk}}}{{h}_{\mathrm{lk}}}=\left({S}_{1}^{\left(i\right)}\frac{\partial {\rho}_{l}^{\left(i\right)}}{\partial t}\right)\ue89e{\mathrm{\Delta \Omega}}_{1}$

The advantages/disadvantages of the method are similar as for the Finite element method because the control volumes and the finite elements are conjugate or dual meshes. Voronoi tessellation with the Delaunay algorithm is often exploited to generate the control volumes.

However, forming and refining the mesh is not the only problem facing the skilled person in the solution of field theory problems. For instance, the onchip interconnect structure in modern ULSI integrated circuits is a highly complex electromagnetic system. The full structure may connect more than one million transistors that are hosted on a silicon substrate, and containing up to seven metallization layers, and including interconnect splittings, curves, widenings, etc. A structure results with a pronounced threedimensional character. As a consequence, analytic solution methods have only limited applicability and numerical or computeraided design methods need to be used. The continuous downscaling of the pitch implies that parasitic effects become a major design concern. Furthermore, interconnect delay will soon become the main bottleneck for increasing the operation frequencies of the fully integrated circuit. These observations justify an indepth analysis of the interconnect problem based on the basic physical laws underlying the description of these systems. Whereas in the past it sufficed to extract the parasitic behavior from the lowfrequency values of the characteristic parameters, such as the resistance (R), capacitance (C) and inductance (L), knowledge about the modifications of these parameters due to fast variations in time of the fields, i.e. at high frequency, becomes mandatory. A generic method that allows one to obtain the frequency dependence of the characteristic parameters for an interconnect (sub) system has been a requirement for some time.

The highest frequency in which is currently of interest is 50 GHz, which corresponds to a shortest wavelength of the order of one centimeter. However, this is only a current limit. For most of the interconnects with submicron widths the characteristic width (length) of the structure is therefore much smaller than the wavelengths under consideration. In this regime one normally neglects the full displacement current, but this view must be refined depending upon the materials used [H. K. Dirks, QuasiStationary Fields for Microelectronic Applications, Electrical Engineering, 79, 145155, 1996]. Interconnect lines are typically parallel to the axes of a Cartesian grid Manhattan like geometry. Although this is no longer true for widenings and splittings in the lines and the vertical connections, i.e. cylindrical vias, most of the structure can be regarded in a first order approximation as consisting of straight orthogonal lines or bricks. The skin effect becomes important for the upper metallization levels where the width of the structures is larger than the skin depth for aluminum or copper, especially at the high frequency part of the spectrum. Eddy currents play an important role in the lossy semiconductor silicon substrate. It is desirable to formulate the equations for the interconnect system in a language that is familiar to the interconnectdesigner community. In particular, variables such as the Poisson field should have their usual meaning. For timedependent fields it can be achieved by selecting a specific gauge fixing. In particular, in the Coulomb gauge, the Poisson equation remains unaltered. The natural choice for the description of interconnect systems is the one that uses the electric scalar potential and the magnetic vector potential. Small signal analysis (AC analysis) has been a successful tool for extracting compact model parameters for devices [S. E. Laux, Techniques for SmallSignal Analysis of Semiconductor devices, IEEE trans. on computeraided design, 4, 472481, 1985]. Recently good results were obtained in using smallsignal analysis [S. Jenei, private communication, 2000] for the extraction of compact model parameters for the Hasagawa system [H. Hasegawa et al. IEEE Trans. on Microwave Theory and Techniques vol. MTT19, 869, 1971] and similar methods are currently exploited for the design of spiral inductors.

Numerical analysis is well known to the skilled person, e.g. “The finite element method”, Zienkiewicz and Taylor, ButterworthHeinemann, 2000 or “Numerical Analysis”, Burden and Faires, Brooks/Cole, 2001. Conventional finite difference numerical analysis solves threedimensional field theory problems that contain the magnetic vector potential by superimposing three scalar fields, representing this vector potential, whereby each scalar value is located at a node of a mesh. Finite difference methods convert partial differential equations into algebraic equations for each node based on finite differences between a node of interest and a number of neighbors. These methods introduce three types of errors. Firstly, there is the error caused by solving for a discrete mesh, which is only an approximation to a continuum. The smaller the mesh the higher the accuracy. Secondly, the finite difference methods require an iterative solution, which is terminated after a certain time—this implies a residual error. Thirdly, the superposition of three scalar fields is only an accurate representation of vector fields when the mesh size is so small that moving from one node to the next in one direction is associated with a negligible change in the field values in the other two dimensions. In such a case small changes of dimension in one direction may be considered as if the values of the field in the other two are constant. Where there are strongly varying fields this criterion can only be met where the mesh spacing is very small, i.e. there are a large number of nodes. Computational intensity increases rapidly with the number of nodes. To a certain extent the computational intensity can be reduced by modifying the size of mesh so that a tight mesh is only used where the divergence of the field requires this. However, varying mesh sizes places limitations on the continuity of the solution resulting in unnecessary nodes being created to provide sufficiently gradual changes. Hence, conventionally a large amount of storage space and highpowered computers are required to achieve an accurate result in a reasonable amount of time.
AIM OF THE INVENTION

It is an aim of the present invention to provide numerically stable methods and apparatus implementing these methods for simulating (i.e. calculating) field problems, e.g. electromagnetic fields.

It is a further aim of the present invention to provide numerically stable methods and apparatus implementing these methods for simulating (i.e. calculating) field problems, e.g. electromagnetic fields which requires less storage space and preferably less computational intensity.
SUMMARY OF THE INVENTION

The present invention provides a consistent solution scheme for solving field problems especially electromagnetic modeling that is based upon existing semiconductor techniques. A key ingredient in the latter ones is the numerical solutions method based on a suitable finite difference method such as the NewtonRaphson technique for solving nonlinear systems. This technique requires the inversion of large sparse matrices, and of course numerical stability demands that the inverse matrices exist. In particular, the finite difference matrix, e.g. a NewtonRaphson matrix should be square and nonsingular. The present invention provides a generic method for solving field problems, e.g. simulating electromagnetic fields, and is designed for numerical stability, in particular the solution of partial differential equations by numerical methods.

It is an aspect of the invention that it is recognized that in order to obtain a consistent discretization scheme, meaning leading to numerical fit calculations, a dummy transformation field, also denoted gauge transformation field or auxiliary gauge field can be introduced as a dummy field and can ease computation. The dummy field can be introduced due to the nonuniqueness of the electric and magnetic potentials describing the underlying physical phenomena.

It is an aspect of the invention that it is recognized that in order to obtain a consistent discretization scheme special caution is taken in the translation of the continuous field equations onto the discrete lattice, comprising of nodes and links.

With the generic method highfrequency parasitic effects and the frequency dependence of the characteristic parameters for an interconnect (sub) system can be studied but the method is not limited thereto.

The present invention provides a method for numerical analysis of a simulation of a physical system, the physical system being describable by field equations in which a parameter is identifiable as a oneform and solving for a field equation corresponding to the parameter results in a singular differential operation, the method comprising:

 directly solving the field equations modified by addition of a dummy field by numerical analysis, and
 outputting at least one parameter relating to a physical property of the system.

The method can be formalized as follows: a method for simulating fields in or about a device, said method comprising the steps of:

 modifying the set of field equations expressed in terms of the vector potential of said fields to a set of modified field equations expressed in terms of the vector potential of said inductive fields and a dummy field; and
 directly solving the set of modified field equations in order to obtain the vector potential and said dummy field.

The output of the method is a field related parameter of the device, e.g. an electromagnetic parameter of the device such as a field strength, a resistivity, an inductance, a magnetic field strength, an electric field strength, an energy value. The field equations of the above method may be the Maxwell equations. The dummy field is preferably a scalar field.

The present invention also provides a method for numerical analysis of a simulation of a physical system, the physical system being describable by Maxwell's field equations of which the following is a representation:

$\begin{array}{cc}\nabla \times \left(\frac{1}{\mu}\ue89e\nabla \times A\right)=J\varepsilon \ue89e\frac{\partial}{\partial t}\ue89e\left(\nabla V+\frac{\partial A}{\partial t}\right)& \left(1\right)\\ \nabla \xb7A=0& \left(2\right)\\ \nabla \left(\varepsilon \ue89e\nabla V\right)=\rho & \left(3\right)\\ E=\nabla V\frac{\partial A}{\partial t}& \left(4\right)\\ B=\nabla \times A& \left(5\right)\end{array}$

Where J and ρ are generic functions of the fields, i.e.

J=J(E,B,t) (6)

ρ=ρ(E,B,t) (7)

the method comprising:

 directly solving the field equations modified by addition of a dummy field by numerical analysis, the dummy field removing a singularity in the numerical analysis, and
 outputting at least one parameter relating to a physical property of the system.

The physical property may be any of the following nonlimiting list: an electric current, a current density, a voltage difference, an electric field value, a plot of an electric field, magnetic field value, a plot of a magnetic field, a resistance or a resistivity conductance or a conductivity, a susceptance or a susceptibility, an inductance, an admittance, a capacitance, a charge, a charge density, an energy of an electric or magnetic field, a permittivity, a heat energy, a noise level induced in any part of a device caused by electromagnetic fields, a frequency.

The above methods also include a step refining a mesh used in the numerical analysis in accordance with an embodiment of the present invention.

The present invention may provide an apparatus for numerical analysis of a simulation of a physical system, the physical system being describable by field equations in which a parameter is identifiable as a oneform and solving for a field equation corresponding to the parameter results in a singular differential operation, the apparatus comprising: means for solving by numerical analysis a modification of the field equations, the modification being an addition of a dummy field, and means for outputting at least one parameter relating to a physical property of the system.

The present invention may also provide an apparatus for numerical analysis of a simulation of a physical system, the physical system being describable by Maxwell's field equations of which the following is a representation:

$\begin{array}{c}\nabla \times \left(\frac{1}{\mu}\ue89e\nabla \times A\right)=J\varepsilon \ue89e\frac{\partial}{\partial t}\ue89e\left(\nabla V+\frac{\partial A}{\partial t}\right)\\ \nabla \xb7A=0\\ \nabla \left(\varepsilon \ue89e\nabla V\right)=\rho \\ E=\nabla V\frac{\partial A}{\partial t}\\ B=\nabla \times A\end{array}$

where

J=J(E,B,t)

ρ=ρ(E,B,t)

the apparatus comprising:

 means for directly solving the field equations modified by addition of a dummy field by numerical analysis, the dummy field being added to remove a singularity during the numerical analysis, and
 means for outputting at least one parameter relating to a physical property of the system.

The present invention may include a data structure for use in numerical analysis of a simulation of a physical system, the physical system being describable by field equations in which a parameter is identifiable as a oneform and solving for a field equation corresponding to the parameter results in a singular differential operation, the field equations being modified by addition of a dummy field, wherein the data structure comprises the simulation of the physical system as a representation of an ndimensional mesh in a predetermined domain of the physical system, the mesh comprising nodes and links connecting these nodes thereby dividing said domain in ndimensional first elements whereby each element is defined by 2^{n }nodes, the data structure being stored in a memory and comprising representations of the nodes and the links between nodes, the data structure also including definitions of a parameter of the dummy field associated with the nodes of the mesh.

A data structure for use in numerical analysis of a simulation of a physical system, the physical system being describable by Maxwell's field equations of which the following is a representation:

$\begin{array}{c}\nabla \times \left(\frac{1}{\mu}\ue89e\nabla \times A\right)=J\varepsilon \ue89e\frac{\partial}{\partial t}\ue89e\left(\nabla V+\frac{\partial A}{\partial t}\right)\\ \nabla \xb7A=0\\ \nabla \left(\varepsilon \ue89e\nabla V\right)=\rho \\ E=\nabla V\frac{\partial A}{\partial t}\\ B=\nabla \times A\end{array}$

where

J=J(E,B,t)

ρ=ρ(E,B,t)

 the field equations being modified by addition of a dummy field, wherein the data structure comprises the simulation of the physical system as a representation of an ndimensional mesh in a predetermined domain of the physical system, the mesh comprising nodes and links connecting these nodes thereby dividing said domain in ndimensional first elements whereby each element is defined by 2^{n }nodes, the data structure being stored in a memory and comprising representations of the nodes and the links between the nodes, the data structure also including definitions of the vector potential A associated with the links of the mesh.

The present invention also includes a program storage device readable by a machine and encoding a program of instructions for executing any of the methods of the present invention.

The present invention also includes a computer program product for numerical analysis of a simulation of a physical system, the physical system being describable by field equations in which a parameter is identifiable as a oneform and solving for a field equation corresponding to the parameter results in a singular differential operation, the computer program product comprising: code for solving the field equations modified by addition of a dummy field by numerical analysis, and code for outputting at least one parameter relating to a physical property of the system.

The present invention also includes a computer program product for numerical analysis of a simulation of a physical system, the physical system being describable by Maxwell's field equations of which the following is a representation:

$\begin{array}{c}\nabla \times \left(\frac{1}{\mu}\ue89e\nabla \times A\right)=J\varepsilon \ue89e\frac{\partial}{\partial t}\ue89e\left(\nabla V+\frac{\partial A}{\partial t}\right)\\ \nabla \xb7A=0\\ \nabla \left(\varepsilon \ue89e\nabla V\right)=\rho \\ E=\nabla V\frac{\partial A}{\partial t}\\ B=\nabla \times A\end{array}$

where

J=J(E,B,t)

ρ=ρ(E,B,t)

the computer program product comprising

 code for solving the field equations modified by addition of a dummy field by numerical analysis, and
 code for outputting at least one parameter relating to a physical property of the system.

The present invention also includes a method for numerical analysis of a simulation of a physical system, comprising: transmitting from a near location a description of the physical system to a remote location where a processing engine carries out any of the method in accordance with the present invention, and receiving at a near location at least one physical parameter related to the physical system. The modified field equations are:

$\begin{array}{cc}\nabla \times \left(\frac{1}{\mu}\ue89e\nabla \times A\right)\gamma \ue89e\nabla \chi =J\varepsilon \ue89e\frac{\partial}{\partial t}\ue89e\left(\nabla V+\frac{\partial A}{\partial t}+\frac{\partial \nabla \chi}{\partial t}\right)& \left(8\right)\\ \nabla \xb7A+{\nabla}^{2}\ue89e\chi =0& \left(9\right)\\ \nabla \left(\varepsilon \ue89e\nabla V\right)=\rho & \left(10\right)\\ E=\nabla \left(V+\frac{\partial \chi}{\partial t}\right)\frac{\partial A}{\partial t}& \left(11\right)\\ B=\nabla \times \left(A+\mathrm{\Delta \chi}\right)& \left(12\right)\end{array}$

where γ is nonzero a scaling factor, which guarantees matching of dimensions.

In the present invention the introduction of the dummy field represented by χ preferably does not modify the vector potential A found from the solution of the modified field equations when compared with the vector potential found from solution of the unmodified field equations. The accuracy of the method may be checked by comparing known algebraic solutions of simple fields with the solution of the method according to the present invention.

In the method the step of directly solving the set of modified field equations is performed by discretizing the set of modified field equations onto a mesh with nodes and links between said nodes. For example, the mesh can be a Cartesian mesh. In particular, in the method the vector potential is defined on the links of the mesh. The advantage of associating a field vector with the links and not with the nodes results from the fact that links define a direction given inherently by the form of the mesh. Hence, a field vector field is associated with an atomic vector element of the mesh. This is a more accurate simulation than using the superposition of scalar fields to simulate a field vector. The present invention makes advantageous use of vector elements in the mesh to solve the field equations more accurately. This reduces the number of nodes required to achieve a certain accuracy. This also means that the amount of memory required is reduced as well as speeding up the calculation time.

In the method the dummy field is also defined on the nodes of the mesh as it is a scalar field. That is in the finite difference method the nodes are used as the reference points for values of the dummy field. In the method other terms in the modified field equations are expressed in terms of the vector potential and the dummy field. In the method the curlcurl operation on a vector potential on a link is expressed in function of the vector potential on the link and the vector potentials on neighboring links of this link. The curlcurl operation on a vector potential on a link is expressed in function of the vector potential on the link and the vector potentials on links, defined by wings with said link.

In the method the step of directly solving can exploit a NewtonRaphson procedure for solving nonlinear equations. In this case it is preferred to select the dummy field in order to have square nonsingular matrices in the NewtonRaphson procedure.

In the method the boundary conditions may be determined by solving a Maxwell equation in a space with 1 dimension less than the space in which the original field equations are solved.

In a further aspect of the invention a method, i.e. the socalled CubeAssembling Method (CAM), is disclosed for locally refining a ndimensional mesh in a predetermined domain, wherein the mesh comprises nodes and n−1 planes connecting these nodes thereby dividing said domain in ndimensional first elements. This method may be advantageously combined with other embodiments of the invention for the solution of field theory equations. The domain can be almost anything ranging from at least a part of a car to at least a part of a semiconductor device. For clarification purposes, the present invention will be described with reference to twodimensional domains and twodimensional meshes but the present invention is not limited thereto. The shape of the elements depends amongst others on the coordinate system, which is chosen. By applying a mesh on a domain, the domain can be introduced in a computer aided design environment for optimization purposes. Concerning the mesh, one of the issues is to perform the optimization using the appropriate amount of nodes at the appropriate location. There is a minimum amount of nodes required in order to ensure that the optimization process leads to the right solution at least within predetermined error margins. On the other hand, if the total amount of nodes increases, the complexity increases and the optimization process slows down or even can fail. Because at the start of the optimization process, the (initial) mesh usually thus not comprise the appropriate amount of nodes, additional nodes have to be created or nodes have to be removed during the optimization process. Adding nodes is called mesh refinement whereas removing nodes is called mesh coarsening. The method of the present invention succeeds in adding or removing nodes locally. The assembling is done over the elements, being e.g. squares or cubes or hypercubes dependent of the dimension of the mesh. Like the finitebox method, the CAM method is easy to program, even in higher dimensions. However, the CAM method does not suffer from the restriction that only one line may terminate at the side of a box.

According to this aspect of the invention, a method is disclosed for locally refining a ndimensional mesh in a predetermined domain, wherein the mesh comprises nodes and n−1 planes connecting these nodes thereby dividing said domain in ndimensional first elements whereby each element is defined by 2^{n }nodes, said method comprising at least the steps of

 creating a first additional node inside at least one of said first elements by completely splitting said first element in exactly 2^{n }ndimensional second elements in such a manner that said first additional node forms a corner node of each of said second elements which results in the replacement of said first element by said 2^{n }ndimensional second elements; and
 creating a second additional node inside at least one of said second elements by completely splitting said second element in exactly 2^{n }ndimensional third elements in such a manner that said second additional node forms a corner node of each of said third elements which results in the replacement of said second element by said 2^{n }ndimensional third elements.

In an embodiment of the invention after the mesh is locally refined, this mesh is locally coarsened.

In another embodiment of the invention, the refinement is based on an adaptive meshing strategy.

In another aspect of the invention, a program storage device is disclosed storing instructions that when executed by a computer perform the method for locally refining a ndimensional mesh in a predetermined domain, wherein the mesh comprises nodes and n−1 planes connecting these nodes thereby dividing said domain in ndimensional first elements whereby each element is defined by 2^{n }nodes, said method comprising at least the steps of

 creating a first additional node inside at least one of said first elements by completely splitting said first element in exactly 2^{n }ndimensional second elements in such a manner that said first additional node forms a corner node of each of said second elements which results in the replacement of said first element by said 2^{n }ndimensional second elements; and
 creating a second additional node inside at least one of said second elements by completely splitting said second element in exactly 2^{n }ndimensional third elements in such a manner that said second additional node forms a corner node of each of said third elements which results in the replacement of said second element by said 2^{n }ndimensional third elements.

In an aspect of the invention a method is disclosed for optimizing of a predetermined property of a ndimensional structure, said method comprising the steps of:

 creating a ndimensional mesh on at least a part of said structure; said mesh containing nodes and n−1 planes connecting these nodes thereby dividing said domain in ndimensional first elements whereby each element is defined by 2^{n }first element;
 refining said ndimensional mesh by creating a first additional node inside at least one of said first elements by completely splitting said first element in exactly 2^{n }ndimensional second elements in such a manner that said first additional node forms a corner node of each of said second elements which results in the replacement of said first element by said 2^{n }ndimensional second elements;
 further refining said ndimensional mesh by creating a second additional node inside at least one of said second elements by completely splitting said second element in exactly 2^{n }ndimensional third elements in such a manner that said second additional node forms a corner node of each of said third elements which results in the replacement of said second element by said 2^{n }ndimensional third elements; and
 where said ndimensional mesh is used to create an improved structure.

In an embodiment of the invention said structure improvements are based on extracting said property from structure characteristics, determined at a subset of said nodes of said mesh.

In a further embodiment of the invention said structure characteristics are determined by solving the partial differential equations, describing the physical behavior of said structure, on said mesh.

The present invention will now be described with reference to the following drawings.
BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 shows a schematic representation of a computing device which may be used with the present invention.

FIG. 2 shows placement of field variables to be solved on a Cartesian grid in accordance with an embodiment of the present invention.

FIG. 3 shows the assembly of the curlcurloperator using 12 contributions of neighboring links in accordance with an embodiment of the present invention.

FIG. 4 shows the assembly of the divgradoperator using 6 contributions of neighboring nodes in accordance with an embodiment of the present invention.

FIGS. 5A and 5B shows how the boundary conditions of the Bfield outside the simulation domain is determined in accordance with an embodiment of the present invention.

FIG. 6 shows the numbering applied in a 2×2×2 cube case in accordance with an embodiment of the present invention.

FIG. 7 shows the Bfield of a current on a wire.

FIG. 8 shows a magnetic field around a straight conductor, as calculated numerically (+) in accordance with an embodiment of the present invention, compared with the exact (−) algebraic solution.

FIG. 9 shows how the node pointers are arranged logically in a data structure according to an embodiment of the present invention.

FIG. 10 shows how the link pointers are arranged logically in a data structure according to an embodiment of the present invention.

FIG. 11 shows how the cube pointers are arranged logically in a data structure according to an embodiment of the present invention.

FIG. 12 shows the layout of a metal plug on a highly doped semiconductor used to demonstrate the methods according to the present invention.

FIG. 13 shows doping in the semiconductor region of the metal on the highlydoped semiconductor plug.

FIGS. 14 and 15 show magnetic field plots of the static solution seen in perspective from the top and bottom plane.

FIG. 16 shows a layout of two crossing wires used to demonstrate the methods of the present invention.

FIG. 17 a layout of a square coax structure used to demonstrate the methods of the present invention.

FIG. 18 a layout of a spiral inductor structure used to demonstrate the methods of the present invention.

FIG. 19 shows the magnetic field strength in the plane of the spiral conductor of FIG. 18 as calculated by a method of the present invention.

FIGS. 20A and 20B depict the assembling strategy, according to an embodiment of the invention. The flux in link ab is composed of two parts: a contribution from the lower rectangle (element) and a contribution from the upper rectangle (element).

FIG. 21 depicts a mesh according to an embodiment of the invention, wherein each node is associated with an area, i.e. the black area, being determined by the nodes located at the closest distance from this node or in other words, the closest neighboring node in each direction. Each node is connected to at most eight different nodes in the mesh.

FIGS. 22A, 22B and 22C depict an initial mesh and this mesh after a first and a second local refinement according to an embodiment of the invention.

FIG. 23 depicts a transition of a mesh based on a first orthogonal coordinate system to a mesh based on another orthogonal coordinate system using the method of the present invention.

FIG. 24 depicts the node balance assembling technique according to an embodiment of the invention.

FIG. 25 depicts the structure layout of the diode.

FIG. 26 depicts the initial square mesh of the diode.

FIG. 27 depicts the square mesh after 1 adaption sweep.

FIG. 28 depicts the square mesh after 2 adaption sweep.

FIG. 29 depicts the square mesh after 3 adaption sweep.

FIG. 30 depicts the square mesh after 4 adaption sweep.

FIG. 31 depicts the square mesh after 5 adaption sweep.

FIG. 32 depicts the square mesh after 6 adaption sweep.

FIG. 33 depicts the currentVoltage plot.

FIG. 34 is a flowchart.

FIG. 35 is a block diagram.

FIG. 36 is a flowchart.

FIG. 37 is a flowchart.
DETAILED DESCRIPTION OF ILLUSTRATIVE EMBODIMENTS

The present invention will be described with reference to certain embodiments and drawings but the present invention is not limited thereto but only by the claims. In particular, the present invention will be described with reference to the solution of electromagnetic field problems especially those associated with semiconductor devices but the skilled person will appreciate that the present invention has application to the solution of field theory problems in general and to the solution of partial differential equations in general.

Without being limited by theory, embodiments of the present invention relating to the solution of electromagnetic field equations are based on the following observations. The Maxwell equations formulated in terms of E and B allow for a geometrical interpretation analogous to fluid dynamics. In this picture the electric field E is a oneform, in other words a numerical value is assigned to each path in space. The numerical value corresponds to the work done by the electric field when a charge would move along the path. The magnetic field B is a twoform i.e. a numerical value is assigned to each area element that counts the number Bfield flux lines (flows) that pass through the area element.

There is a different and more abstract geometrical interpretation of electrodynamics. The fields E and B can be expressed as derivatives of a scalar V and vector potential A:

$E=\nabla V\frac{\partial A}{\partial t}$
$B=\nabla \times A$

Now the fields E and B can be viewed as the curvature of a space. This is the space of phases that may be assigned to quantum fields. This curvature interpretation is lacking in the older geometrical picture of electrodynamics.

In order to detect the strength of the electromagnetic field it suffices to go around an infinitesimal loop and measure the mismatch between the starting value of the phase factor and the end value of the phase factor. In analytic calculations this interpretation has no serious consequences because these calculations are based comparing infinitesimal changes in the variables going from one position to another. Therefore, the vector potential can be regarded as a field i.e. its dependence on the spacetime variables is only local. However, in a computer calculations are made using a grid or mesh of nodes and links and neighboring positions (grid nodes) are always a finite distance apart. Therefore, the round trip along a closed loop for detecting the electromagnetic field consists of line segments that are also of finite length. The phase factor of each line segment depends on the details of the path and therefore the assignment of the vector potential, in accordance with an aspect of the present invention, is done to these paths. In fact, the exact connection between the phase factor, the path C and the vector potential reads as:

$\varphi \ue8a0\left[\mathrm{path}\ue89e\phantom{\rule{0.8em}{0.8ex}}\ue89eC,A\right]=\mathrm{exp}\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\frac{\uf74e}{\hslash}\ue89e{\int}_{C}\ue89eA\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cx$

Only in the limit of the mesh size going to zero are there no serious consequences. However, the use of very small mesh sizes increases the memory requirement as well as the time for processing all these nodes in a finite difference scheme. Determining the limit as the mesh size goes to zero is not practical in numerical analysis. The present invention presents new solutions of the Maxwell equations arising from the new geometrical interpretation (and any other field equations having similar singularity problems) using the numerical analysis of finite mesh sizes.

The new geometrical interpretation of electrodynamics requires assignment of the vector potential A to the links which are the path segments of the grid in the following way:

A
_{ij}
≈A·Δx

where ij refers to the link between the two neighboring nodes i and j. The vector A is represented by its projections onto the three axes x, y, z and a value is assigned to each mesh link in these directions. Hence, the vectorial nature of A is maintained by assigning it to a link which itself is a vector. The present invention therefore makes advantageous use of the inherent vectorial nature of a grid of nodes and links in numerical analysis.

In general, if a parameter can be defined as a oneform, i.e. a mapping from a line segment to a number, then this parameter should be represented in the computer code as a variable assigned to the links of the grid. This observation can be widened even more: If a parameter can be identified as a twoform it should be assigned to the area elements (plaquettes) of the grid, and if a parameter can be identified as a threeform it should be assigned to volume elements of the grid. A reference providing technical background information of the above geometrical representations is “The Geometry of Physics”, Theodore Frankel, Cambridge Univ. Press, 1997.

However, there remains a serious difficulty. The Maxwell equations formulated in terms of the potentials V and A, exhibit a singular behavior with respect to the inversion of the full differential operators. The fact that the differential operator is singular indicates an underlying symmetry. This symmetry is eliminated in accordance with an aspect of the present invention by symmetry breaking conditions. In the present invention a method based on a dummy or auxiliary field (χ), is described to convert the singular behavior of the differential operator into a regular differential operator without altering the physical content of the system of equations.

Summarizing: if a parameter can be identified as a oneform and the corresponding coupling between nearest neighbor nodes of a mesh used for numerical analysis results in a singularity problem, the singularity may be alleviated by the inclusion of an auxiliary parameter without altering the physical realization (solution) of the inversion problem.

FIG. 1 is a schematic representation of a computing system which can be utilized with the methods and in a system according to the present invention. A computer 10 is depicted which may include a video display terminal 14, a data input means such as a keyboard 16, and a graphic user interface indicating means such as a mouse 18. Computer 10 may be implemented as a general purpose computer, e.g. a UNIX workstation.

Computer 10 includes a Central Processing Unit (“CPU”) 15, such as a conventional microprocessor of which a Pentium III processor supplied by Intel Corp. USA is only an example, and a number of other units interconnected via system bus 22. The computer 10 includes at least one memory. Memory may include any of a variety of data storage devices known to the skilled person such as randomaccess memory (“RAM”), readonly memory (“ROM”), nonvolatile read/write memory such as a hard disc as known to the skilled person. For example, computer 10 may further include randomaccess memory (“RAM”) 24, readonly memory (“ROM”) 26, as well as an optional display adapter 27 for connecting system bus 22 to an optional video display terminal 14, and an optional input/output (I/O) adapter 29 for connecting peripheral devices (e.g., disk and tape drives 23) to system bus 22. Video display terminal 14 can be the visual output of computer 10, which can be any suitable display device such as a CRTbased video display wellknown in the art of computer hardware. However, with a portable or notebookbased computer, video display terminal 14 can be replaced with a LCDbased or a gas plasmabased flatpanel display. Computer 10 further includes user interface adapter 19 for connecting a keyboard 16, mouse 18, optional speaker 36, as well as allowing optional physical value inputs from physical value capture devices such as sensors 40 of an external system 20. The sensors 40 may be any suitable sensors for capturing physical parameters of system 20. These sensors may include any sensor for capturing relevant physical values required for solution of the field problems, e.g. temperature, pressure, fluid velocity, electric field, magnetic field, electric current, voltage. Additional or alternative sensors 41 for capturing physical parameters of an additional or alternative physical system 21 may also connected to bus 22 via a communication adapter 39 connecting computer 10 to a data network such as the Internet, an Intranet a Local or Wide Area network (LAN or WAN) or a CAN. This allows transmission of physical values or a representation of the physical system to be simulated over a telecommunications network, e.g. entering a description of a physical system at a near location and transmitting it to a remote location, e.g. via the Internet, where a processor carries out a method in accordance with the present invention and returns a parameter relating to the physical system to a near location.

The terms “physical value capture device” or “sensor” includes devices which provide values of parameters of a physical system to be simulated. Similarly, physical value capture devices or sensors may include devices for transmitting details of evolving physical systems. The present invention also includes within its scope that the relevant physical values are input directly into the computer using the keyboard 16 or from storage devices such as 23.

A parameter control unit 37 of system 20 and/or 21 may also be connected via a communications adapter 38. Parameter control unit 37 may receive an output value from computer 10 running a computer program for numerical analysis in accordance with the present invention or a value representing or derived from such an output value and may be adapted to alter a parameter of physical system 20 and/or system 21 in response to receipt of the output value from computer 10. For example, the dimension of one element of a semiconductor device may be altered based on the output, a material may be changed, e.g. from aluminium to copper, or a material may be modified, e.g. a different doping level in a semiconductor layer, based on the output.

Computer 10 also includes a graphical user interface that resides within machinereadable media to direct the operation of computer 10. Any suitable machinereadable media may retain the graphical user interface, such as a random access memory (RAM) 24, a readonly memory (ROM) 26, a magnetic diskette, magnetic tape, or optical disk (the last three being located in disk and tape drives 23). Any suitable operating system and associated graphical user interface (e.g., Microsoft Windows) may direct CPU 15. In addition, computer 10 includes a control program 51 which resides within computer memory storage 52. Control program 51 contains instructions that when executed on CPU 15 carry out the operations described with respect to any of the methods of the present invention.

Those skilled in the art will appreciate that the hardware represented in FIG. 1 may vary for specific applications. For example, other peripheral devices such as optical disk media, audio adapters, or chip programming devices, such as PAL or EPROM programming devices wellknown in the art of computer hardware, and the like may be utilized in addition to or in place of the hardware already described.

In the example depicted in FIG. 1, the computer program product (i.e. control program 51) can reside in computer storage 52. However, it is important that while the present invention has been, and will continue to be, that those skilled in the art will appreciate that the mechanisms of the present invention are capable of being distributed as a program product in a variety of forms, and that the present invention applies equally regardless of the particular type of signal bearing media used to actually carry out the distribution. Examples of computer readable signal bearing media include: recordable type media such as floppy disks and CD ROMs and transmission type media such as digital and analogue communication links.

In one embodiment, the computer 10 includes certain components that can comprise hardware, software, or a combination thereof. For example, the computer 10 includes a solving component for solving equations and an outputting for outputting data.
Maxwell Equations

The interconnect modeling directly relies upon the Maxwell equations, that describe the temporal and spatial evolution of the electromagnetic fields in media.

Gauss' Law

∇·D=ρ (13)

Absence of Magnetic Monopoles

∇·B=0 (14)

MaxwellFaraday

$\begin{array}{cc}\nabla \times E=\frac{\partial B}{\partial t}& \left(15\right)\end{array}$

MaxwellAmpère

$\begin{array}{cc}\nabla \times H=J+\frac{\partial D}{\partial t}& \left(16\right)\end{array}$

where D, E, B, H, J and ρ denote the electrical induction, the electric field, the magnetic induction, the magnetic field, the current density and the charge density, respectively.
Constitutive Laws

The following constitutive equations relate the inductances to the field strengths:

B=μH (17)

D=εE (18)

The constitutive equation that relates the current J to the electric field and the current densities, is determined by the medium under consideration. For a conductor the current J is given by Ohm's law.

J=σE (19)

where the current density satisfies the currentcontinuity equation:

$\begin{array}{cc}\nabla \xb7J+\frac{\partial \rho}{\partial t}=0& \left(20\right)\end{array}$

In a dielectric there are no free charges. As a simplifying approximation, the case will be considered of a dielectric medium whose lossy effects can be neglected. In this case, no current continuity equations need to be solved in the dielectric materials and their dielectric constants may be assumed to be real. Although this is a severe restriction, the dielectric materials that are used in backend processing of semiconductor devices are sufficiently robust against energy absorption, in order to preserve signal integrity at the frequencies under consideration [A. Von Hippel, Dielectric materials and applications, Artech House, Boston, 1995]. In the semiconducting regions, the current J consists of negatively and positively charged carrier currents obeying the current continuity equations.

$\begin{array}{cc}\nabla \xb7{J}_{n}q\ue89e\frac{\partial n}{\partial t}=U\ue8a0\left(n,p\right)& \left(21\right)\\ \nabla \xb7{J}_{p}+q\ue89e\frac{\partial p}{\partial t}=U\ue8a0\left(n,p\right)& \left(22\right)\end{array}$

In here, the charge and current densities are

ρ=q(p−n+N _{D} −N _{A}) (23)

J _{n} =qμ _{n} nE+kTμ _{n} ∇n (24)

J _{p} =qμ _{p} pE−kTμ _{p} ∇p (25)

J=J _{n} +J _{p} (26)

and U(n,p) is the generation/recombination of charge carriers. The current continuity equations provide the solution of the variables n and p. Note that the permittivity ε in equation 18 is real whereas, for the applications envisaged, it may be safely assumed in the following that the structure is nonmagnetic, i.e. μ may be assumed to be equal to μ_{0}).
Potential Description

In order to implement the equations into software algorithms, an electric scalar potential V and a magnetic vector potential A is introduced in the following way. From equation 14 the magnetic induction B may be written as

B=∇×(A+∇χ) (27)

where χ is an arbitrary scalar field. The presence of the field χ is clearly mathematically redundant since ∇×(∇χ)=0. Moreover, ∇χ can be absorbed in the vector potential A.

As will demonstrated in section on the discretization scheme, the field χ is a key ingredient to set up a consistent discretization scheme. Inserting equation 27 into equation 15 yields:

$\begin{array}{cc}\nabla \times \left(E+\frac{\partial A}{\partial t}+\frac{\partial \nabla \chi}{\partial t}\right)=0\ue89e\text{}\ue89e\mathrm{whence}& \left(28\right)\\ \begin{array}{c}E=\nabla V\frac{\partial A}{\partial t}\frac{\partial \nabla \chi}{\partial t}\\ =\nabla \left(V+\frac{\partial \chi}{\partial t}\right)\frac{\partial A}{\partial t}\end{array}& \left(29\right)\end{array}$

where the last equality reflects the arbitrariness in the definition of the scalar potential V. Insertion of equations 27 and 29 into the remaining Maxwell equations 13 and 16 gives:

$\begin{array}{cc}\nabla \xb7\left(\varepsilon \ue89e\nabla V+\varepsilon \ue89e\frac{\partial A}{\partial t}+\varepsilon \ue89e\frac{\partial \nabla \chi}{\partial t}\right)=\rho & \left(30\right)\\ \frac{1}{\mu}\ue89e\nabla \times \left(\nabla \times A\right)\gamma \ue89e\nabla \chi =J\varepsilon \ue89e\frac{\partial}{\partial t}\ue89e\left(\nabla V+\frac{\partial A}{\partial t}+\frac{\partial \nabla \chi}{\partial t}\right)& \left(31\right)\end{array}$

where γ is a scaling factor, which should be nonzero, e.g. 1 or −1. Since A is not uniquely determined, an appropriate gauge still has to be chosen. In order to maintain a connection to the usual language and syntax of the static modeling of interconnects, a generalized Coulomb gauge such that Poisson's equation is recovered may be chosen:

∇·A+∇ ^{2}χ=0 (32)

The basic equations can now be summarized as

$\begin{array}{cc}\nabla \xb7\left(\varepsilon \ue89e\nabla V\right)=\rho & \left(33\right)\\ \frac{1}{\mu}\ue89e\nabla \times \left(\nabla \times A\right)\gamma \ue89e\nabla \chi =J\varepsilon \ue89e\frac{\partial}{\partial t}\ue89e\left(\nabla V+\frac{\partial A}{\partial t}+\frac{\partial \nabla \chi}{\partial t}\right)& \left(34\right)\end{array}$

It should be stressed that so far no approximations have been made. The regular Coulomb gauge corresponds to χ=0 and is convenient for analytic calculations. In particular, after manipulating the term ∇×∇×A as −∇^{2}A+∇(∇.A), the last term vanishes and equation 34 becomes

−∇^{2} A=μ _{0}(J+J _{D}) (35)

where J_{D }is the displacement current. Analytic solution schemes address equation 35 as a threefold Poisson equation. This approach is usually sustained in numerical solution schemes, distributing the three components A_{x}, A_{y}, A_{z}, over the nodes of the discrete lattice.

As indicated above there are strong arguments to associate the field A to links. First of all, from a gaugetheoretical point of view, the field A is the Lie algebra element that describes the phase factor of a path in real space. A successful discretization of gauge theories assigns the group elements, and therefore the gauge fields to links [K. G. Wilson, Confinement of Quarks, Phys. Rev. D10, 2445, 1974]. Another argument in favor of this association is that the vector potential can be identified in differential geometry with a oneform, i.e. a function on vectors, where in accordance with the present invention the vectors are connecting two adjacent grid nodes [T. Frankel, The Geometry of Physics, Cambridge University Press, 1997]. With these arguments in mind a gauge field variable A_{ij}=A.ê_{ij }is associated to each link where ê_{ij }is a unit vector in the direction of the link between nodes i and j.

The time evolution can be described either in real time or in the Fourier domain. In one aspect of the present invention the solution to the field equations will be performed in the Fourier domain. In order to smooth the transition in going from the static to the dynamic description, a calculation scheme is provided that generates the usual characteristic parameters (R,C,L,G) that now become dependent on the operation frequency co. In the Fourier domain the potential description becomes for the selected gauge:

$\begin{array}{cc}\nabla \xb7\left(\varepsilon \ue89e\nabla V\right)=\rho & \left(36\right)\\ \frac{1}{{\mu}_{0}}\ue89e\nabla \times \left(\nabla \times A\right)\gamma \ue89e\nabla \chi =J\mathrm{j\omega \varepsilon}\ue89e\nabla V+{\mathrm{\varepsilon \omega}}^{2}\ue89eA+{\mathrm{\varepsilon \omega}}^{2}\ue89e\nabla \chi & \left(37\right)\\ \nabla \xb7A+{\nabla}^{2}\ue89e\chi =0& \left(38\right)\end{array}$
Solution Scheme

Analogous to the timedependent analysis of devices, the interconnect system is treated as a multiport device with a number of ‘standby’ operation conditions at the terminals. In particular, these conditions can be imposed as constant voltage biases or as constant current injections. The standby conditions are assumed to be static and therefore, firstly, the static or lowestorder solution is found. The frequency dependent solution is then obtained by superposition of the input signals and the standby conditions. Since the magnetic field part plays an essential role in the highfrequency analysis, the magnetic field is preferably included from the start such that the appropriate distribution of electric and magnetic energy is present in the lowest order solution. Starting with the equations 3638, let ω→0. This static solution (V_{0}A_{0}) will correspond to the standby conditions. Starting with the static solution, the different independent variables ξ(=A, V, χ, ρ, n, p) may be rewritten as a static part (with subscript index_{0}) and a nonstatic part, denoted with a superscript hat ̂ i.e. ξ=ξ_{0}+{circumflex over (ξ)}e^{jωι}. Performing a Taylor series expansion and keeping only the linear terms, the result is a linearized system that can be solved to give the next order solution for the charge and current distributions.
Static Approach

The electrostatic field, V_{0}, is obtained by solving the Poisson equation

∇·(ε∇V _{0})=−ρ(V _{0}) (39)

and the corresponding charge distribution ρ(V_{0}) must be calculated selfconsistently for (a) bounded surface charges on the boundary surfaces of the dielectric regions taking into account the appropriate boundary conditions, (b) free surface charges on the boundaries of a conductor and (c) space charge in the doped semiconductor volume. The current density J_{0}, gives rise to the vector potential A_{0}, being the solution of

$\begin{array}{cc}\frac{1}{\mu}\ue89e\nabla \times \left(\nabla \times {A}_{0}\right)\gamma \ue89e\nabla {\chi}_{0}={J}_{0}\ue8a0\left({V}_{0}\right)& \left(40\right)\end{array}$

and submitted to the gauge condition

∇·A _{0}+^{2}χ_{0}=0 (41)

For conducting media the latter equation is supplemented by

∇·J _{0}=0 (42)

J _{0} −σE _{0}=0 (43)

E _{0} +∇V=0 (44)

whereas in the semiconducting regions the following equations apply:

ρ_{0} =q(p _{0} −n _{0} +N _{D} −N _{A}) (45)

J _{n0} =qμ _{n} n _{0} E _{0} +kTμ _{n} ∇n _{0} (46)

J _{p0} =qμ _{p} n _{0} E _{0} +kTμ _{p} ∇p _{0} (47)

∇J _{n0} =U(n _{0} ,p _{0}) (48)

∇J _{p0} =−U(n _{0} ,p _{0}) (49)
Linearization

In order to extract the RCLG parameters of some interconnect substructure, its response to a small harmonic perturbation around a given bias operating point is considered. The bias operation point is a solution of the static set of equations. The equations that determine the amplitudes and phases of the harmonic perturbations are obtained by linear perturbation of the full system. Returning to equations 3638:

$\begin{array}{cc}\nabla \xb7\left(\varepsilon \ue89e\nabla \hat{V}\right)\hat{\rho}=0& \left(50\right)\\ \frac{1}{\mu}\ue89e\nabla \times \left(\nabla \times \hat{A}\right)\gamma \ue89e\nabla \hat{\chi}\hat{J}+\mathrm{j\omega \varepsilon}\ue89e\nabla \hat{V}{\mathrm{\varepsilon \omega}}^{2}\ue89e\hat{A}{\mathrm{\varepsilon \omega}}^{2}\ue89e\nabla \hat{\chi}=0& \left(51\right)\\ \nabla \xb7\hat{A}+{\nabla}^{2}\ue89e\hat{\chi}=0& \left(52\right)\end{array}$

where the sources Ĵ and {circumflex over (ρ)}must be determined by the constitutive equations. For metals, the following equations are appropriate:

∇·Ĵ+jω{circumflex over (ρ)}=0 (53)

Ĵ−σÊ=0 (54)

Ê+∇{circumflex over (V)}+jωÂ+jω{circumflex over (χ)}=0 (55)

For semiconductors:

$\begin{array}{cc}\hat{\rho}q\ue89e\hat{p}+q\ue89e\hat{n}=0& \left(56\right)\\ \hat{E}+\nabla \hat{V}+\mathrm{j\omega}\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\hat{A}+\mathrm{j\omega}\ue89e\nabla \hat{\chi}=0& \left(57\right)\\ {\hat{J}}_{n}q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{\mu}_{n}\ue89e{E}_{0}\ue89e\hat{n}q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{\mu}_{n}\ue89e{n}_{0}\ue89e\hat{E}+\mathrm{kT}\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{\mu}_{n}\ue89e\nabla \hat{n}=0& \left(58\right)\\ {\hat{J}}_{p}q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{\mu}_{p}\ue89e{E}_{0}\ue89e\hat{p}q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{\mu}_{p}\ue89e{p}_{0}\ue89e\hat{E}\mathrm{kT}\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{\mu}_{p}\ue89e\nabla \hat{p}=0& \left(59\right)\\ \nabla \xb7{\hat{J}}_{n}j\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eq\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\omega \ue89e\hat{n}\frac{\partial U}{\partial n}\ue89e{}_{0}\ue89e\hat{n}\frac{\partial U}{\partial p}\ue89e{}_{0}\ue89e\hat{p}=0& \left(60\right)\\ \nabla \xb7{\hat{J}}_{p}j\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eq\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\omega \ue89e\hat{p}+\frac{\partial U}{\partial n}\ue89e{}_{0}\ue89e\hat{n}+\frac{\partial U}{\partial p}\ue89e{}_{0}\ue89e\hat{p}=0& \left(61\right)\end{array}$

Here, the electric field dependence of U has been suppressed but this can easily be taken into account. The equations describe the deviation of the system from the static solution, using the potential fields V and A, the gauge transformation field χ and the densities n en p, as independent variables, as is illustrated in FIG. 2.
Discretization Scheme

Because of the specific geometry of the problem, the set of equations is discretized on a regular Cartesian grid having N nodes in each direction. The total number of nodes in D dimensions is M_{nodes}=N^{D}. To each node may be associated D links along the positive directions, and therefore the grid has roughly D N^{D }links. This is ‘roughly’ because nodes at side walls will have less contributions. In fact, there are 2 D sides with each a number of N^{(D1)}, nodes. Half the fraction of side nodes will not contribute a link in the positive direction. Therefore, the precise number of links in the lattice is M_{links}=D N^{D }(1−1/N).

As far as the description of the electromagnetic field is concerned, the counting of unknowns for the full lattice results in M_{links }variables (A_{ij}) for the links, and M_{nodes }variables (V_{1}) for the nodes. Since each link (or node) gives rise to one equation, the naive counting is consistent. However, the gauge condition has not yet implemented. The regular Coulomb gauge ∇·A=0, constrains the link degrees of freedom and therefore not all link fields are independent. There are 3N^{3}(1−1/N) link variables 3N^{3}(1−1/N)+N^{3 }equations, including the constraints. As a consequence, at first sight it seems that one is confronted with an overdetermined system of equations, since each node provides an extra equation for A. However, the translation of the MaxwellAmpère equation on the lattice leads to a singular matrix, i.e. not all rows are independent. The rank of the corresponding matrix is 3N^{3}(1−1/N), whereas there are 3N^{3}(1−1/N)+N^{3 }rows and 3N^{3}(1−1/N) columns. Such a situation is highly inconvenient for solving nonlinear systems of equations. This arises because the source terms are themselves dependent on the fields. The application of the NewtonRaphson method requires that the matrices in the Newton equation be nonsingular and square. In accordance with an aspect of the present invention, the nonsingular and square form of the Newton matrix can be recovered by introducing the more general gauge ∇·A+∇^{2}χ=0, where an additional field χ, i.e. one unknown per node, is included. Then the number of unknowns and the number of equations match again. In the continuum limit (N→∞), the field χ and one component of A can be eliminated. However, on a discrete finite lattice the auxiliary field is essential for numerical stability. It may be concluded that the specific gauge only serves as a tool to obtain a consistent discretization scheme.

It should be emphasized that the inclusion of the gaugefixing field χ should not lead to unphysical currents. As a consequence, the xfield should be a solution of ∇χ=0.

To summarize: instead of solving the static problem

∇×(∇×A)=μ_{0} J(A)

∇A=0 (62)

the following system of equations is solved:

∇×(∇×A)−γ∇χ=μJ(A)

∇A+∇ ^{2}χ=0 (63)

The implementation of the gauge condition results in a unique solution and simultaneously arrives at a system containing the same number of equations and variables. Hence a square NewtonRaphson matrix is guaranteed while solving the full set of nonlinear equations.
Differential Operators in Cartesian Grids

The divoperator integrated over a test volume ΔV_{i }surrounding a node i can be discretized as a combination of 6 neighboring links.

$\begin{array}{cc}{\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{i}}\ue89e\nabla \xb7A\ue89e\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv={\int}_{\partial \left(\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{i}\right)}\ue89eA\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cS\sim \sum _{k}^{6}\ue89e{S}_{\mathrm{ik}}\ue89e{A}_{\mathrm{ik}}& \left(64\right)\end{array}$

The symbol ˜ represents the conversion to the grid formulation.

The gradoperator for a link ij can be discretized as a combination of 2 neighboring nodes. Integrating over a surface S_{ij }perpendicular to the link ij gives

$\begin{array}{cc}{\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{S}_{\mathrm{ij}}}\ue89e\nabla V\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cS\sim \frac{{V}_{j}{V}_{i}}{{h}_{\mathrm{ij}}}\ue89e{S}_{\mathrm{ij}}& \left(65\right)\end{array}$

The grad operator for a link ij integrated along the link ij is given by:

$\begin{array}{cc}{\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{L}_{\mathrm{ij}}}\ue89e\nabla V\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cl\sim {V}_{j}{V}_{i}& \left(66\right)\end{array}$

The curlcurl operator can be discretized for a link ij as a combination of 12 neighboring links and the link ij itself. As indicated in FIG. 3, the field in the dual mesh, can be constructed by taking the line integral of the vector potential for the four ‘wings’. Integration over a surface S_{ij }perpendicular to the link ij gives

$\begin{array}{cc}\begin{array}{c}\frac{1}{{\mu}_{0}}\ue89e{\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{S}_{\mathrm{ij}}}\ue89e\nabla \times \nabla \times A\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cS=\ue89e\frac{1}{{\mu}_{0}}\ue89e{\int}_{\partial \left(\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{S}_{\mathrm{ij}}\right)}\ue89e\nabla \times A\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cl\\ =\ue89e\frac{1}{{\mu}_{0}}\ue89e{\int}_{\partial \left(\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{S}_{\mathrm{ij}}\right)}\ue89eB\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cl\\ \sim \ue89e\frac{{A}_{\mathrm{ij}}}{{\mu}_{0}}\ue89e{A}_{\mathrm{ij}}+\sum _{\mathrm{kl}}^{12}\ue89e\frac{{\Lambda}_{\mathrm{ij}}^{\mathrm{kl}}}{{\mu}_{0}}\ue89e{A}_{\mathrm{kl}}\end{array}& \left(67\right)\end{array}$

The divgradoperator can be discretized (FIG. 4) integrated over a test volume ΔV_{i }surrounding a node i as a combination of 6 neighboring nodes and the node i itself.

$\begin{array}{cc}{\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{i}}\ue89e\nabla \xb7\left(\varepsilon \ue89e\nabla \phantom{\rule{0.3em}{0.3ex}}\ue89eV\right)\ue89e\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv={\int}_{\partial \left(\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{i}\right)}\ue89e\varepsilon \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\nabla V\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cS\sim \sum _{k}^{6}\ue89e{S}_{\mathrm{ik}}\ue89e{\varepsilon}_{\mathrm{ik}}\ue89e\frac{{V}_{k}{V}_{i}}{{h}_{\mathrm{ik}}}.& \left(68\right)\end{array}$
Discretized Equations

The fields (V, A, χ) need to be solved throughout the simulation domain, i.e. for a semiconductor device: conductors, semiconducting regions, dielectric regions. The discretization of these equations by means of the box/surfaceintegration method gives

$\begin{array}{cc}{\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eS}\ue89e\left(\nabla \times \nabla \times A\gamma \ue89e\nabla \chi {\mu}_{0}\ue89eJ+{\mathrm{j\mu}}_{0}\ue89e\mathrm{\varepsilon \omega}\ue89e\nabla \phantom{\rule{0.3em}{0.3ex}}\ue89eV{\mu}_{0}\ue89e{\mathrm{\varepsilon \omega}}^{2}\ue8a0\left[A+\nabla \chi \right]\right)\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cS=0& \left(69\right)\\ {\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eV}\ue89e\left(\nabla \xb7\left(\varepsilon \ue89e\nabla V\right)\rho \right)\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv=0& \left(70\right)\\ {\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eV}\ue89e\left(\nabla \xb7J+\mathrm{j\omega \rho}\right)\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv=0& \left(71\right)\\ {\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eV}\ue89e\left(\nabla \xb7A+{\nabla}^{2}\ue89e\chi \right)\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv=0& \left(72\right)\end{array}$

leading for the independent variables A, V, χ to

$\begin{array}{cc}\left({\Lambda}_{\mathrm{ij}}{\mu}_{0}\ue89e{\varepsilon}_{\mathrm{ij}}\ue89e{\omega}^{2}\right)\ue89e{A}_{\mathrm{ij}}+\sum _{\mathrm{kl}}^{12}\ue89e{\Lambda}_{\mathrm{ij}}^{\mathrm{kl}}\ue89e{A}_{\mathrm{kl}}{\mu}_{0}\ue89e{S}_{\mathrm{ij}}\ue89e{J}_{\mathrm{ij}}+{\mathrm{j\mu}}_{0}\ue89e\mathrm{\omega \varepsilon}\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{S}_{\mathrm{ij}}\ue89e\frac{{V}_{j}{V}_{i}}{{h}_{\mathrm{ij}}}\left(\gamma +{\mu}_{0}\ue89e{\varepsilon}_{\mathrm{ij}}\ue89e{\varpi}^{2}\right)\ue89e{S}_{\mathrm{ij}}\ue89e\frac{{\chi}_{j}{\chi}_{i}}{{h}_{\mathrm{ij}}}=0& \left(73\right)\\ \sum _{k}^{6}\ue89e{S}_{\mathrm{ij}}\ue89e{\varepsilon}_{\mathrm{ik}}\ue89e\frac{{V}_{k}{V}_{i}}{{h}_{\mathrm{ik}}}{Q}_{i}=0& \left(74\right)\end{array}$

Depending on the region under consideration, the source terms (Q_{i}, J_{ij}) differ.

In a conductor Ohm's law, J=σE applies, or integrated along a link ij:

$\begin{array}{cc}{J}_{\mathrm{ij}}={\sigma}_{\mathrm{ij}}\left(\frac{{V}_{j}{V}_{i}}{{h}_{\mathrm{ij}}}+{\mathrm{j\omega \omega}}_{\mathrm{ij}}+\mathrm{j\omega}\ue89e\frac{{\chi}_{j}{\chi}_{i}}{{h}_{\mathrm{ij}}}\right)& \left(77\right)\end{array}$

and Q_{i }is determined by charge conservation.

For the semiconductor environment the ScharfetterGummel scheme can be followed [D. L. Scharfetter, H. K. Gummel, Large scale analysis of a silicon Read diode oscillator, IEEE Trans. Elec. Devices, ED, 16, 6477, 1969]. In this approach, the diffusion equations:

J=qμcE±kTuμ∇c (78)

with a plus (minus) sign for negative (positive) particles are considered. It is assumed that the current J and vector potential A are constant along a link and that the potential V and the gauge transformation χ are linearly varying along the link. A local coordinate axis u, is considered with u=0 corresponding with node i, and u=h_{ij }corresponding to node j. Integrating the equation along the link ij gives:

$\begin{array}{cc}{J}_{\mathrm{ij}}=q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{\mu}_{\mathrm{ij}}\ue89ec\ue8a0\left(\frac{{V}_{i}{V}_{j}}{{h}_{\mathrm{ij}}}+\mathrm{j\omega}\ue8a0\left(\frac{{\chi}_{i}{\chi}_{j}}{{h}_{\mathrm{ij}}}\right)\mathrm{j\omega}\ue89e\phantom{\rule{0.6em}{0.6ex}}\ue89e{A}_{\mathrm{ij}}\right)\pm \mathrm{kT}\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{\mu}_{\mathrm{ij}}\ue89e\frac{\uf74cc}{\uf74cu}& \left(79\right)\end{array}$

a firstorder differential equation in c, that is solved using the aforementioned boundary conditions, provides a nonlinear carrier profile. The current J_{ij }can be rewritten as

$\begin{array}{cc}\frac{{J}_{\mathrm{ij}}}{{\mu}_{\mathrm{ij}}}=\frac{\alpha}{{h}_{\mathrm{ij}}}\ue89eB\ue8a0\left(\frac{{\beta}_{\mathrm{ij}}}{\alpha}\right)\ue89e{c}_{i}+\frac{\alpha}{{h}_{\mathrm{ij}}}\ue89eB\ue8a0\left(\frac{{\beta}_{\mathrm{ij}}}{\alpha}\right)\ue89e{c}_{j}& \left(80\right)\end{array}$

using the Bernoulli function

$\begin{array}{cc}B\ue8a0\left(x\right)=\frac{x}{{\uf74d}^{x}I}& \left(81\right)\end{array}$

and

α=±kT (82)

β_{ij} =q└V _{i} −V _{j} −jω(χ_{i}−χ_{j})−jωA _{ij} h _{ij}┘ (83)

The full set of equations that need to be solved is

$\begin{array}{cc}{\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eV}\ue89e\left[\nabla \xb7{J}_{n}q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ej\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\omega \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89enU\ue8a0\left(n,p\right)\right]\ue89e\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv=0& \left(84\right)\\ {\int}_{\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eV}\ue89e\left[\nabla \xb7{J}_{p}+q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ej\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\omega \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ep+U\ue8a0\left(n,p\right)\right]\ue89e\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv=0& \left(85\right)\end{array}$

that become after discretization

$\begin{array}{cc}\sum _{j}^{6}\ue89e{S}_{\mathrm{ij}}\ue89e{J}_{\mathrm{nij}}+q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\mathrm{j\omega}\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{n}_{i}\ue89e\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{i}U\ue8a0\left({n}_{i},{p}_{i}\right)\ue89e\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{i}=0& \left(86\right)\\ \sum _{j}^{6}\ue89e{S}_{\mathrm{ij}}\ue89e{J}_{\mathrm{pij}}+q\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\mathrm{j\omega}\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{p}_{i}\ue89e\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{i}+U\ue8a0\left({n}_{i},{p}_{i}\right)\ue89e\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{i}=0& \left(87\right)\end{array}$

where all J_{ij}'s are explicitly given as a function of A_{ij}, V, χ, n and p.
Boundary Conditions

The simulation domain consists of an interconnect (sub) system possibly extended with a region of air surrounding it. Therefore, a distinction has to be made between boundary conditions for the simulation domain and boundary conditions for the device. For the latter, it is clear that the electric potential V is defined on the metal terminals provided that voltage boundary conditions are used. The boundary conditions for simulation domain are more subtle.

The vector potential A, needs a specific approach. It can easily be seen that just solving equation 40 is not possible. Indeed, the lefthand side of the equation is divergenceless, whereas the right hand side has a nonvanishing divergence on the terminals, where current is entering or leaving the structure. In order to solve this paradox, the analogous situation of a continuity equation is considered. In the latter case, the paradox is lifted by explicitly including the external current into the balance equation. For the curlcurl equation it is necessary to explicitly keep track of the external Bfield, i.e. by assigning to every link at the surface of the simulation domain, a variable B_{out}. At edges of the domain this field replaces two missing ‘wings’ of the curlcurl operator, whereas at the other links of the domain surface the Bfield stands for one missing ‘wing’ (FIGS. 5 a, b). The magnetic field outside the simulation region B_{out }must be consistent with the external current distribution J_{out }over the surface of the simulation domain. Moreover, if it is assumed that B_{out }is fully generated by the currents that are present in the simulation problem and no external magnets are nearby a unique solution to equation 40 should be obtained. For this purpose, an external B_{out }perpendicular to that link is associated with the link. Applying Ampère's law for contours as indicated in FIGS. 5 a, b, the lineintegral along the contour equals the total current crossing it, i.e. for each node

$\begin{array}{cc}\frac{1}{{\mu}_{0}}\ue89e\underset{\partial \left(\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{A}_{i}\right)}{\oint}\ue89e{B}_{\mathrm{out}}\xb7\uf74cl={\int}_{\partial \left(\Delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{A}_{i}\right)}\ue89e{J}_{\mathrm{out}}\xb7\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cS={I}_{i}& \left(88\right)\end{array}$

Furthermore, the magnetic field must be constructed in such a way that its divergence vanishes. For each plaquette on the simulation boundary it implies that

∇·B _{out}=0 (89)

As indicated in the case study, assembling the different matrices gives:

∇·B _{out} =I _{0} (90)

∇×B _{out}=0 (91)

where the differential operators are acting on the link variables B_{out}, and act on the twodimensional boundary of the simulation domain. It should be noted that a Maxwell problem in two dimensions can be converted into a Laplace/Poisson problem, since the vector potential has only one component. As a consequence, in order to solve the external field problem use can be made of the methods that were developed for transmission lines. Note that the number of outside links of a regular grid with N points in each direction, is given by M_{links} ^{out}=12 (N−1)^{2}, whereas the number of nodes is given by M_{nodes} ^{out}=6N^{2}−12N+8 and the number of surfaces is given by M_{faces} ^{out}=6 (N−1)^{2}. This leaves M_{nodes} ^{out}+M_{faces} ^{out }equations and two more (M_{links} ^{out}) unknowns. However, the outside surface is closed and hence expressing the solenoidal character of B_{out }implies one redundant equation. On the other hand, expressing Ampère's law for closed paths, will result in another redundant equation, and hence a unique solution for B_{out }is obtained.

For χ it is clear from comparing equation 62 with 63 that ∇χ must vanish. This leaves one extra degree of freedom, so that the value of χ can be chosen as equal to 0 in one point. With this choice, the values of χ for the other points are considered as dynamical variables, but will result in χ=0 everywhere.
Case Studies

In order to be able to construct the differential operator matrices, a choice must be made for the numbering of nodes, edges, surfaces and volumes. A straightforward node numbering is chosen. The numbering starts at the corner of the box with the lowest x, y and z indices, following its neighbor nodes along the xaxis, then jumping back to the lowest x index, incrementing the yvalue, and finally when the first plane is numbered, z is incremented.

For edges, surfaces and volumes, the number associated with each number is given by the number of the node with the smallest node index. Furthermore, S_{ij }is set to 1, and h_{ij }is set to 1, in the following examples.

2×2×2 Cube

A simple 8 node cube is shown in FIG. 6, where node 1 is at potential V=1, and node 8 is at potential V=0. The following matrices representing the differential operators can be written as

$\nabla \to \left(\begin{array}{cccccccc}1& 1& 0& 0& 0& 0& 0& 0\\ 0& 0& 1& 1& 0& 0& 0& 0\\ 0& 0& 0& 0& 1& 1& 0& 0\\ 0& 0& 0& 0& 0& 0& 1& 1\\ 1& 0& 1& 0& 0& 0& 0& 0\\ 0& 1& 0& 1& 0& 0& 0& 0\\ 0& 0& 0& 0& 1& 0& 1& 0\\ 0& 0& 0& 0& 0& 1& 0& 1\\ 1& 0& 0& 0& 1& 0& 0& 0\\ 0& 1& 0& 0& 0& 1& 0& 0\\ 0& 0& 1& 0& 0& 0& 1& 0\\ 0& 0& 0& 1& 0& 0& 0& 1\end{array}\right)$
$\nabla \times \nabla \times \to \left(\begin{array}{cccccccccccc}2& 1& 1& 0& 1& 1& 0& 0& 1& 1& 0& 0\\ 1& 2& 0& 1& 1& 1& 0& 0& 0& 0& 1& 1\\ 1& 0& 2& 1& 0& 0& 1& 1& 1& 1& 0& 0\\ 0& 1& 1& 2& 0& 0& 1& 1& 0& 0& 1& 1\\ 1& 1& 0& 0& 2& 1& 1& 0& 1& 0& 1& 0\\ 1& 1& 0& 0& 1& 2& 0& 1& 0& 1& 0& 1\\ 0& 0& 1& 1& 1& 0& 2& 1& 1& 0& 1& 0\\ 0& 0& 1& 1& 0& 1& 1& 2& 0& 1& 0& 1\\ 1& 0& 1& 0& 1& 0& 1& 0& 2& 1& 1& 0\\ 1& 0& 1& 0& 0& 1& 0& 1& 1& 2& 0& 1\\ 0& 1& 0& 1& 1& 0& 1& 0& 1& 0& 2& 1\\ 0& 1& 0& 1& 0& 1& 0& 1& 0& 1& 1& 2\end{array}\right)$
$\nabla \xb7\nabla \to \left(\begin{array}{cccccccc}3& 1& 1& 0& 1& 0& 0& 0\\ 1& 3& 0& 1& 0& 1& 0& 0\\ 1& 0& 3& 1& 0& 0& 1& 0\\ 0& 1& 1& 3& 0& 0& 0& 1\\ 1& 0& 0& 0& 3& 1& 1& 0\\ 0& 1& 0& 0& 1& 3& 0& 1\\ 0& 0& 1& 0& 1& 0& 3& 1\\ 0& 0& 0& 1& 0& 1& 1& 3\end{array}\right)$
$\nabla \to \left(\begin{array}{cccccccccccc}1& 0& 0& 0& 1& 0& 0& 0& 1& 0& 0& 0\\ 1& 0& 0& 0& 0& 1& 0& 0& 0& 1& 0& 0\\ 0& 1& 0& 0& 1& 0& 0& 0& 0& 0& 1& 0\\ 0& 1& 0& 0& 0& 1& 0& 0& 0& 0& 0& 1\\ 0& 0& 1& 0& 0& 0& 1& 0& 1& 0& 0& 0\\ 0& 0& 1& 0& 0& 0& 0& 1& 0& 1& 0& 0\\ 0& 0& 0& 1& 0& 0& 1& 0& 0& 0& 1& 0\\ 0& 0& 0& 1& 0& 0& 0& 1& 0& 0& 0& 1\end{array}\right)$

Note that the diagonal elements of the curlcurloperator, have the value 2, because from the 4 ‘wings’ of FIG. 3, only 2 remain (the two other are outside the simulation domain). The current can be found by solving equations 4244. In order to find expressions for B_{out}, Ampère's equation is used for the contour integrals for B_{out}. For node 1 for instance the result is that B_{out} ^{(1)}+B_{out} ^{(5)}+B_{out} ^{(9)}=I^{(1)}. The same kind of equations for all nodes gives formally ∇. B_{out}=I. Gauss' law for the outside magnetic field becomes for the front surface of the cube in FIG. 6, B_{out} ^{(1)}−B_{out} ^{(2)}−B_{out} ^{(5)}+B_{out} ^{(6)}=0 or formally for all surfaces: ∇×B_{out}=0. This system of equations results in a unique solution for B_{out}.

16×16×2 Cube

In order to check the physical consequences of the way the method deals with boundary conditions, a 16×16×2node cube is simulated in which a conductor box of one volume element is implemented. At four nodes at one side of the conductor the voltage V=1 is applied, while at the other side the voltage is kept V=0. Hence a current will flow, characterized by the solution of equations 4244 in the conducting area. This solution of J_{0 }determines J_{out }and B_{out }can be found as a solution of equations 9091. Next it is possible to calculate the magnetic vector potential in the simulation domain by solving equation 40 (FIG. 7). The magnetic field in the simulation domain which is expected to change as 1/r, (r representing the distance to the conductor center). A good correspondence with the theory is recovered as shown in FIG. 8.

The skilled person will appreciate certain aspects of the above embodiments of the present invention. A method is provided for the description and the analysis of the electromagnetic behavior of onchip interconnect structures, by using smallsignal analysis. This avoids solving Helmholtz equations and still gives us information on the structure to describe effects like the current redistributions, the impact of high frequencies on the characteristic parameters, slow wave modes etc. A formulation of the Maxwell equations is used that is based on a potential approach. Furthermore, the potential fields are assigned to links. This approach has severe consequences for solving the field equations, which are resolved by the method in accordance with the present invention. In order to solve the Maxwell equations a square and nonsingular NewtonRaphson matrix is needed, and such matrices are provided by including an extra dummy potential field χ. This field however will not change the physical solution. In fact, a dedicated gauge fixing procedure has been presented to accommodate for the numerical stability. The magnetic vector potential is calculated by solving a curlcurl operator equation. This task has been carried out in a boxlike example of a current carrying wire. The simulated magnetic field shows the behavior of a magnetic field generated by a wire and demonstrates the consistency and correctness of the proposed method.

Another interesting result concerns the boundary conditions, The inclusion of the latter is dictated by the conversion of the continuum equations to the discretized equations. Consistency of the boundary conditions demands that a separate Maxwell problem be solved in a domain of dimension D−1=2.

One aspect of the present invention is the efficient use of memory space. In accordance with an embodiment of the present invention data structures are created in a memory of a computer system which are closely associated with the numerical analysis methods described above. One possible implementation of such data structures is given below. The data structures are a representation of a mesh having links connecting nodes in a mesh structure. The implementation is based on a mesh formed by cubes but the present invention is not limited to cubes. The implementation makes use of pointers however the present invention is not limited to pointer based systems but may include any method of referring to other memory locations.

node (see FIG. 9)

This structure is used to stock nodes in a list.




struct node 

{ 

double x ; 

double y : 

double z ; 

struct node *next ; 

unsigned int nPointers ; 

unsigned int number ; 

} ; 



All properties of the nodes (x, y, z, . . . ) are stored in this structure. The properties can be: V, the Poisson potential, ρ the charge density, N the dopant concentration, n and p the electron and hole concentration, T the temperature and χ the dummy field. In accordance with an aspect of the present invention the zeroforms and threeforms are associated with the nodes of the mesh. The nodes are internally placed in a linked list, where each node points to the next node and the last node points to NULL.
Fields


 
 x  Position on the Xaxis. 
 y  Position on the Yaxis. 
 z  Position on the Zaxis. 
 next  Pointer to the next node in the list. 
 nPointers  Number of cubes that point to this node. 
 number  The nodenumber. 
 
link (
FIG. 10)

This structure is used to stock links in a list.




structlink 

{ 

struct node 
*node1; 

struct node 
*node2;// Pointer to node2 

struct link 
*link1;// Pointer to child link1 

struct link 
*link2;// Pointer to child link2 

struct link 
*next;// Pointer to next link 

unsigned int nPointers;// Number of cubes that point to this link. 

Unsigned int number; 

}; 



All properties of the links are stored in this structure. In particular values for those elements of the fields such as the vector potential A which are associated with links are stored in this structure. The properties can be: A the magnetic vector potential, J, the current density (carrier density in semiconductor substrates), E the electric field. The links are identified by 2 nodes. In accordance with an aspect of the present invention, the oneforms are associated with the links. The links are internally placed in a linked list, where each link points to the next link and the last link points to NULL. A link can have 2 childLinks. The pointers link1 and link2 point to these children. If these pointers are NULL, the link doesn't have any children.
Fields


 
 node1  Pointer to the first node of a link. 
 node2  Pointer to the second node of a link. 
 link1  Pointer to the first of the childLinks. 
 link2  Pointer to the second of the childLinks. 
 next  Pointer to the next node in the list. 
 nPointers  Number of cubes that point to this link. 
 number  The linknumber. 
 
cube (see
FIG. 11)

This structure is used to stock cubes in a list.




structcube 

{ 

unsigned int number; 

struct cube 
*cube[8]; 

struct node 
*node[8]; 

struct link 
*link[12]; 

struct cube 
*next; 

struct cube 
*parent; 

}; 



The links are identified by number. This is the number of the cube. Internally, the cubes are organized in several linked lists. All cubes with the same generation are stored in the same linked list.
Fields



number  The cubenumber. 
cube [8]  An array of 8 pointers to childCubes. Either a cube has 
 eight childs, or it has none, If the pointers are set to 
 NULL, the cube doesn't have childs. 
node [8]  An array of 8 pointers to the nodes of a cube. Every cube 
 has 8 nodes, to identify it's boundaries. 
link [12]  An array of pointers to the 12 main links of a cube. Since 
 links can have 2 children, a cube can have more than 12 
 indirect links. 
next  Pointer to the next cube in the list. If it is NULL, this is 
 the last cube in the list for this generation. 
parent  Pointer to the parent of the cube. If the pointer is set to 
 NULL, this is the “biggest cube”, and doesn't have a 
 parent, since it is no child. 

cubeListPointer

This structure is used to point to a cubeList.




structcubeListPointer 

{ 

cube *cube; 

struct cubeListPointer *next; 

} 



Internally, cubes are organised in several linked lists. All cubes with the same generation are stored in the same linked list. Something is required to point to all these lists. This is what a cubeListPointer does, it points to a cubeList and to the next cubeListPointer. So the first cubeListPointer points to the cubeList generation 1, the next to the list with generation 2, . . . and so on.
Fields



cube  A pointer to the first cube in a cubeList. If it is set to 
 NULL, there is no list appended to the cubeListPointer yet. 
next  A pointer to the next cubeListPointer. If it's NULL, this is 
 the last cubeListPointer in the list. 

lastNumbers

This structure is used to keep track of the last nodenumber, linknumber and cubenumber.




struct lastNumbers 

{ 

unsigned int lastNodeNr; 

unsigned int lastLinkNr; 

unsigned int lastCubeNr ; 

} ; 



The last nodenumber, linknumber and cubenumber are stored here, so that nodes/links/cubes can easily be appended and the nodenumber/linknumber/cubenumber can be filled in.

Fields




lastNodeNr 
The highest nodenumber at a certain moment. 

lastLinkNr 
The highest linknumber at a certain moment. 

lastCubeNr 
The highest cubenumber at a certain moment. 



The calculation method for the pointers is given below.

In the following a detailed description of practical applications of the methods of the present invention are described.

In order to extract the RCLG parameters of an interconnect substructure, its response to a small harmonic perturbation around a given bias operating point is considered, which is a solution of the static set of equations. The equations that determine the amplitudes and phases of the harmonic perturbations are obtained as linear perturbations of the full system. Returning to equations (3638), one obtains

∇(ε∇V _{R} −εωA _{I} −εω∇χ _{I})+ρ_{R}=0 (92)

∇(ε∇V _{I} −εωA _{R} −εω∇χ _{R})+ρ_{I}=0 (93)

∇×∇×A _{R}−μ_{0}εω^{2} A _{R}−μ_{0} J _{R}−μ_{0} εω∇V _{I}−(γ+μ_{0}εω^{2})∇χ_{R}=0 (94)

∇×∇×A _{I}−μ_{0}εω^{2} A _{I}−μ_{0} J _{I}−μ_{0} εω∇V _{R}−(γ+μ_{0}εω^{2})∇χ_{I}=0 (95)

∇^{2}χ_{R} +∇A _{R}=0 (96)

∇^{2}χ_{I} +∇A _{I}=0 (97)

where the sources J_{R}, J_{I}, ρ_{R }and ρ_{I }must be determined by the nonlinear constitutive equations.
Boundary Conditions

Continuing the discussion on boundary conditions above, the vector potential A, needs a specific approach. It can easily be seen that just solving equation 40 is not possible. Indeed, the left hand side of the equation ∇^{2}χ, whereas the right hand side has a nonvanishing divergence on the terminals, where current is entering or leaving the structure. However, as was argued above thedummy field χ=0 is part of the solution. In order to solve this paradox the analogous situation of a continuity equation is considered. In the latter case, the paradox is lifted by explicitly including the external current into the balance equation.

The external currents, impinging perpendicular on the boundary surface of the simulation domain, carry their own circular magnetic field. Such a magnetic field is described by a component of the vector potential parallel to the impinging current. Therefore the boundary condition for the vector potential will be equal to zero for all links that are in the boundary surface, δΩ, of the simulation domain, Ω, whereas links pointing orthogonally inwards from the enclosing surface are part of the set of the unknown variables that should be solve,

A_{ij}=0i,j∈δΩ (98)

The boundary condition for the χfield will be that χ=0 at the enclosing surface. The Laplace problem on a closed surface with these boundary conditions guarantees that χ=0, everywhere.

The boundary conditions for the scalar potential V are a mixture of Dirichlet and Neumann boundary conditions. At the contacts Dirichlet boundary conditions are assumed whereas at the remaining part of the enclosing surface Neumann boundary conditions are assumed. This assumption implies that no perpendicular electric field exists for these parts of δΩ. If a contact is placed on a semiconducting region, it is assumed that this contact is also ohmic. Therefore, the boundary condition for a semiconductor contact is

φ_{n}_{c}=φ_{p}_{c} =V _{c} (99)

where φ_{p }and φ_{n }are the quasifermi level for the hole and electron concentrations at the contact. Furthermore, it is assumed that charge neutrality holds at the contact, i.e. p−n+N=0 and np=n_{i} ^{2}. Strictly speaking, these assumptions are valid only for contacts attached to highlydoped regions, otherwise one would have to deal with Schottky contacts. However, within the framework of backend structure simulations, this assumption is valid since the contacts to semiconducting regions usually are connected to highlydoped source or drain regions or polysilicon gates.
Interface Conditions

In general, the structures consist of insulating, semiconducting and metallic regions. As a consequence, there will be four types of interface nodes, i.e.

 insulator/metal interface nodes
 insulator/semiconductor interface nodes
 metal/semiconductor interface nodes
 insulator/semiconductor/metal ‘triple’ points

At the metal/semiconductor interface nodes, the idealized interface Schottky contact condition is implemented, as for a boundary condition for a semiconductor region, by setting φ_{p}=φ_{n}=V_{metal}, where V_{metal }is the value of the Poisson potential at the metal side of the interface. The Poisson potential at the semiconductor side of the interface is V_{semi}=V_{metal}−δV, where δV represents the contact potential between the two materials. Using

$\begin{array}{cc}n={n}_{i}\ue89e\mathrm{exp}\ue89e\frac{q}{\mathrm{kT}}\ue89e\left(V{\phi}_{p}\right)\ue89e\text{}\ue89ep={n}_{i}\ue89e\mathrm{exp}\ue89e\frac{q}{\mathrm{kT}}\ue89e\left({\phi}_{p}V\right)& \left(100\right)\end{array}$

and applying the neutrality condition p−n−N=0, where N=N_{D}−N_{A }for ptype semiconductor regions (N<0) results in:

$\begin{array}{cc}\delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eV=\mathrm{log}\left(\frac{N}{2\ue89e{n}_{i}}\ue89e\left(1+\sqrt{1+\frac{4\ue89e{n}_{i}^{2}}{{N}^{2}}}\right)\right)& \left(101\right)\end{array}$

and for ntype semiconductor regions (N>0)

$\begin{array}{cc}\delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eV=\mathrm{log}\left(\frac{N}{2\ue89e{n}_{i}}\ue89e\left(1+\sqrt{1+\frac{4\ue89e{n}_{i}^{2}}{{N}^{2}}}\right)\right)& \left(102\right)\end{array}$

At a metal/semiconductor interface node there is one variable (V_{metal}) that needs to be solved. The equation for this variable assigned to the node i is the currentcontinuity equation,

$\begin{array}{cc}\sum _{j}\ue89e{J}_{\mathrm{ij}}\ue89e{S}_{\mathrm{ij}}=0& \left(103\right)\end{array}$

where J_{ij }is the current density in discretized form for the link (ij) from node i to node j, and S_{ij }the perpendicular cross section of the link (ij). Note that for an idealized Schottky contact the Poisson potential is doublevalued.

At metal/insulator interface nodes continuity of the Poisson potential is assumed. For these nodes there is, apart from the variables A and χ, one unknown V_{i}, and the corresponding equation is the currentcontinuity equation. The Poisson equation determines the interface charge, ρ_{i }and can be obtained by postprocessing, once V is determined.

At insulator/semiconductor interface nodes there are three unknowns to be determined, V, n and p. These variables are treated in the usual way as is done in device simulation tools, i.e. the Poisson equation is solved selfconsistently with the currentcontinuity equations for n and p, while V is continuous at the insulator/semiconductor interface.

At triple point nodes, the Poisson potential is triplevalued. One arrives at different values depending on the material in which one approaches the node. For computational convenience the value of the Poisson potential in the insulator at the midpoint between V_{metal }and V_{semi }is taken, i.e.

$\begin{array}{cc}\underset{x\to {x}_{\mathrm{tr}}}{\mathrm{lim}}\ue89e{V}_{\mathrm{insul}}\ue8a0\left(x\right)={V}_{\mathrm{metal}}\ue8a0\left({x}_{\mathrm{tr}}\right)\frac{1}{2}\ue89e\delta \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eV& \left(104\right)\end{array}$

The interface conditions for the vector field A and the ghost field χ are straightforward. The choice of the gauge condition, equation 38, is independent of specific material parameters. During assembling of equation 37, the current associated to each link is uniquely determined in an earlier iteration of the Gummel loop and therefore for the vector potential (as well as χ) is singlevalued.
Scaling Considerations

In order to program the equations on a computer, an appropriate scaling must be performed. A generalization of the ‘de Mari’ scaling, as described in A. de Mari, An Accurate Numerical SteadyState One Dimensional Solution of the PNJunction, SolidState Electronics, 11, 3358, 1968 is adopted. Let λ be the scaling parameter for lengths, n_{i }the scaling parameter for doping and carrier concentrations and let the thermal voltage V_{T}=[kT/q] act as a scaling parameter for the Poisson field and the fermi levels. Then from Poisson's equation one obtains that

$\begin{array}{cc}\lambda =\sqrt{\frac{{\varepsilon}_{0}\ue89e{V}_{T}}{{\mathrm{qn}}_{i}}}& \left(105\right)\end{array}$

From the constitutive equations for the carrier currents the scaling factor for the mobility, σ_{μ }is obtained:

$\begin{array}{cc}{\sigma}_{\mu}=\frac{{\sigma}_{D}}{{V}_{T}}& \left(106\right)\end{array}$

There is still the freedom to set one scaling parameter. The scaling parameter for the diffusion constant, σ_{D}=1 [(m^{2})/sec] is fixed. Then the scaling parameter for the time, τ, is given by

$\begin{array}{cc}\tau =\frac{{\lambda}^{2}}{{\sigma}_{D}}& \left(107\right)\end{array}$

Furthermore, from the scaling factor for the diffusivity the scaling factor for the current density is obtained:

$\begin{array}{cc}{\sigma}_{J}=\frac{{\mathrm{qn}}_{i}\ue89e{\sigma}_{D}}{\lambda}& \left(108\right)\end{array}$

The frequency scaling factor is inverse to the time scaling factor, i.e. σ_{ω}[1/(τ)]. The scaling factor for A and χ follows from the generalized formula for the electric field,

$\begin{array}{cc}{\sigma}_{A}=\frac{\tau \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{T}}{\lambda}\ue89e\text{}\ue89e{\sigma}_{X}=\tau \ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{V}_{T}& \left(109\right)\end{array}$

The scaling of the curlcurl equation for A leads to the dimensionless constant, K=[1/(c^{2})]([(λ)/(τ)])^{2}, where c is the speed of light in vacuum. From table I, K is a rather small number that makes it suitable for using it as a perturbation expansion parameter.

TABLE I 

Generalized ‘de Mari’ scaling factors. 
Variable 
Name 
Value 
Unit 

Temperature 
T 
300 
K 
Poisson field 
V_{T} 
2.5852 × 10^{−2} 
V 
Concentration 
n_{i} 
10^{16} 
m^{−3} 
Length 
λ 
1.1952 × 10^{−5} 
m 
Diffusion constant 
σ_{D} 
1 
[(m^{2})/sec] 
Mobility 
σ_{μ} 
38.6815 
[(m^{2})/V sec] 
Current density 
σ_{J} 
134.0431 
[C/(m^{2 }sec)] 
Time 
τ 
1.4286 × 10^{−10} 
sec 
Electric field 
σ_{E} 
2162.8670 
[V/m] 
Frequency 
σ_{ω} 
6.9994 × 10^{9} 
sec^{−1} 
Conductance 
σ_{σ} 
6.1974 × 10^{−2} 
[C/Vmsec] 
Velocity 
σ_{v} 
8.3662 × 10^{4} 
[m/sec] 
Chiscaling 
σ_{χ} 
3.6934 × 10^{−12} 
V sec 
Ascaling 
σ_{A} 
3.0900 × 10^{−7} 
[V sec/m] 
Kfactor 
K 
7.7879 × 10^{−8} 
dimensionless 


After scaling the curlcurl equation takes the following form

∇×∇×Ã−γ∇χ= K({tilde over (J)}−jε _{r} ω∇V+ε _{r}ω^{2} A+ε _{r}ω^{2}∇χ (110)

The constant γ can be used as a tuning parameter to improve convergence of the linear solvers. It should be noted that γ may not be zero, since for γ=0, the equations for A and χ decouple such that the matrix block for A becomes singular.
Numbering Schemes

The novelty of the new approach for solving the equations for the scalar and the vector potentials is the association of the vector potential variables to the links or connections of the discretization grid. This requires that not only the grid nodes receive a unique pointer, but also the grid links. In order to become familiar with this new situation, a method for assigning unique pointers to the grid nodes and the grid links in Cartesian grids is presented.

For a Cartesian grid with N_{node}, k_{x}×k_{y}×k_{z }nodes, a unique node pointer is obtained by

L _{node} =n _{x}+(n _{y}−1)×k _{x}+(n _{z}−1)×k _{x} ×k _{y} (111)

where n=(n_{x}, n_{y}, n_{z})∈IN^{3 }points to a specific node in the grid and 1≦n_{x}≦k_{x}, 1≦n_{y}≦k_{y }and 1≦n_{z}≦k_{z}.

Given a node pointer L_{node}, the vector n can be reconstructed using the following algorithm




if (L_{node }= N_{node}) then 

n_{x }= k_{x}, n_{y }= k_{y}, n_{z }= k_{z} 

else 

J_{0 }= INT((L_{node }− 1)/(k_{x }× k_{y})) 

n_{z }= J_{0}−1 

K_{0 }= L_{node}−J_{0 }×k_{x }×k_{y} 

L_{0 }= INT((K_{0}−1)/k_{x}) 

n_{y }= L_{0}+1 

n_{x }= K_{0 }− L_{0 }× k_{x} 

endif 



In a similar way a unique pointer, L_{link }can be assigned to each link. Given the node n and a direction i=1, 2, 3, a link pointer can be obtained by the following algorithm, since each link is based in some node n, and points in a given positive direction, i.


if (i = 1) then 
if (n_{x }= k_{x}) then illegal input 
else 
L_{link }= n_{x }+ (k_{x}−1) × (n_{y}−1) + (k_{x}−1) × k_{y }× (n_{z}−1) 
endif 
elseif (i = 2) then 
if (n_{y }= k_{y}) then illegal input 
else 
L_{link }= (k_{x}−1) × k_{y }× k_{z }+ n_{x }+ (k_{x}) ×(n_{y}−1) + k_{x }×(k_{y}−1) ×(n_{z}−1) 
endif 
elseif (i = 3) then 
if (n_{z }= k_{z}) then illegal input 
else 
L_{link }= 2×k_{x}×k_{y}×k_{z }− (k_{y }+k_{x})×k_{z }+ n_{x }+ k_{x}×(n_{y}−1)+ k_{x}×k_{y}×(n_{z}−1) 
endif 
endif 

Using the INTfunction, (n,i) can be extracted from L
_{link}, as was done for the nodes.
Solver Requirements

Since a large number of equations need to be solved simultaneously, i.e. Poisson's equation, the currentcontinuity equations, the curlcurl equation and the equation for χ, both the static, real and imaginary parts, a Gummel iterative procedure is followed for solving this system. In particular, since the frequency, ω is fixed, the problem is still threedimensional. Whereas the Poisson's equation and the currentcontinuity equations can be treated similarly as in device simulation programs such as D. L. Scharfetter, H. K. Gummel, Large Scale Analysis of a Silicon Read Diode Oscillator, IEEE Trans. Elec. Devices, ED, 16, 6477, 1969 and E. M. Buturla, P. E. Cottrell, B. M. Grossman and K. A. Salsburg, FiniteElement Analysis of Semiconductor Devices: the FIELDAY program, IBM Journal on Research and Development, 25, 218231, 1981, the equations for A and χ require a different handling. Furthermore, the largest system that needs to be solved is also the pair of equations for (A, χ). These equations can not be loaded iteratively into the Gummel flow because the ∇x∇x operator would lead to a singular algebraic system. However, the simultaneous assembling with the equation for χ, results in an algebraic system having a regular matrix that can be inverted.

After testing a number of different linear solvers with and without preconditioning, it turned out that the most robust method was the symmetric successiveoverrelaxation (SSOR) preconditioner, taking ω_{SOR}=1.2, combined with the conjugategradient squared (CGS) iterative solver. The parameter γ in equation 110 was taken equal to one.

The memory requirements for the sparse storage of the NewtonRaphson matrix can be obtained as follows. Suppose there are N_{node}=k_{x}×k_{y}×k_{z }nodes and N_{link}=3 k_{x}×k_{y}×k_{z}−(k_{x}×k_{y}+k_{x}×k_{z}+k_{y}×k_{z}) links. Each (interior) link interacts with 12 neighboring links and 2 nodes in the assembling of the curlcurl equation. This implies that a each link generates 1+12+2=15 nonzero entries in the NewtonRaphson matrix. The scalar equation for the χvariable in each node interacts with 6 χ's in the neighboring nodes and with 6 link variables sited at the links connecting the node to the nearestneighbor points. Therefore, each χ field induces 1+6+6=13 nonzero entries in the NewtonRaphson matrix. The total number of nonzero entries can be estimated (ignoring surface subtractions) as N_{non} _{ — } _{zero}=15×N_{link}+13×N_{node}. Table II gives a few numerical examples.

TABLE II 

Storage requirements for the NewtonRaphson matrix. 
k_{x} 
k_{y} 
k_{z} 
N_{nodes} 
N_{links} 
N_{non}_zero 

10 
10 
10 
1000 
2700 
49060 
10 
10 
100 
10.000 
27900 
516340 
10 
100 
100 
100.000 
288.000 
5.430.520 
100 
100 
100 
1000.000 
2.970.000 
57.073.600 

EXAMPLES

A number of examples are presented demonstrating that the proposed potential formulation in terms of the Poisson field V, the vector field A and the dummy field χ, is a viable method to solve the Maxwell field problem. All subtleties related to that formulation, i.e. the positioning of the vector potential on links, and the introduction of the ghost field x, have already been described above in constructing the solutions of the static equations. Therefore, a series of examples in the static limit are presented.
Metal Plug on HighlyDoped Silicon

The first example concerns the electromagnetic behavior of a metal plug on (highlydoped) silicon. This example addresses all subtleties that are related to metalsemiconductor, metalinsulator and semiconductorinsulator interfaces as well as triple lines. The simulation region (10×10×10 μm^{3}) consists of two layers. A layer of the silicon (5 μm) is highly doped at the top, using a square mask of 4×4 μm^{2 }at the center. Above the silicon there is 5 μm oxide with a metal plug of 4×4 μm^{2}.

In FIG. 12, the structure is sketched. A Gaussian doping profile is implanted below the metal plug and the concentration (at the surface of the simulation domain) is plotted in FIG. 13. The voltage drop over the plug is 0.2 Volts. The resistivity of the metal is taken 10^{−8 }Ωm. In FIGS. 14 and 15, the magnetic field is presented. Whereas the metal plug carries the current in the top layer, it is observed that the field has a strength decaying as ˜1/r. In the bottom layer the current spreads out and this leads to a flat Bfield intensity. In the table III the results are listed of some characteristic parameters of the simulation.

The energies have been calculated in two different ways and good agreement is observed. This confirms that the new methods underlying the field solver are trustworthy. The xfield is zero within the numerical accuracy, i.e. χ˜O(10^{−14})

TABLE III 

Some characteristic results for the metal/semiconductor plug. 

ELECTRIC ENERGY 

$\frac{1}{2}\ue89e{\varepsilon}_{0}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{E}^{2}\ue89e\phantom{\rule{0.2em}{0.2ex}}$

2.41890E − 17 J 



$\frac{1}{2}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\mathrm{\rho \phi}\ue89e\phantom{\rule{0.2em}{0.2ex}}$

2.55777E − 17 J 


MAGNETIC ENERGY 

$\frac{1}{2\ue89e{\mu}_{0}}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{B}^{2}$

4.84510E − 23 J 



$\frac{1}{2}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eJ.A$

4.90004E − 23 J 


RESISTANCE 

Resistance 
1.49831E + 4 Ω 



Crossing Wires

The second example concerns two crossing wires. This example addresses the threedimensional aspects of the solver. The structure is depicted in FIG. 16 and has four ports. In the simulation one port is placed at 0.1 volt and the other ports are kept at zero volt. The current is 4 Ampère. The simulation domain is 10×0×14 μm^{3}. The metal lines have a perpendicular cross section of 2×2 μm^{2}. The resistivity is 10^{−8 }μm. In table IV, some typical results are presented.

TABLE IV 

Some characteristic results for two crossing wires. 

ELECTRIC ENERGY 

$\frac{1}{2}\ue89e{\varepsilon}_{0}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{E}^{2}\ue89e\phantom{\rule{0.2em}{0.2ex}}$

1.03984E − 18 J 



$\frac{1}{2}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\mathrm{\rho \phi}\ue89e\phantom{\rule{0.2em}{0.2ex}}$

1.08573E − 18 J 


MAGNETIC ENERGY 

$\frac{1}{2\ue89e{\mu}_{0}}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{B}^{2}$

2.39503E − 11 J 



$\frac{1}{2}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eJ.A$

2.92924E − 11 J 


RESISTANCE 

Resistance 
0.25 Ω 


Square Coaxial Cable

To show that also inductance calculations are adequately addressed, the inductance per unit length (L) is calculated of a square coaxial cable as depicted in FIG. 17. The inductance of such a system with inner dimension a and outer dimension b, was calculated by:

$\begin{array}{cc}l\times \frac{1}{2}\ue89e{\mathrm{LI}}^{2}=\frac{1}{2\ue89e{\mu}_{0}}\ue89e{\int}_{\Omega}\ue89e{B}^{2}\ue89e\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv=\frac{1}{2}\ue89e{\int}_{\Omega}\ue89e\phantom{\rule{0.2em}{0.2ex}}\ue89e\uf74cv\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eJ\xb7A& \left(112\right)\end{array}$

with l denoting the length of the cable. As expected, for large values of the ratio r=b/a, the numerical result for the square cable approaches the analytical result for a cylindrical cable, L=[(μ_{0 }ln(b/a))/(2π)].

TABLE V 

Some characteristic results for a square coaxial cable. 



L 
L 
a 
b 

(cylindrical) 
(square) 
μm 
μm 
b/a 
(nH) 
(nH) 

2 
6 
3 
220 
255 
1 
5 
5 
322 
329 
1 
7 
7 
389 
390 
1 
10 
10 
461 
458 

Spiral Inductor

A spiral inductor, as shown in FIG. 18 was simulated. This structure also addresses the three dimensional aspects of the solver. The crosssection of the different lines is 1 μm×1 μm. The overall size of the structure is 8 μm×8 μm and the simulation domain is 23×20×9 μm^{3}.

In FIG. 19, the intensity of the magnetic field is shown at height 4.5 μm.

TABLE VI 

Some characteristic results for the spiral inductor. 

ELECTRIC ENERGY 

$\frac{1}{2}\ue89e{\varepsilon}_{0}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{E}^{2}\ue89e\phantom{\rule{0.2em}{0.2ex}}$

2.2202E − 18 J 

$\frac{1}{2}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e\mathrm{\rho \phi}\ue89e\phantom{\rule{0.2em}{0.2ex}}$

2.3538E − 18 J 
MAGNETIC ENERGY 

$\frac{1}{2\ue89e{\mu}_{0}}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89e{B}^{2}$

3.8077E − 13 J 

$\frac{1}{2}\ue89e{\int}_{\Omega}\ue89ed\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89ev\ue89e\phantom{\rule{0.3em}{0.3ex}}\ue89eJ.A$

3.9072L − 13 J 
RESISTANCE 

Resistance 
0.54 Ω 



The above threedimensional field solution method has been programmed in software for onchip passive structures. A TCAD software environment was built such that arbitrary Manhattanlike structures can be loaded, calculated and the results can be visualized. The multilayer stack of a backend process results in different material interfaces. The inclusion of the interface conditions in the TCAD software was done such that the electromagnetic response is accurately simulated. The treatment of the domain boundaries was done based on the idea that energy should not enter or leave the simulation domain except for the contact ports. The numerical implementation requires that all variables are scaled and the de Mari scaling was extended to include the vector field A and the ghost field χ. Numbering schemes for the nodes and the links were given and the solver requirements have been specified.

In calculating the above examples it is wasteful of nodes to have the same mesh size over the whole of the area/volume of interest. In certain areas/volumes, e.g. where the field intensities change rapidly or in areas/volumes of great importance it is preferred to have a smaller mesh size. However) in other areas it is economical in memory size and computing time to have a wider mesh spacing.

In a further embodiment of the invention a method is disclosed for refining a mesh. This method may be combined advantageously with the previous field calculation methods or may be used in the calculation of field problems by other methods, e.g. in fluid dynamics, mechanics etc. This embodiment is therefore not limited in its use to the above filed calculation methods. As an example the application of the method to a rectangular 2dimensional mesh in a predetermined domain will be described but the present invention is not limited to this number of dimensions. The rectangular mesh comprises nodes and onedimensional planes, i.e. lines called links, connecting these nodes. As a result, the domain is divided into 2dimensional rectangular first elements whereby each element is defined by 2^{2 }nodes, i.e. rectangles. The assembling is performed over these rectangles which makes sense despite the fact that the rectangles have four nodes. Indeed, if the solution were modeled as a linear function over a rectangle, the number of conditions for finding the coefficients would result into an overdetermined problem. Therefore, the interpolation is dependent on the purpose for which the interpolation is used. For postprocessing one may complete the mesh with a Delaunay tessellation and exploit linear interpolation, however, for solving the system of equations, only the end point values of each link or side enter the equations. A link (see FIG. 20) is a connection between two adjacent nodes and forms a side of a rectangle. In fact such a link is shared by a first and a second rectangle, said first rectangle and said second rectangle being adjacent rectangles, and has a twofold purpose. The link serves as the flux carrier for the first as well as the second rectangle, e.g. the top rectangle and the bottom rectangle. However, the flux of said first rectangle and the flux of said second rectangle are considered to be noninteracting and therefore, they satisfy the superposition principle. This is illustrated in FIG. 20. It is this observation that allows for a stable and correct assembling strategy using rectangles instead of triangles. In this assembling strategy, particularly in two dimensions, each node is connected to at most eight different sites in the lattice, since each rectangle can generate a connection to two different nodes. These nodes may all be different, although this is not a necessity.

The basic features of a CAM algorithm in accordance an embodiment of the present invention are introduced with an example. Suppose one wants to simulate the electrical potential W(x) in a rectangular grid defining some device, given that the electrical system is described by the Poisson equation with D(x)=εE(x) the electrical field and ρ(x) the electrical charge source and x the place coordinate. The rectangular device is represented by a domain D (FIG. 24). A first relation between the electrical field and the electrical potential is given. A second relation between the electrical charge source and the electrical potential is given. As such the Poisson equation can be expressed in terms of the electrical potential.

∇.
D(
x)=ρ(
x)
∇
^{2} W(
x)=ρ(
W(
x))

For said simulation the above equation is discretized on a rectangular grid or mesh. Said grid divides the domain D in a set of smaller domains D_{i}. The union of said domains D_{i }(D_{1}D_{13}) gives D. The equation is now written for each node of the grid. This is further illustrated for the node 9, central in the domain D. Around said node, four rectangles D_{5}, D_{7}, D_{6 }and D_{4 }are recognized. In each of said rectangles areas A_{1}, A_{4}, A_{3 }and A_{2 }(shaded in FIG. 24) are defined by taking the middle of the links, defined between the central node and the appropriate nodes of the rectangles. These nodes are denoted in FIG. 24 as black coloured nodes and numbered. Eight such nodes are defined. Said areas together define an overall area A=A_{1}+A_{2}+A_{3}+A_{4}. The above equation is now integrated over said area A and Stokes theorem is applied. The righthand side is approximated by the electrical charge on said central node. The lefthand side is replaced by a contourintegral of the electrical field along the boundaries of the area A. Said boundaries comprises of twelve lines of length d_{i }(d_{1}d_{12}). Only the electrical field along the links to the central node can be used. In the invented method the electrical field contributions along each such link are separated in two contributions. For instance the electrical field contribution along the horizontal link at the left side of the central node is defined to comprise of a first contribution I_{49}, running from node 4 to the central node and a second contribution I_{89}, running from node 8 to the central node. I_{49 }is related to the rectangle D_{6 }while I_{89 }relates to D_{4}. Said contributions are multiplied with the line length of the appropriate line, being the lines, orthogonal to the electrical field contribution under consideration. For the central node this results in the following equation, denoted the node balance:

I _{49} ×d _{1} +I _{93} ×d _{2} +I _{97} ×d _{4} +I _{96} ×d _{5} +I _{92} ×d _{7} +I _{19} ×d _{8} +I _{59} ×d _{10} +I _{89} ×d _{11}−ρ_{9} ×A=0

For each of the nodes of the mesh such an equation is written. In each equation the relation between the electrical charge ρ_{i }and the electrical field I_{ij }with the electrical potential is introduced. As such a set of nonlinear equations (ρ_{i }will depend itself nonlinearly on W_{i}) in the variables W_{i}, being the electrical potential at each node of the mesh, is obtained. Said set of equations is then solved by using an iterative procedure such as a NewtonRaphson scheme. In more general terms I_{ij }is denoted a linkcurrent and ρ_{i}×A is denoted source contribution.

The CAM algorithm can be written schematically in the following form:


program flux_solver 

call setup rectangle_init 
an initial mesh of rectangles is generated 
1 
call solve_on_rectangles 
the equations are solved on the current mesh 

call refine_rectangles 
mesh refinement using the CAM method 

if (refinement_need) go to 1 
the refinement is repeated till a predetermined 
refinement criterion is met 

stop 



The function solve_on_rectangles can be written schematically in the following form:




function solve_on_rectangles 

do for each rectangle 

find_variable_in_nodes 

assemble link_current 

do for each node 

assign link_current to node_balance 

assign source_contribution to node_balance 

enddo 

enddo 

solve_equations 



Note that other orderings of the doloops are also possible. The solve_equations routine can be any nonlinear equation solver.

According to this embodiment of the invention, a method is disclosed for locally refining a rectangular 2dimensional mesh in a predetermined domain, wherein the mesh comprises nodes and lines connecting these nodes thereby dividing said domain in 2dimensional first elements whereby each element is defined by 4 nodes. Particularly, this method, can locally refine an initial mesh comprising 2dimensional first elements, i.e. rectangles. This method comprises at least the steps of:

 creating a first additional node inside at least one of said first rectangles by completely splitting said first rectangle in exactly four second rectangles in such a manner that said first additional node forms a corner node of each of said second rectangles which results in the replacement of said first rectangle by said four second rectangles; and
 creating a second additional node inside at least one of said second rectangles by completely splitting said second rectangle in exactly four third rectangles in such a manner that said second additional node forms a corner node of each of said third rectangles which results in the replacement of said second rectangle by said four third rectangle.

This first additional node is created somewhere inside a rectangle. This can be anywhere inside a rectangle and thus not on a link (side) of the rectangle. Particularly, this first additional node can be created in the center of the rectangle. Regardless of the exact location of the first additional node, this first rectangle is split completely in exactly four new rectangles, i.e. second rectangles. In other words, the sum of the areas of these four second rectangles completely coincides with the area of this first rectangle and therefore this first rectangle can be deleted. This also holds in an analogous way for the second additional node.

In another embodiment the method of the present invention is embedded in an adaptive meshing strategy. Adaptive meshing is straightforward for ndimensional meshes comprising ndimensional elements whereby each element is defined by 2^{n }nodes. Particularly adaptive meshing can be easily implemented for a twodimensional mesh comprising rectangles. There are no restrictions on the number of links ending on another link as e.g. in the finitebox method. Therefore, extra algorithms for smoothing the mesh after the adaptive meshing are not required because there is no metastasis of spurious nodes into irrelevant regions; in other words the refinement remains locally. In FIG. 22, a possible result of such a meshing strategy is shown after two cycles of adaptation.

An important problem in simulation is the use of different physical models on different length scales, or alternatively, using the same physical models at different scales but with modified model parameters. In the latter case, the model parameters follow renormalization group flows, as in K. Wilson “Confinement of Quarks” Phys. Rev. D10, 2445 (1974). Both scenarios can be applied in restricted domains, without blurred transition regions, because the refinement scheme does not generate extra nodes which necessitate subsequent smoothing steps.

Concerning the issue of numerical stability of the method of the present invention, it is demonstrated that sets of equations of the type

$\overrightarrow{\nabla}\ue89e\xb7{\overrightarrow{J}}^{\left(k\right)}+\frac{\partial {\rho}^{\left(k\right)}}{\partial t}={S}^{\left(k\right)};$

k being a positive whole number
can be solved on a mesh obtained after a series of iterations. The key observation is that each mesh resembles a Kirchhoff network. Particularly, when considering a 2dimensional rectangular mesh, each current flows along a side (link) of an element and each side accumulates contributions from two adjacent elements (rectangles) sharing this particular link. Moreover, the currents arising from these two elements do not interact and therefore one may assemble each element independently, One has to keep in mind that the expressions for discretized currents in terms of the end point field values generate semidefinite Newton matrices. An adaptive meshing algorithm according to the method of the present invention, i.e. based on the renormalization group refinement method, is created and tested on a series of devices. No signals revealing instability are detected. The most comprehensive simulation is performed on a MOSFET, using the hydrodynamic model for holes and electrons. Solving five equations with the help of a simultaneous Newton solver for a mesh comprising 2000 nodes, no convergence slowdown was observed. The results agreed within 1% with results obtained with conventional schemes.
General Orthogonal Coordinate Systems

In three dimensions there exists 12 different classes of orthogonal coordinate systems. The orthogonality allows for applying the subdivision of any cell in 4 subcells by taking the mean of the minimum and maximum of the coordinate variables. The orthogonality is a sufficient reason for the guaranty that one does not have to include smoothing nodes. Another interesting application concerns the transition from one coordinate system to another. When using the method of the present invention, there are no restrictions on the number of links ending on another link. Therefore, the absence of smoothing nodes implies that only transition nodes have to be generated at the pre selected interval region. This is done by detecting the nodes in coordinate system A and in the transition region and by assigning refinement nodes to the coordinate system B. In the same way the nodes of coordinate system B lying in the transition region become new nodes for coordinate system A. This is illustrated in FIG. 23. An interpolation function needs to be chosen in order to avoid overdetermination of the system of nodal equations. In other words: The coordinate systems A and B are matched by transition boundary conditions.

In another embodiment of the present invention, a mesh is created using the locally refinement method of the present invention. Thereafter the mesh can be locally coarsened. When solving systems of partial differential equations of the type

$\overrightarrow{\nabla}\ue89e\xb7{\overrightarrow{J}}^{\left(k\right)}+\frac{\partial {\rho}^{\left(k\right)}}{\partial t}={S}^{\left(k\right)};$

k being a positive whole number
it is often observed that nodes are generated in the adaptive meshing strategy, during the iteration process towards the finally solution, whose existence becomes obsolete, when arriving at the final solution. These nodes are artifacts of the solution procedure and not relevant for describing the final solution with sufficient degree of accuracy. With the method presented here it becomes rather straightforward to clean up the final mesh from these nodes. For this task it is necessary to assign to each node its hierarchy during the generation of the mesh. The initial mesh comprises nodes and first elements and all these nodes obtain generation index 0, i.e. socalled parent nodes. The additional first nodes, which are obtained in the first generation, are given the index 1. These are children nodes. The process is continued by the generation of grandchildren and after X iterations, nodes from the Xth generation are obtained. Mesh coarsening can now be easily executed by deleting the nodes from the last generation and check for sustained accuracy. All parent nodes of a child node, which has been deleted, may now be checked for obsoleteness, and so on.

The CubeAssembling Meshing method is now demonstrated with the simulation of a microelectronic structure. A detailed exposure of the adaptive meshing strategy in a realistic application is presented. The selected structure is an implanted diode with side contact. The purpose of this example is twofold: (1) to demonstrate that the new method gives acceptable results, (2) to demonstrate that the method has been implemented in a twodimensional device simulator, which has served as a research tool for predicting highly unconventional devices, such as heterojunction type vertical transistors, multi layer HEMTS as well as more conventional structures, such as CMOS devices in operation points where effects are present which are very difficult to simulate, such as carrier heating.

All these structures have in common that commercial software tools do not provide sufficient reliable data for the parameters which are of interest to the process engineer. This situation is due to the fact that software development progresses in parallel with technology development. Having available a source code for the simulation of the internal dynamics inside devices, an ongoing activity has been to improve the algorithms which are exploited in solving the equations underlying the device dynamics. Although many code improvements deal with a gradual extension towards more accurate models to be implemented, occasionally dramatic jumps in code improvements are realized by implementing pieces of code which involve a new understanding of the mathematical machinery which applied.

In the past decade it is observed three instances of major breakthrough events in solving the semiconductor device equations on the computer. In 1988, a method for simulating abrupt hetero structures, by programming finite jumps in the matching conditions of the nodal values of the scalar functions in the finiteelement method. In 1993, a method was constructed for obtaining smooth solutions as well as a robust iterative scheme for finding the solutions of the energybalance equations by realizing that CGS solvers require a semidefinite NewtonRaphson Jacobian matrix. The third ‘quantum leap’ in improving the algorithm for finding the solutions of the semiconductor device equations was invented in 1998.

With decreasing device dimensions, there is an increasing need for the inclusion of quantum effects in the simulation method. The laws of quantummechanics are of a substantially different character as the laws of classical physics, e.g. even in first order quantization, wavelike equations need to be incorporated, which are very different from Poisson equation and balance equations in general which are of the diffusive type. This situation leads to reconsideration of the discretization schemes, with having in mind a method which decouples the macroscopic physics from the microscopic physics. The underlying idea is that quantum effects are important in particular regions of the device but that other parts the device could be described by the classical methods. Furthermore the quantum regime should be entered by locally refining the mesh in order to take into account the fact that the quantum effect are dominate on a small distance scale. A renormalization group transformation should realize the connection between the macroscopic and microscopic domains. Unfortunately, local mesh refinements in adaptive meshing schemes are always accompanied by spurious nodes which take care of a smooth transition between the fine and the coarse mesh. Such spurious nodes are lethal to the developed ideas for incorporating the quantum physics in the simulation method. Therefore, the question, whether it would be possible to incorporate a discretization scheme for the classical device equations, which may be submitted to local refinement without generating a metastasis of the spurious refinement nodes, has raised and been solved by the development of the CAMscheme. The method combines the finiteelement method with the boxintegration method and is applicable in an arbitrary number of dimensions. The method is limited to meshes consisting of the union of patches of orthogonal coordinate frames.

The device under consideration consists of a npdiode, whose third dimension is much larger as the first and the second dimension. Therefore, a twodimensional cross section suffices for the determination of the diode characteristics. In a perpendicular plane, the diode has dimensions 10 times 5 μm squared. A ptype doped region of size 5 times 2.5 μm squared is allocated in the upper left corner with a contact named top, and the remaining region is ntyped doped. There is a sidewall contact named side connected to the ntype region. When the diode is forward biased, a current flow is expected from the sidewall contact to the top contact. This current is not expected to be onedimensional due to the perpendicular orientation of the contacts. The adaptive meshing algorithm is expected to allocate refinement nodes such that the current paths can be accurately traced. In FIG. 25 the device layout is presented as it is drawn by the PRISM structure generator. The PRISM structure generator is a preprocessor which allows the user to design the geometric aspects as well as other issues, such as material selection, contact positioning and interface positioning.

The input file diode.dat for the simulator PRISM is presented below.


TITLE simulation of 5×10 diode structure with adaptive meshing 
MESH diode.str 
SQUARE 
* ===========================dopingprofiles============== 
UNIFORM −1.00E19 0.0 2.5001 5.0 5.0 
UNIFORM 1.00E19 0.0 0.0 5.0 2.5 
UNIFORM 1.00E19 5.0001 0.0 10.0 5.0 
* ===================================================== 
DIEL_CON sili 1 11.9 
DIEL_CON oxid 1 3.8 
* intrinsic concentration of Si: 
INTR_CAR sili 1 1.3E10 
TEMP 26.0 
MOB sili 11 400. 1500.0 
GF sili 03 f 
RECOM sili 1 5000.0 5000.0 
BIAS top 0.0 side 0.0 
ANAL BIHT 
CPUTIM 600.0 
* max no newton loops 
LOOPS 100 
$ solver accuracy: 
ACC 1.0d14 1.0d14 1.0d30 1.0d30 1 500 1.0d30 1.0d35 
NORM 1.0d3 1.0d2 5.0d2 1.0d2 5.0d2 
PRINT diode.out 3 
PLOT doping 6 doping 
SOLVE 


At the first run of a new structure the output of the PRISM structure generator is loaded into the PRISM simulation. This is the file diode.str as indicated in the second line. The file diode.str is printed below. In the section STRUCTURELINES for each line the fourth parameter gives the number of line divisions. With this parameter a crude initial mesh for performing initial calculations towards the final solution are generated. These number can be provided interactively with the structure generator.


<PRIMI> 
<TITLE> <none> 
<GRID> 1.000000e+01 5.000000e+00 2.500000e−01 2.500000e−01 
<GEOMETRY> 1 
<Points> 
0.000000e+00 1.250000e+00 1 
1.000000e+01 1.250000e+00 1 
2.500000e+00 5.000000e+00 1 
2.500000e+00 0.000000e+00 1 
0.000000e+00 2.500000e+00 1 
1.000000e+01 2.500000e+00 1 
5.000000e+00 5.000000e+00 1 
5.000000e+00 0.000000e+00 1 
0.000000e+00 0.000000e+00 1 
1.000000e+01 0.000000e+00 1 
1.000000e+01 5.000000e+00 1 
0.000000e+00 5.000000e+00 1 
<Lines> 
0.000000e+00 1.250000e+00 0.000000e+00 2.500000e+00 1 
1.000000e+01 1.250000e+00 1.000000e+01 0.000000e+00 1 
2.500000e+00 5.000000e+00 5.000000e+00 5.000000e+00 1 
2.500000e+00 0.000000e+00 0.000000e+00 0.000000e+00 1 
0.000000e+00 2.500000e+00 0.000000e+00 5.000000e+00 1 
1.000000e+01 2.500000e+00 1.000000e+01 1.250000e+00 1 
5.000000e+00 5.000000e+00 1.000000e+01 5.000000e+00 1 
5.000000e+00 0.000000e+00 2.500000e+00 0.000000e+00 1 
1.000000e+01 0.000000e+00 5.000000e+00 0.000000e+00 1 
1.000000e+01 5.000000e+00 1.000000e+01 2.500000e+00 1 
0.000000e+00 5.000000e+00 2.500000e+00 5.000000e+00 1 
0.000000e+00 0.000000e+00 0.000000e+00 1.250000e+00 1 
<EXTEND> 0.000000e+00 
<STRUCTURE> 
<Points> 16 
1 2.500000e+00 5.000000e+00 
2 0.000000e+00 2.500000e+00 
3 2.500000e+00 2.500000e+00 
.... 
.... 
<Lines> 24 
1 1 3 5 0 0 0 
2 2 3 5 0 0 0 
3 2 4 5 0 0 0 
.... 
.... 
<Areas> 9 
1 3 4 1 2 1 1 
2 1 5 6 7 1 1 
.... 
.... 
<MIC> 
<Materials> 1 
1 sili 
<Contacts> 2 
7 top 
9 side 
<Interfaces> 0 
<END> 


The execution of PRISM with the input file diode.dat generates two files related to the mesh construction. The first file diode.sqr is a detailed description which contains all structure information for applying the cube assemble method. Part of the file diode.sqr is printed below.




TITLE 

<none> 

NODE 

256 

2.50000000E+00 5.00000000E+00 

.00000000E+00 2.50000000E+00 

2.50000000E+00 2.50000000E+00 

.00000000E+00 5.00000000E+00 

..... 

..... 

SQUARES 

225 

19 131 132 20 1 1 

212 216 50 49 1 1 

128 20 1 32 1 1 

245 249 250 246 1 1 

..... 

..... 

INTERFACE 

0 

CONTACT 

17 

4 1 

1 1 

7 2 

.. .. 

.. .. 

LOG_NAMES 

2 0 1 

C 1 1top 

C 2 1side 

M 1 1sili 

END 



Furthermore, there is printed a file diode.gpt, which is suitable for drawing the initial mesh using xgnuplot. The plotting is presented in FIG. 26. In order to set up the initial square mesh from the structure file the initial run of the simulation is done without putting bias on the contacts. The BIAS card in the diode.dat file takes care of this aspect. A run without bias usually is fast and is suitable for a syntax analysis and name matching of the input files diode.dat and diode.str. Errors are reported in the output file diode.err. The initial solution should also be quickly obtained (i.e. a limited number of iterations should be used) otherwise there is likely a problem with the doping conditions. Part of the error file diode.err is presented below.


Section TITL 
has been read in. 
Section NODE 
has been read in. 
Section ELEM 
has been read in. 
Section CONT 
has been read in. 
Section LOG_{—} 
has been read in. 
CONTACT information: 
contact # 1 : length = .2500E+01 um 
contact # 2 : length = .2500E+01 um 
PRISM Version 4.0 rev 0, File run of: 1Dec98 15:43 
<none> 
DIEL_CON SILI 1 11.9 
DIEL_CON OXID 1 3.8 
INTR_CAR sili 1 1.3E10 
TEMP 26.0 
MOB SILI 11 400. 1500.0 
Energy balance mobility model E> T (Si) 
GF SILI 03 f 
No surface scattering included 
Field dependent mobility: Arora 
RECOM SILI 1 5000.0 5000.0 
ShockleyReadHall Recombination 
ANAL BIHT 
CPUTIM 600.0 
LOOPS 100 
ACC 1.0d14 1.0d14 1.0d30 1.0d30 1 500 1.0d30 1.0d35 
NORM 1.0d3 1.0d2 5.0d2 1.0d2 5.0d2 
PRINT diode.out 3 
DATA 
contact nos units 1 2 
contact name top side 
This mesh contains: 256 nodes, 225 squares. 
L2 norms: Poisson 2.5127E+03 
RESOUT: #loops, ERR1, ERR3, ALPHA, BETA, <r0,C.p(k)> 
 0  2.51E+03  .00E+00  .00E+00 .00E+00 .00E+00 
 2  7.01E−20  .00E+00  1.00E+00 4.55E−20 7.01E−20 
dpsi 3.70E−04 at node 37 Time is .02 
UPDATE1: loop iij= 0 damp TK= .10000E+01 Time is .02 
applied bias V .00000E+00 .00000E+00 
L2 norms : Poisson 4.1071E−01 
RESOUT: #loops, ERR1, ERR3, ALPHA, BETA, <r0,C.p(k)> 
 0  4.11E−01  .00E+00  1.00E+00 4.55E−20 7.01E−20 
 2  2.41E−27  .00E+00  1.00E+00 4.57E−20 2.41E−27 
dpsi 6.85E−08 at node 37 Time is .02 
UPDATE1: loop iij= 0 damp TK= .10000E+01 Time is .02 
THE CGSPC METHOD STOPPED DYNAMICALLY. ALFA= −.244083E−30 
NO OF ITERATIONS = 18 
DAMP1: damping factors TK,TK1 = .10000E+01 .10000E+01 
UPDATE dpsi= 1.57E−10 d0p= 1.11E−10 d0n= 1.87E−14 
at nodes( 40) ( 71) ( 113) 
L2 norms : Poisson 2.1668E−08 
L2 norms : Hole eqn 1.5673E−08 
L2 norms : Hole temp 1.5482E−07 
L2 norms : Elec eqn 2.4257E−08 
L2 norms: Elec temp 2.2549E−07 
Total 2.7590E−07 Time is .07 
CONVERGED: Current imbalance 7.0425D12 
ICLU: maximum dii_LLU = .58987E+05 minimum dii_LU = .96854E−05 
ICLU: maximum dii_AN = .10000E+01 minimum dii_AN = .16953E−04 
at A row 3 at A row 6 
ICLU: Number of corrected entries = 4 
RESOUT: #loops, ERR1, ERR3, ALPHA, BETA, <r0,C.p(k)> 
 0  5.38E−10  6.47E−10  −5.29E−02 −1.28E+00 −8.27E−27 
THE CGSPC METHOD STOPPED DYNAMICALLY. ALFA= −.534617E−30 
NO OF ITERATIONS = 31 
DAMP1: damping factors TK,TK1 = .10000E+01 .10000E+01 
UPDATE dpsi= 1.25E−10 d0p= 1.28E−10 d0n= 1.04E−10 
at nodes( 69) ( 6) ( 39) 
dtemp= 1.44E−17 dtemn= 1.94E−17 
at nodes( 178) ( 38) 
16 16 
Creating file doping.ddca 
Creating file doping.ddca 
New mesh: Ny = 16 Nx = 16 
with 0 interpolated values 


A summary file of the results is also produced which provides the biases at the contact and the resulting currents. The file is printed below.




PRISM Version 4.0 rev 0, File run of : 1Dec98 15:43 

DIEL_CON SILI 1 11.9 

DIEL_CON OXID 1 3.8 

INTR_CAR sili 1 1.3E10 

TEMP 26.0 

MOB SILI 11 400. 1500.0 

Energy balance mobility model E> T (Si) 

GF SILI 03 f 

No surface scattering included 

Field dependent mobility: Arora 

RECOM SILI 1 5000.0 5000.0 

ShockleyReadHall Recombination 

ANAL BIHT 

CPUTIM 600.0 

LOOPS 100 

ACC 1.0d14 1.0d14 1.0d30 1.0d30 1 500 1.0d30 1.0d35 

NORM 1.0d3 1.0d2 5.0d2 1.0d2 5.0d2 

PRINT diode.out 3 

DATA 

contact nos units 1 2 

12 contact name top side 

CONVERGED: Current imbalance 9.5643D15 

CONVERGED: Current imbalance 7.0425D12 

applied bias V .00000E+00 .00000E+00 

Sheet charge Ccm1 −6.19394E−23 1.32711E−22 

Hole current Acm1 6.26567E−10 5.57167E−31 

Elec current Acm1 1.72112E−27 −6.19524E−10 

Integrated electron conc 3.7624E+12 cm−1 

Integrated hole conc 1.2374E+12 cm−1 

Total run time > .917E−01mins 



Having obtained an initial mesh as well as a zero bias solution, one may proceed along different tracks. First a mesh refinement according to doping criteria and/or electric field criteria may be done. Other criteria do not make much sense at zero bias. One may also first ramp up the bias to some particular value and apply mesh adaption at the final stage. Which method is selected is not relevant for demonstrating the feasibility of the CubeAssembling Method, since in both cases the method should final mesh should result into a stable and convergent solution scheme. Which new nodes are ultimately participating depends on the history of the application of the refinement criteria and the order of applying first adaption and then refinement or first ramping and then adaption may effect the presence of final nodes.

Following the first option, i.e. applying adaption on the zerobias solution, refinement according to the doping and electricfield profile is obtained. In FIG. 27 to FIG. 32 six successive meshes are obtained by resubmitting the zerobias solution to the refinement tests based on the doping profile. In the following table the number of new nodes is given.


Cycle 
New nodes 
Total 


0 
0 
256 
1 
78 
334 
2 
153 
487 
3 
306 
793 
4 
286 
1079 
5 
6 
1085 
6 
7 
1092 


A currentvoltage plot is presented in FIG. 33. The convergence speed is similar to the zerobias case, which demonstrates that the cubeassembling method works properly. As such, it was demonstrated that a new assembling strategy based on a synthesis of the finiteelement method and the boxintegration method which allows mesh refinement without spurious nodes, does give a algorithm which is stable, robust and convergent.

While the invention has been shown and described with reference to preferred embodiments, it will be understood by those skilled in the art that various changes or modifications in form and detail may be made without departing from the scope and spirit of this invention. For example, although the embodiments of the present invention have been described generally with reference to Cartesian grids) the present invention may be applied to any form of grid used in numerical analysis. Further, although the present invention has been described with reference to the numerical analysis of Maxwell's equations it applies equally well to the solution of partial differential equations, including the refinement of the mesh used in such solutions.