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

说明书

本发明涉及一种最小化平均和最大移动的混合高度单元合法化方法，把电路表示为超图模型；将单元设置方向后，对齐到临近且正确匹配的电源轨道行上；对多倍行高标准单元进行预处理，并通过对目标函数和约束的分析和重构，将混合高度标准单元合法化模型规划为混合整数二次规划模型；将混合整数二次规划模型转换成二次规划模型；将二次规划模型转化为对应的线性互补模型；用基于模数的矩阵分裂迭代法来求解线性互补模型；进行行重分配以及对多倍行高标准单元进行复原；采用基于线性规划的方法和Kuhn‑Munkres算法对最小移动单元进行合法化。本发明提出的方法同时对所有的单元进行优化，可满足目前VLSI的混合高度标准单元合法化阶段的需求。

技术领域

本发明涉及VLSI混合高度标准单元合法化的自动化技术，特别是一种最小化平均和最大移动的混合高度单元合法化方法。

背景技术

随着现代电路设计的日益复杂，标准单元通常根据面积、功率和速度等特性产生不同的单元高度。例如，更高的单元能够给予更大的驱动力和更好的可布通性，以此同时需要更大的面积和功率成本。反之，较矮的单元的驱动力和可布通性较差，但所需要耗费的面积和功率成本较小。因此，为了满足各种各样的电路设计要求，混合高度标准单元的电路变得越来越流行，简单的标准单元被设计为单倍行高的结构，而复杂的标准单元被设计为多倍行高的结构。为了保持现有全局布局的质量，一个理想的合法化方法应该使平均单元移动和最大单元移动都最小化。

一个现代的布局流程通常包括三个主要阶段：(1)全局布局：允许单元之间有少量重叠，通过求解最小化线长及满足一定约束的布局问题来产生单元的最佳位置；(2)合法化：将单元对齐到行上，并消除全局布局之后遗留的重叠，目标是最小化单元的移动量(或线长增加)；(3)详细布局：在合法化的基础上局部移动部分单元，进一步改善结果。由于异构的单元结构(较大的解空间)和额外的电源轨道的限制，多倍行高标准单元布局设计产生了具有挑战性的问题，特别是混合高度标准单元的合法化问题。

一般的混合高度标准单元的合法化问题是NP-难问题，因为它本质上是一个strippacking问题。Tetris和Abacus是用来解决传统的单倍行高标准单元最流行的合法化方法；然而，现有的工作表明，直接修改这两种方法不能有效的来处理混合高度标准单元的合法化问题。在单倍行高标准单元合法化中，单元的重叠在行与行之间是互相独立的。但是，在混合高度标准单元合法化中，单元的重叠在行与行之间是不独立的，即在一行中移动单元可能会导致另一行的单元重叠。因此，在合法化多倍行高的标准单元时，需要考虑多个行之间是否会有单元重叠。

现有的混合高度标准单元的合法化方法存在下列两个问题：(1)均是用启发式的方法逐个对单元进行合法化，处理问题的角度过于局部；(2)缺乏理论依据，不能很好的保证合法化的质量。(3)不能同时最小化平均和最大单元移动，现有全局布局的质量难以保证。因此，为了得到更好的合法化结果，从一个更加全局的角度来考虑该合法化问题，并设计相应的有一定理论基础的高效算法是值得考虑的。

发明内容

本发明的目的在于提供一种最小化平均和最大移动的混合高度单元合法化方法，以克服现有技术中存在的缺陷。

为实现上述目的，本发明的技术方案是：一种最小化平均和最大移动的混合高度单元合法化方法，包括如下步骤：

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

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

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

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

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