公开(公告)号：CN108804793B

公开(公告)日：2021-11-26

申请号：CN201810542123.6

申请日：2018-05-30

Applicant: 福州大学

Inventor： 陈建利 ,  朱文兴 ,  李兴权 ,  朱自然 ,  陈宇航

IPC: G06F30/392 ,  G06F30/398

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

公开(公告)号：CN108804793A

公开(公告)日：2018-11-13

申请号：CN201810542123.6

申请日：2018-05-30

Applicant: 福州大学

Inventor： 陈建利 ,  朱文兴 ,  李兴权 ,  朱自然 ,  陈宇航

IPC: G06F17/50

CPC classification number: G06F17/5072 ,  G06F17/5081

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