This invention generally relates to probabilistic models for calculating wire density in different areas of a datapath or hardmac, and more specifically relates to a probabilistic model which differentiates between horizontal and vertical segments.
One prior art approach for calculating wire density in different areas of a datapath is based on a simplified density model and is used for placement quality estimation only. The approach is not accurate, does not differentiate between vertical and horizontal segments of connections, does not take into account all possible shortest length configurations of connections, and is unacceptable for calculating a congestion map.
A general object of an embodiment of the present invention is to provide a method of estimating wire densities which differentiates between horizontal and vertical segments.
Another object of an embodiment of the present invention is to provide a method of estimating wire densities which facilitates the formulation of a congestion map.
Still another object of an embodiment of the present invention is to provide a probabilistic model which takes into account all possible shortest length configurations of connections, thereby being sufficiently accurate to estimate wire density.
Briefly, and in accordance with at least one of the foregoing objects, an embodiment of the present invention provides a method of accurately estimating horizontal and vertical wire densities in a datapath or hardmac. The method provides that the datapath or hardmac is divided into areas, and mathematical expectations are calculated for full and partial horizontal and vertical segments for each of the areas. The mathematical expectations are summed for both the horizontal and vertical segments, and this is done for each connection within the datapath or hardmac in order to estimate both horizontal and vertical wire densities. A congestion map can be created, and 100% detail routing is effectively guaranteed as a result of using the method.
The organization and manner of the structure and operation of the invention, together with further objects and advantages thereof, may best be understood by reference to the following description, taken in connection with the accompanying drawings, wherein like reference numerals identify like elements in which:
a–4f show six different possible connection configurations in a given area A;
a and 9b show two different minimum bends configurations;
a shows the horizontal probabilities for the configuration shown in
b shows the horizontal probabilities for the configuration shown in
a and 14b show two different two bends configurations;
a and 18b show two different three bends configurations.
While the invention may be susceptible to embodiment in different forms, there are shown in the drawings, and herein will be described in detail, specific embodiments with the understanding that the present disclosure is to be considered an exemplification of the principles of the invention, and is not intended to limit the invention to that as illustrated and described herein.
An embodiment of the present invention provides a probabilistic method for calculating wire density in different areas of the datapath (the term “datapath” is to be construed very broadly herein, as the term is used herein to mean any type of real estate) and other hardmacs with a given cell placement. The method is based on a probabilistic model of connection between two pins. The model takes into account all possible shortest length configurations of the connection, and differentiates between vertical and horizontal segments of the connection. Thus, the model is sufficiently accurate to be used for wire density estimation, and provides that congestion maps can be calculated.
Initially, as shown in
With regard to the possible shortest length configurations for connection C from pin P1 to pin P2 (see
As shown in
The situation where pin P2 is higher than pin P1 (as shown in
where
N(P1, A′) is the number of possible paths from P1 to area A′;
N(A″, P2) is the number of possible paths from area A″ to P2; and
N(P1, P2) is the number of possible paths from P1 to P2.
Taking into account the formula (equation (1) above) for the number N(P1, P2) of paths between two points, all the numbers which are needed to calculate the mathematical expectation Mh1(A) can be found:
where
N(A′″, P2) is the number of possible paths from area A′″ to P2, and coefficient 0.5 indicates that there is only half of a horizontal segment in area A.
Taking into account the formula (equation (1) above) for the number N(P1, P2) of paths between two points, all the numbers which are needed to calculate the mathematical expectation Mh2(A) can be found:
where
N(P1, A″″) is the number of possible paths from P1 to area A″″, and coefficient 0.5 indicates that there is only half of a horizontal segment in area A.
Taking into account the formula (equation (1) above) for the number N(P1, P2) of paths between two points, all the numbers which are needed to calculate the mathematical expectation Mh3(A) can be found:
To determine the whole mathematical expectation MhAll(A) of all horizontal segments of all connections, the following summation is calculated:
where Mhc(A)=Mh(a) is the whole mathematical expectation of horizontal segments in area A for one connection c.
The same approach can be used to obtain formulas for vertical segments and the case where P1 is higher than P2.
From the formulas above, it can be concluded that the time complexity of the algorithm will depend on how fast factorials (n!) Can be calculated. If a straightforward calculation is used, then the time complexity for one connection and one area is O(m+n). The time complexity for one connection and all areas (see
n!=e(n+0.5)·1nn−n+1n√{square root over (2π)} (10)
Then, the time complexity becomes O(MDPNDPN). The same time complexity and even better time can be obtained if factorials of integer numbers are tabulated in advance for the range of approximately [1–100].
The time efficient method (time complexity is proportional to the product of the connections and areas) described above can be used to accurately estimate horizontal and vertical wire density in different areas of datapath or hardmac. The approach is a good probabilistic model for connections going through areas with high wire density. The model differentiates between horizontal and vertical segments, and takes into account all possible shortest length configurations of connections. The model also provides for the calculation of a congestion map.
However, the approach described above has the following two drawbacks for chip areas with low and middle wire density. First, it assumes that the connection can have any configuration with the same probability. This is not always true as the connection more likely has a configuration with a small number of bends in chip areas with low and middle wire density. Second, it assumes that the probability of any connection configuration that goes through or near the center of the bounding box (i.e. rectangle [a,b,c,d]) (see
A better approach uses the model with minimum bends in areas with low wire density, and uses models with more bends in areas with middle and high wire density. The rule is: “the more wire density the more bends in the model”. First, the model with minimum bends is found, then the model is used recursively to build other models with more bends.
Initially, the chip is divided into MDP by NDP squared areas as shown in
The minimum bends model (i.e. model 1) describes all connection configurations with only one bend and the shortest length.
The probability P(a) for each area A of the connection bounding box [a,b,c,d] to have the connection (P1, P2) will now be found (see
a shows the bounding box [a,b,c,d] (see
The whole mathematical expectation Mh(A) can be found as a sum:
Mh(A)=Mh1(A)+Mh2(A) (11)
of mathematical expectations for both configurations shown in
Mh(A)=0.5 if i=1 and j=2, 3, . . . , n−1 (12)
Mh(A)=0.5 if i=m and j=2,3, . . . , n−1 (13)
Mh(A)=0.25 if i=1 and j=1 or j=n (14)
Mh(A)=0 if i=2, 3, . . . , m−1 and j=1, 2, . . . , n, (15)
where local (inside [a,b,c,d]) numeration of rows and columns is used.
The same formulas can be used for horizontal segments when point P1 is higher than point P2.
To determine the mathematical expectation MhAll(A) of all horizontal segments of all the connections, the following summation is calculated:
where Mhc(A) Mh(A) is the whole mathematical expectation of horizontal segments in area A for one connection c.
The same approach is used to obtain formulas for vertical segments (see
Mv(A)=0.5 if j−1 and i=2, 3, . . . , m−1 (17)
Mv(A)=0.5 if j=m and i=2,3, . . . , m−1 (18)
Mv(A)=0.25 if j=1 and i=1 or i=m (19)
Mv(A)=0 if j=2,3, . . . , n−1 and i=1,2, . . . , m, (20)
where local (i.e. inside [a,b,c,d]) numeration of rows and columns is used.
The same formulas can be used for vertical segments when point P1 is higher than point P2.
To calculate the mathematical expectation MvAll (A) of all vertical segments of all the connections, the following summation is calculated:
From the formulas above, it can be concluded that the time complexity of the model will depend on n and m. The time complexity for one connection is O(m+n). The time complexity for all N connections is O(N(m+n)).
Next, the obtained formulas for one bend configurations are recursively used to find models with 2, 3 . . . bends. With regard to a connection configuration with two bends, there are two possible types of configurations, and these are shown in
To determine all mathematical expectations, two bend configurations are considered as a combination of all possible one bend configurations (P1, P2′). There are m possible locations for P2′ for the configurations shown in
Mh(A)=Mh1(A)+Mh2(A)+ . . . +Mh(m+n)(A) (22)
of mathematical expectations for all possible configurations in
The formula for mathematical expectation Mh(A) is as follows:
where local (i.e. inside [a,b,c,d]) numeration of rows and columns is used.
The same formulas can be used for horizontal segments when point P1 is higher than point P2. The same approach can be used to obtain formulas for vertical segments:
where local (i.e. inside [a,b,c,d]) numeration of rows and columns is used.
From the formulas above, it can be concluded that the time complexity of the model will depend on n and m. The time complexity for one connection and one area is O(mn). The time complexity for all N connections is O(Nmn). With the increase of bends in the model, the time complexity also increases.
A three bends model will now be outlined. To arrive at the three bend model, the obtained formulas for the two bend configuratiosn will be used.
The time efficient models described above can be used to accurately estimate horizontal and vertical wire density in different areas of datapath or hardmac. These models take into account all possible minimal bends and shortest length configurations of the connection. Thus, these models are accurate enough to be used for wire density estimation in areas with low, middle and high wire density. Preferably, the model with minimum bends is used in areas with low wire density, and models with more bends are used in areas with middle and high wire density.
While embodiments of the present invention are shown and described, it is envisioned that those skilled in the art may devise various modifications of the present invention without departing from the spirit and scope of the appended claims.
Number | Name | Date | Kind |
---|---|---|---|
5311443 | Crain et al. | May 1994 | A |
5587923 | Wang | Dec 1996 | A |
5701255 | Fukui | Dec 1997 | A |
5784289 | Wang | Jul 1998 | A |
6067409 | Scepanovic et al. | May 2000 | A |
6348813 | Agrawal et al. | Feb 2002 | B1 |
6442745 | Arunachalam et al. | Aug 2002 | B1 |
6480991 | Cho et al. | Nov 2002 | B1 |
20030005398 | Cho et al. | Jan 2003 | A1 |