[发明专利]一种广义模迭代法应用于混合尺寸单元电路合法化方法

权利要求书

1.一种广义模迭代法应用于混合尺寸单元电路合法化方法，其特征在于：包括如下步骤：

S1:将多倍行高标准单元进行预处理；

S2:将标准单元从固定宏块中移除；

S3:将混合尺寸标准单元合法化问题描述成二次规划的数学模型；

S4:将二次规划模型转换成线性互补问题；

S5:用广义的模系矩阵分裂迭代法求解线性互补问题；

S6:将多倍行高标准单元进行还原。

2.根据权利要求1所述一种广义模迭代法应用于混合尺寸单元电路合法化方法，其特征在于：所述步骤S1的具体实现方式包括：芯片的布局区域用其左下角坐标(0,0)和右上角坐标(W,H)表示，W表示布局区域的宽度，H表示布局区域的高度，待布局的标准单元集为C＝(c₁,c₂,…c_n)，其中单元c_i的初始左下角坐标为宽度及高度分别为w_i，h_i，合法化之后的坐标为(x_i,y_i)，对于多倍行高标准单元，将其表示成多个子单元，用(c_i1,c_i2,…c_it)表示，其中，t表示标准单元的高度与行高的比值。

3.根据权利要求1所述一种广义模迭代法应用于混合尺寸单元电路合法化方法，其特征在于：所述步骤S2中，由于标准单元中可能存在面积较大的宏块，对于这类单元，通常将其位置固定，不会随意移动它们，因此在布局中，这类宏块变成了障碍物，在该步骤中，将与宏块重叠的可移动标准单元从其上移出，移到最近的不与宏块重叠的位置上去。

4.根据权利要求1所述一种广义模迭代法应用于混合尺寸单元电路合法化方法，其特征在于：所述步骤S3中，假设标准单元已经对齐到最近的与其电源类型相匹配的行上，合法化过程是以标准单元总位移最小为目标，并消除单元之间的重叠，可描述为如下述模型(1):

上述模型为凸二次规划问题，可写为标准形式：

其中，B是一个单位矩阵，为一个列向量，由于单元之间不能相互重叠，因此任意相邻的单元间应满足x_j-x_i≥w_i(x_j≥x_i)，若任意两个相邻的单元对都满足该条件，则可以写成Wx≥d，矩阵W为相邻单元间的约束矩阵，它的每一行仅包含2个元素，即-1和1，分别表示每一个相邻单元对中的左侧和右侧的单元，向量d中对应的分量表示左侧单元的宽度，若该左侧单元紧邻宏块，其宽度为单元本身的宽度加上宏块的宽度；则矩阵W和向量d的行数为约束的个数，W为多倍行高单元的约束矩阵，它的列数为经预处理后总的标准单元数，即单倍行高单元的数量加上多倍行高单元分成的所有子单元数量，矩阵R中每一行同样由2个元素，即-1和1组成，分别表示同一个多倍行高单元相邻两行的子单元，约束Rx＝0了保证其子单元x坐标相等；

应用拉格朗日乘子法，将二次规划中的等式约束加入到目标函数中，则(8)可表示为：

其中，λ为拉格朗日乘子。

5.根据权利要求4所述一种广义模迭代法应用于混合尺寸单元电路合法化方法，其特征在于：所述步骤S4中，根据Karush-Kuhn-Tucker(KKT)条件，可知存在向量r,u，使得(x,r,u)满足如下KKT条件：

在方程组(5)中的不等式约束d-Wx≤0加入松弛系数e且e0，使得d-Wx+e＝0，则Wx-d＝e,将方程组(8)改下为如下形式：

上述方程组(5)可改写为如下形式：

令该问题则是找到一对解向量满足如下条件：

w＝Az+q≥0,z≥0 and w^Tz≥0. (7)

问题(8)则为线性互补问题。