[发明专利]最小化平均和最大移动的混合高度单元合法化方法

权利要求书

1.一种最小化平均和最大移动的混合高度单元合法化方法，其特征在于，包括如下步骤：

步骤S1：把电路表示为超图模型H＝{V,E}；

步骤S2：将单元设置方向后，对齐到临近且正确匹配的电源轨道行上；

步骤S3：对多倍行高标准单元进行预处理，并通过对目标函数和约束的分析和重构，将混合高度标准单元合法化模型转换为一个考虑平均、最大单元移动的混合整数二次规划模型；

在所述步骤S3中，所述混合整数二次规划问题对应的目标为：

所述混合整数二次规划问对应的约束为：

x_i+ω_i≤x_j+M(1-z_ij)，z_ij∈{0,1}，当

其中，α_i：预设参数；x_i，y_i：单元c_i当前的横坐标和纵坐标；单元c_i初始的横坐标和纵坐标；y′_i：单元c_i对齐到正确的行后的纵坐标；R_h：行高；单元c_i允许向下或向上的移动行数；w_i：单元c_i的宽度；M：预设常数；

步骤S4：将混合整数二次规划模型转换成二次规划模型；

在所述步骤S4中，所述二次规划模型的目标为：

所述二次规划模型的约束为：

如果sc_i和sc_j是相邻的，且

sc_i1,···,sc_ir来自同一个单元

其中，β_ij：人为设定参数；VMI_i：单元c_i允许竖直方向移动的区间；o_i：单元c_i的竖直移动的方向，向上或者向下；r_i：单元c_i的行数；sc_i,为单元集合SC的子单元；

步骤S5：将二次规划模型转化为对应的线性互补模型；

步骤S6：用基于模数的矩阵分裂迭代法来求解线性互补模型；

步骤S7：进行行重分配以及对多倍行高标准单元进行复原；

步骤S8：采用基于线性规划的方法和Kuhn-Munkres算法对最小移动单元进行合法化。

2.根据权利要求1所述的最小化平均和最大移动的混合高度单元合法化方法，其特征在于，在所述步骤S1中，对于所述超图模型H＝{V,E},V＝{v₁,v₂,…,v_n}表示电路单元的集合,E＝{e₁,e₂,…,e_n}表示线网集合；对于VLSI混合高度标准单元合法化模型，布局区域是矩形薄板，它的左下角坐标为(0,0)，右上角为(W,H)；对于单元v_i(i＝1,2,…,n)，记w_i为其宽度，h_i为其高度，(x_i,y_i)为其左下角坐标，(x’_i,y’_i)为其全局布局的左下角坐标。