一种用于混合高度标准单元电路设计的合法化方法技术

本发明专利技术涉及一种用于混合高度标准单元电路设计的合法化方法，该方法的技术方案要点如下：（1）根据全局布局得到的单元位置顺序并松弛布局区域的右边界约束，将混合高度标准单元的合法化问题转化为对应的LCP，它可以被现有的优化方法有效地解决；（2）对转换后的LCP中的矩阵以适当的方式进行分解，并使用MMSIM来求解转换后的LCP，该适当的矩阵分解不仅满足了MMSIM收敛的要求，同时也大大加快了计算时间；（3）该方法是同时对所有的单元进行优化，而不是逐个单元进行优化，从一个更加全局的角度来考虑了该合法化问题。实验结果表明该方法可以提供高效实用的合法化结果(尤其对大规模的实例)，可满足目前VLSI的混合高度标准单元合法化阶段的需求。

【技术实现步骤摘要】
一种用于混合高度标准单元电路设计的合法化方法
本专利技术涉及超大规模集成电路(VLSI)物理设计自动化
，特别是涉及一种用于混合高度标准单元电路设计的合法化方法。
技术介绍
随着现代电路设计的日益复杂，标准单元通常根据面积、功率和速度等特性产生不同的单元高度。例如，更高的单元能够给予更大的驱动力和更好的可布通性，以此同时需要更大的面积和功率成本。反之，较矮的单元的驱动力和可布通性较差，但所需要耗费的面积和功率成本较小。因此，为了满足各种各样的电路设计要求，混合高度标准单元的电路变得越来越流行，简单的标准单元被设计为单倍行高的结构，而复杂的标准单元被设计为多倍行高的结构。一个现代的布局流程通常包括三个主要阶段：(1)全局布局：允许单元之间有少量重叠，通过求解最小化线长及满足一定约束的布局问题来产生单元的最佳位置；(2)合法化：将单元对齐到行上，并消除全局布局之后遗留的重叠，目标是最小化单元的移动量(或线长增加)；(3)详细布局：在合法化的基础上局部移动部分单元，进一步改善结果。由于异构的单元结构(较大的解空间)和额外的电源轨道的限制，多倍行高标准单元布局设计产生了具有挑战性的问题，特别是混合高度标准单元的合法化问题。一般的混合高度标准单元的合法化问题是NP-难问题，因为它本质上是一个strippacking问题。Tetris和Abacus是用来解决传统的单倍行高标准单元最流行的合法化方法；然而，现有的工作表明，直接修改这两种方法不能有效的来处理混合高度标准单元的合法化问题。在单倍行高标准单元合法化中，单元的重叠在行与行之间是互相独立的。但是，在混合高度标准单元合法化中，单元的重叠在行与行之间是不独立的，即在一行中移动单元可能会导致另一行的单元重叠。因此，在合法化多倍行高的标准单元时，需要考虑多个行之间是否会有单元重叠。现有的混合高度标准单元的合法化方法存在下列两个问题：(1)均是用启发式的方法逐个对单元进行合法化，处理问题的角度过于局部；(2)缺乏理论依据，不能很好的保证合法化的质量。因此，为了得到更好的合法化结果，从一个更加全局的角度来考虑该合法化问题，并设计相应的有一定理论基础的高效算法是值得考虑的。
技术实现思路
有鉴于此，本专利技术的目的是提供一种用于混合高度标准单元电路设计的合法化方法，其基本思想是先将混合高度标准单元的合法化问题转化为对应的线性互补问题(LCP)，并使用基于模数的矩阵分裂迭代法(MMSIM)来求解转换后的LCP，该矩阵分解不仅满足了MMSIM收敛的要求，同时也大大加快了计算时间，从而快速地得到混合高度标准单元合法化问题的最优解或接近最优的解。本专利技术采用以下方案实现：一种用于混合高度标准单元电路设计的合法化方法，该合法化方法首先把电路表示为超图，并根据全局布局得到的单元位置顺序并松弛布局区域的右边界约束，将混合高度标准单元的合法化问题转化为对应的LCP；然后，对转换后的LCP中的矩阵以适当的方式进行分解，并使用MMSIM来求解转换后的LCP；最后，用类似Tetris的分配方法来对单元进行放置，得到一个高质量的合法化结果，包括如下步骤：步骤S1:把电路表示为超图H＝{V,E}；步骤S2:将单元对齐到最近且正确匹配电源轨道的行上；步骤S3:对多倍行高标准单元进行预处理,并将混合高度标准单元合法化问题用一个二次规划的数学模型表示；步骤S4:将二次规划问题转化为对应的线性互补问题LCP；步骤S5:用基于模数的矩阵分裂迭代法MMSIM来求解LCP；步骤S6:对多倍行高标准单元进行复原；步骤S7:用类似Tetris的方法对单元进行放置。进一步地，所述步骤S1的实现方式具体为：把电路表示为超图模型H＝{V,E},其中，V＝{v1,v2,…,vn}表示电路元件的集合,E＝{e1,e2,…,en}表示线网集合；对于VLSI混合高度标准单元合法化问题，布局区域是矩形薄板，它的左下角坐标为(0,0)，右上角为(W,H)，对于单元vi(i＝1,2,…,n)，记wi为其宽度，hi为其高度，(xi,yi)为其左下角坐标，(x’i,y’i)为其全局布局的左下角坐标；同时在一个混合高度标准单元的设计中，接电源线VDD和接地线VSS在行间交错排列，每个单元正确对齐，即单元的电源/接地引脚必须匹配相应的行；对于一个奇数倍行高的标准单元，该对齐方式直接实现或通过垂直翻转单元实现；对于偶数倍行高的标准单元，只能被对齐在一个适当的电源轨，即只能直接实现来满足电源轨道对齐的约束，而不能通过垂直翻转单元实现。如附图2所示，奇数倍行高的标准单元A和C可以放置到任何一行，直接或通过垂直翻转单元来匹配正确的VDD/VSS电源轨道。然而，偶数倍行高的标准单元B必须与同一类型的电源轨道对齐，因为单元B的顶部和底部都是要对齐VSS的。如果单元B顶部和底部对齐到VDD线，那么该单元的放置是非法的,并且这种电源轨道不匹配并不能通过垂直翻转单元来解决。混合高度标准单元合法化的目标是将每个单元vi放置到坐标(xi,yi)上，使得单元总位移量最小，并且满足下列4个约束条件：(1)单元必须放置在芯片内；(2)单元必须位于行上的placementsites；(3)单元之间必须没有任何重叠；(4)单元必须与正确的电源轨道对齐，即优化以下数学模型(1)：进一步地，所述步骤S2中，将单元对齐到最近且正确匹配电源轨道的行上，对于一个奇数倍行高的标准单元，它最近且正确的行是距离它的全局布局y’坐标最近的行；而对于一个偶数倍行高的标准单元，它最近的正确的行是离全局布局y’坐标最近并且要正确匹配电源轨道的行；如果所有的单元都被分配到最近且正确匹配电源轨道的行上了，则单元在y方向上的位移量最小，因此，假设每一行中的单元按全局布局的左下角坐标x’排序，若在全局布局中，单元j位于单元l的右边，则x’j≥x’l，那么，混合高度标准单元的合法化的数学模型(1)松弛为以下数学模型(2)：在上面的数学模型(2)中，因为多倍行高标准单元占据多个行，所以多倍行高标准单元会在约束中考虑多次；与此相反，单倍行高标准单元只占用一行，所以单倍行高标准单元在约束中最多会考虑两次。进一步地，所述步骤S3中，为了保证MMSIM求解混合高度标准单元合法化问题的收敛性，将数学模型(2)所述的合法化问题转化为以下数学模型(3)：其中Q是单位矩阵，p是一个向量，p的第i个分量pi＝-x’i，B是约束矩阵，并且B中每行只有两个非零元素-1和1，它的行数是约束条件的个数，列数是变量的个数。矩阵E的定义如下，如果单元i是单倍行高的，本专利技术引入变量xi1来表示该单元；否则，将多倍行高标准单元划分成多个单倍行高的子单元，并用变量xi1,xi2,...,xid,来表示，其中d是子单元的个数；新的约束Ex＝0确保每个多倍行高标准单元的子单元坐标是相等的。对于数学模型(3)，本方明引入一个罚因子λ来将等式约束加到目标函数中，则数学模型(3)可以被改写为以下数学模型(4)：数学模型(4)中罚因子λ影响多倍行高的标准单元所分成的子单元之间的距离，如果λ的值足够大时，理论上一个多倍行高单元分成的子单元都会位于同一位置。进一步地，所述步骤S4中，由于矩阵Q+λETE是对称正定的，所以由KarushKuhnTucker本文档来自技高网...

