-
公开(公告)号：CN108846187B
公开(公告)日：2022-07-15
申请号：CN201810563559.3
申请日：2018-05-25
Applicant: 福州大学
IPC: G06F30/392 , G06F30/398 , G06F115/06
Abstract: 本发明提供一种基于广义增广拉格朗日的集成电路全局布局优化方法，其包括以下步骤：步骤S1：将电路表示为超图；电路中的每个单元都被当成一个顶点；每个线网被当作是一个超边；步骤S2：提供一广义增广拉格朗日方法，并用其解决VLSI全局布局问题；步骤S3：证明了该广义增广拉格朗日方法对于全局布局问题是全局收敛的；步骤S4：将该广义增广拉格朗日方法应用于处理带有线网拥塞度约束的全局布局问题。本发明保留了二次罚方法和增广拉格朗日法的优点，并将二次罚方法平稳地过渡到了增广拉格朗日法。用该方法来求解全局布局问题时，单元可以在“二次罚”阶段迅速扩散，并为“增广拉格朗日”阶段提供一很好的初始解，最终得到高质量的结果。
-
公开(公告)号：CN108804793B
公开(公告)日：2021-11-26
申请号：CN201810542123.6
申请日：2018-05-30
Applicant: 福州大学
IPC: G06F30/392 , G06F30/398
Abstract: 本发明涉及一种最小化平均和最大移动的混合高度单元合法化方法，把电路表示为超图模型；将单元设置方向后，对齐到临近且正确匹配的电源轨道行上；对多倍行高标准单元进行预处理，并通过对目标函数和约束的分析和重构，将混合高度标准单元合法化模型规划为混合整数二次规划模型；将混合整数二次规划模型转换成二次规划模型；将二次规划模型转化为对应的线性互补模型；用基于模数的矩阵分裂迭代法来求解线性互补模型；进行行重分配以及对多倍行高标准单元进行复原；采用基于线性规划的方法和Kuhn‑Munkres算法对最小移动单元进行合法化。本发明提出的方法同时对所有的单元进行优化，可满足目前VLSI的混合高度标准单元合法化阶段的需求。
-
公开(公告)号：CN110147632B
公开(公告)日：2020-11-10
申请号：CN201910465654.4
申请日：2019-05-30
Applicant: 福州大学
IPC: G06F30/392
Abstract: 本发明涉及一种考虑非均匀轨道和障碍物的拓扑匹配总线布线方法，首先进行预处理，将非均匀轨道结构与障碍物统一起来；接着将拓扑考虑的单个总线布线作为一个不可分割的流问题，并将其集成到基于协商的全局布线中，以确定每个总线所需的布线区域；然后在步骤S2的指导下，将轨道分配到总线的各个部分，降低后续步骤中维护相同布线拓扑的难度；最后进行详细布线，以连接每个总线的各个部分。本发明采用工业界的测试例子对本发明所提出的算法进行测试，实验结果表明，本发明提出的算法可以快速地得到一个高质量的结果。
-
公开(公告)号：CN106777849A
公开(公告)日：2017-05-31
申请号：CN201710207178.7
申请日：2017-03-31
Applicant: 福州大学
IPC: G06F17/50
Abstract: 本发明涉及一种用于求解给定边框约束的VLSI版图设计方法，采用随机化的策略，将一个随机初始布局作为混合模拟退火算法的初始解。提出了将边框约束作为目标函数的违背惩罚函数。该函数在考虑围住候选布图结果的最小矩形超出给定边框的面积函数基础之上，引入了考虑各个模块超出给定边框的长度函数。在加入了混合模拟退火算法的基础上，又引入了可行解策略。使得经过一系列B*‑tree扰动产生的解都是可行解，从而使得算法能够得到较优的解。又引入了混合模拟退火算法来搜索最优解，在该算法中，新的温度更新公式被采用。新的温度更新公式缩短解空间搜索阶段的时间，将更多的时间用于在温度上升阶段寻找较优的解，增大了找到最优解的概率。
-
公开(公告)号：CN106971041A
公开(公告)日：2017-07-21
申请号：CN201710207179.1
申请日：2017-03-31
Applicant: 福州大学
CPC classification number: G06F17/5072 , G06N3/126
Abstract: 本发明涉及一种用于求解VLSI不可二划分版图规划设计方法，包括(1) 在全局搜索阶段，采用遗传算子操作进行全局搜索。此算子可有效地增大解的种类及搜索到最优解的可能性。(2)在局部搜索阶段，循环地调用混合模拟退火算法。此算法可有效地搜索局部最优解。(3)在平衡全局和局部搜索阶段，采用死亡概率策略。死亡概率策略缩减解空间的大小，从而使得全局搜索和局部搜索达到一定的平衡。在该策略中，根据自然规律，种群中每个个体不可能一直生存也不可能立即死亡，基于此规律，种群中每个个体被赋予一个实际年龄和动态地生存年龄。本发明所提供的方法可以提供高效实用的版图规划结果，且规划结果可满足目前VLSI的版图规划设计的需求。
-
Patent Agency Ranking
公开(公告)号：CN106971042B
公开(公告)日：2019-10-15
申请号：CN201710207592.8
申请日：2017-03-31
Applicant: 福州大学
IPC: G06F17/50
Abstract: 本发明涉及一种用于混合高度标准单元电路设计的合法化方法，该方法的技术方案要点如下：（1）根据全局布局得到的单元位置顺序并松弛布局区域的右边界约束，将混合高度标准单元的合法化问题转化为对应的LCP，它可以被现有的优化方法有效地解决；（2）对转换后的LCP中的矩阵以适当的方式进行分解，并使用MMSIM来求解转换后的LCP，该适当的矩阵分解不仅满足了MMSIM收敛的要求，同时也大大加快了计算时间；（3）该方法是同时对所有的单元进行优化，而不是逐个单元进行优化，从一个更加全局的角度来考虑了该合法化问题。实验结果表明该方法可以提供高效实用的合法化结果(尤其对大规模的实例)，可满足目前VLSI的混合高度标准单元合法化阶段的需求。
-
公开(公告)号：CN106971042A
公开(公告)日：2017-07-21
申请号：CN201710207592.8
申请日：2017-03-31
Applicant: 福州大学
IPC: G06F17/50
Abstract: 本发明涉及一种用于混合高度标准单元电路设计的合法化方法，该方法的技术方案要点如下：（1）根据全局布局得到的单元位置顺序并松弛布局区域的右边界约束，将混合高度标准单元的合法化问题转化为对应的LCP，它可以被现有的优化方法有效地解决；（2）对转换后的LCP中的矩阵以适当的方式进行分解，并使用MMSIM来求解转换后的LCP，该适当的矩阵分解不仅满足了MMSIM收敛的要求，同时也大大加快了计算时间；（3）该方法是同时对所有的单元进行优化，而不是逐个单元进行优化，从一个更加全局的角度来考虑了该合法化问题。实验结果表明该方法可以提供高效实用的合法化结果(尤其对大规模的实例)，可满足目前VLSI的混合高度标准单元合法化阶段的需求。
-
公开(公告)号：CN110147632A
公开(公告)日：2019-08-20
申请号：CN201910465654.4
申请日：2019-05-30
Applicant: 福州大学
IPC: G06F17/50
Abstract: 本发明涉及一种考虑非均匀轨道和障碍物的拓扑匹配总线布线方法，首先进行预处理，将非均匀轨道结构与障碍物统一起来；接着将拓扑考虑的单个总线布线作为一个不可分割的流问题，并将其集成到基于协商的全局布线中，以确定每个总线所需的布线区域；然后在步骤S2的指导下，将轨道分配到总线的各个部分，降低后续步骤中维护相同布线拓扑的难度；最后进行详细布线，以连接每个总线的各个部分。本发明采用工业界的测试例子对本发明所提出的算法进行测试，实验结果表明，本发明提出的算法可以快速地得到一个高质量的结果。
-
公开(公告)号：CN108846187A
公开(公告)日：2018-11-20
申请号：CN201810563559.3
申请日：2018-05-25
Applicant: 福州大学
IPC: G06F17/50
Abstract: 本发明提供一种基于广义增广拉格朗日的集成电路全局布局优化方法，其包括以下步骤：步骤S1：将电路表示为超图；电路中的每个单元都被当成一个顶点；每个线网被当作是一个超边；步骤S2：提供一广义增广拉格朗日方法，并用其解决VLSI全局布局问题；步骤S3：证明了该广义增广拉格朗日方法对于全局布局问题是全局收敛的；步骤S4：将该广义增广拉格朗日方法应用于处理带有线网拥塞度约束的全局布局问题。本发明保留了二次罚方法和增广拉格朗日法的优点，并将二次罚方法平稳地过渡到了增广拉格朗日法。用该方法来求解全局布局问题时，单元可以在“二次罚”阶段迅速扩散，并为“增广拉格朗日”阶段提供一很好的初始解，最终得到高质量的结果。
-
公开(公告)号：CN108804793A
公开(公告)日：2018-11-13
申请号：CN201810542123.6
申请日：2018-05-30
Applicant: 福州大学
IPC: G06F17/50
CPC classification number: G06F17/5072 , G06F17/5081
Abstract: 本发明涉及一种最小化平均和最大移动的混合高度单元合法化方法，把电路表示为超图模型；将单元设置方向后，对齐到临近且正确匹配的电源轨道行上；对多倍行高标准单元进行预处理，并通过对目标函数和约束的分析和重构，将混合高度标准单元合法化模型规划为混合整数二次规划模型；将混合整数二次规划模型转换成二次规划模型；将二次规划模型转化为对应的线性互补模型；用基于模数的矩阵分裂迭代法来求解线性互补模型；进行行重分配以及对多倍行高标准单元进行复原；采用基于线性规划的方法和Kuhn‑Munkres算法对最小移动单元进行合法化。本发明提出的方法同时对所有的单元进行优化，可满足目前VLSI的混合高度标准单元合法化阶段的需求。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.017 seconds)