【技术保护点】
一种用于混合高度标准单元电路设计的合法化方法，其特征在于：包括如下步骤：步骤S1:把电路表示为超图H＝{V,E}；步骤S2:将单元对齐到最近且正确匹配电源轨道的行上；步骤S3:对多倍行高标准单元进行预处理,并将混合高度标准单元合法化问题用一个二次规划的数学模型表示；步骤S4:将二次规划问题转化为对应的线性互补问题LCP；步骤S5:用基于模数的矩阵分裂迭代法MMSIM来求解LCP；步骤S6:对多倍行高标准单元进行复原；步骤S7:用类似Tetris的方法对单元进行放置。

【技术特征摘要】
1.一种用于混合高度标准单元电路设计的合法化方法，其特征在于：包括如下步骤：步骤S1:把电路表示为超图H＝{V,E}；步骤S2:将单元对齐到最近且正确匹配电源轨道的行上；步骤S3:对多倍行高标准单元进行预处理,并将混合高度标准单元合法化问题用一个二次规划的数学模型表示；步骤S4:将二次规划问题转化为对应的线性互补问题LCP；步骤S5:用基于模数的矩阵分裂迭代法MMSIM来求解LCP；步骤S6:对多倍行高标准单元进行复原；步骤S7:用类似Tetris的方法对单元进行放置。2.根据权利要求1所述的一种用于混合高度标准单元电路设计的合法化方法，其特征在于：所述步骤S1的实现方式具体为：把电路表示为超图模型H＝{V,E},其中，V＝{v1,v2,…,vn}表示电路元件的集合,E＝{e1,e2,…,en}表示线网集合；对于VLSI混合高度标准单元合法化问题，布局区域是矩形薄板，它的左下角坐标为(0,0)，右上角为(W,H)，对于单元vi(i＝1,2,…,n)，记wi为其宽度，hi为其高度，(xi,yi)为其左下角坐标，(x’i,y’i)为其全局布局的左下角坐标；同时在一个混合高度标准单元的设计中，接电源线VDD和接地线VSS在行间交错排列，每个单元正确对齐，即单元的电源/接地引脚必须匹配相应的行；对于一个奇数倍行高的标准单元，该对齐方式直接实现或通过垂直翻转单元实现；对于偶数倍行高的标准单元，只能被对齐在一个适当的电源轨，即只能直接实现来满足电源轨道对齐的约束，而不能通过垂直翻转单元实现；混合高度标准单元合法化的目标是将每个单元vi放置到坐标(xi,yi)上，使得单元总位移量最小，并且满足下列4个约束条件：(1)单元必须放置在芯片内；(2)单元必须位于行上的placementsites；(3)单元之间必须没有任何重叠；(4)单元必须与正确的电源轨道对齐，即优化以下数学模型(1)：3.根据权利要求1所述的一种用于混合高度标准单元电路设计的合法化方法，其特征在于：所述步骤S2中，将单元对齐到最近且正确匹配电源轨道的行上，对于一个奇数倍行高的标准单元，它最近且正确的行是距离它的全局布局y’坐标最近的行；而对于一个偶数倍行高的标准单元，它最近的正确的行是离全局布局y’坐标最近并且要正确匹配电源轨道的行；如果所有的单元都被分配到最近且正确匹配电源轨道的行上了，则单元在y方向上的位移量最小，因此，假设每一行中的单元按全局布局的左下角坐标x’排序，若在全局布局中，单元j位于单元l的右边，则x’j≥x’l，那么，混合高度标准单元的合法化的数学模型(1)松弛为以下数学模型(2)：在上面的数学模型(2)中，因为多倍行高标准单元占据多个行，所以多倍行高标准单元会在约束中考虑多次；与此相反，单倍行高标准单元只占用一行，所以单倍行高标准单元在约束中最多会考虑两次。4.根据权利要求1所述的一种用于混合高度标准单元电路设计的合法化方法，其特征在于：所述步骤S3中，为了保证MMSIM求解混合高度标准单元合法化问题的收敛性，将数学模型(2)所述的合法化问题转化为以下数学模型(3)：其中Q是单位矩阵，p是一个向量，p的第i个分量pi＝-x’i，B是约束矩阵，并且B中每行只有两个非零元素-1和1，它的行数是约束条件的个数，列数是变量的个数。矩阵E的定义如下，如果单元i是单倍行高的，引入变量xi1来表示该单元；否则，将多倍行高标准单元划分成多个单倍行高的子单元，并用变量xi1,xi2,...,xid,来表示，其中d是子单元的个数；新的约束Ex＝0确保每个多倍行高标准单元的子单元坐标是相等的。对于数学模型(3)，引入一个罚因子λ来将等式约束加到目标函数中，则数学模型(3)被改写为以下数学模型(4)：数学模型(4)中罚因子λ影响多倍行高的标准单元所分成的子单元之间的距离，如果λ的值足够大时，理论上一个多倍行高单元分...

【专利技术属性】
技术研发人员：陈建利，朱自然，朱文兴，
申请(专利权)人：福州大学，
类型：发明
国别省市：福建,35