一种集成电路版图验证中矩形包含规则的验证方法技术

本发明专利技术公布了一种集成电路版图验证中矩形包含规则的验证方法(以下简称验证方法)，所属的技术领域是集成电路计算机辅助设计领域，尤其是涉及集成电路版图的设计规则检查(DRC)和版图与原理图的一致性检查(LVS)领域。本发明专利技术提出了“边对区间”的概念，首先将图形分为多个边对区间，利用边对区间限定图形包含矩形的位置范围；然后利用边对区间的位置关系，不断地更新和调整已有边对区间矩形包含的位置范围，如果找到一个边对区间满足矩形包含规则，则图形满足矩形包含规则。在集成电路版图验证中利用本方法，可以大幅地改善矩形包含规则验证的效率，扩大可验证版图的规模。

【技术实现步骤摘要】

本专利技术是一种用于集成电路版图验证工具中矩形包含规则的验证方法，所属的
是集成电路计算机辅助设计领域，尤其是涉及集成电路版图的设计规则检查(DRC)和版图与原理图的一致性检查(LVS)领域。
技术介绍
在过去的30年里，集成电路技术得到了巨大的发展。芯片的特征尺寸越来越小，单个芯片的集成度也越来越高。随着芯片规模的扩大，在集成电路设计的各个阶段所需验证的设计规则也在不断增多。其中集成电路版图的设计规则检查(DRC)以及集成电路版图与原理图的一致性检查(LVS)变得越来越重要，它们对于消除错误、降低设计成本和减少设计失败的风险具有重要作用。在超大规模集成电路的设计中，版图规模急剧膨胀，后端版图物理验证成为集成电路设计的一项瓶颈。I.扫描线在集成电路版图验证中的应用扫描线方法最初是为解决线段相交问题而提出的。由于其快速、有效的优点而在图形运算中得到广泛应用，是目前已知的最有效的版图运算方法。其基本思想为(I)扫描线停顿点为线段的左、右端点及线段间的交点。(2)垂直扫描线从左向右运动，在每一个停顿点处停留。起始于当前扫描线的所有线段进入当前工作表，终止于当前扫描线的所有线段从工作表中删去，跨越当前扫描线的线段仍然保留。(3)在当前扫描线状态下，工作对象都在当前工作表中。DRC不同于线段求交和图形的逻辑、拓扑运算，其任务是几何图形的尺寸检查。扫描线方法对于图形检查具有独特的优势，当图形中没有斜边时，扫描线方法可以大大简化，效率也有较大提升。在本专利技术中对于有斜边和无斜边的图形，采用了不同的扫描线方法，大幅提升了矩形包含规则的验证效率。2.集成电路版图DRC验证中的矩形包含规则简介在集成电路版图的DRC验证中，矩形包含规则是指对于版图中某个图层的图形，验证其是否可以包含给定长宽的矩形，其中矩形包含的方式限定为水平包含、斜45度包含或者斜135度包含三种，也可以指定矩形只能以水平方式包含。针对甚大规模集成电路版图验证中的矩形包含规则验证，目前还没有一个快速有效的方法，当集成电路版图规模很大时，面临验证时间过长，甚至导致版图验证最终不可解的问题。
技术实现思路
本专利技术针对集成电路版图验证中矩形包含规则验证所面临的问题，提出了 “边对区间”的概念，首先将图形切分为多个边对区间，利用边对区间限定矩形包含的位置范围；然后利用边对区间的位置关系，不断地更新和调整已有边对区间矩形包含的位置范围，如果找到一个边对区间满足矩形包含规则，则该图形满足矩形包含规则。在集成电路版图验证中利用本方法，大幅地改善了矩形包含规则验证的效率，扩大了可验证版图的规模。主要技术方案包括以下两个方面第一，边对区间的概念。首先，边对的概念是指扫描线上顺序的两条边，在这两条边中间的区域为图形内部，依据边的类型，边对分为水平和非水平两种。边对区间是指一个二维区域，在X轴方向上的部分为两条边在X轴上的公共部分，在I轴方向指位于两条边所夹的部分。根据边对区间的定义，一个图形所包含的矩形必定在这个图形的一个或多个边对区间内。所以验证矩形包含规则的基本思想是依次找出图形的所有边对区间，每一个边对区间对应三种矩形包含的位置范围，分别为水平包含范围、斜45度包含范围和斜135度包含范围；利用边对区间的位置关系，新生成的边对区间对已有边对区间矩形包含的位置范 围进行更新和调整，直到找到一个满足矩形包含规则的边对区间，或者图形结束。第二，对图形进行分类，不同类图形采用不同的方法验证矩形包含规则。将图形分为以下三类矩形图形，利用判断条件直接验证矩形包含规则；除矩形之外的无斜边图形，采用水平边对区间验证图形的矩形包含规则；有斜边图形，则采用非水平边对区间验证。附图说明图I无斜边图形及水平边对区间示意图；图2有斜边图形及非水平边对区间示意图；图3矩形的位置点更新示意4方法总流程图；图5扫描线方法流程图。具体实施例方式本方法针对不同的图形分类处理，对应于无斜边图形和有斜边图形，边对区间分为以下两种(I)水平边对区间，指两条边都为水平边的边对。一个边对区间对应矩形包含的三种位置范围，如图I中的(b)、(c)和(d)所示大括号对应的范围，即为边对(bl，b2)的三种矩形包含的位置范围。位置范围的变化沿y轴方向，如果其下界yl小于等于上界y2，则位置范围有效，否则为无效。(2)非水平边对区间，指边对的两条边中至少有一条是非水平边。如图2中(b)、(c)和(d)所示，图中大括号指定的范围为非水平边对区间(al，a2)对应的三种矩形包含的位置范围，位置范围的变化包括沿y轴方向和沿斜边方向的变化。如果位置范围的变化沿着y轴方向，则当其下界yl小于等于上界12时，位置范围有效；如果位置范围的变化沿斜边方向，当矩形在斜边上的顶点X坐标位于边对两条边在X轴方向的公共范围内时，位置范围有效。边对区间的有效性判断如下边对区间的三种矩形包含的位置范围只要有一个有效，则边对区间有效，只有当三种位置范围都无效时，边对区间才无效。边对区间的范围与所要包含矩形的左下角顶点位置相对应，在斜45度或者斜135度包含的情况下，当扫描线从边对区间的开始位置在X轴方向经过的距离大于等于sqrt (2) *L时，如果位置范围有效，则边对区间可以包含一个倾斜的矩形，否则，边对区间不能包含一个倾斜的矩形；在矩形水平包含的情况下，当扫描线从边对区间的开始位置在X轴方向经过的距离大于等于L时，如果位置范围有效，则边对区间可以包含一个水平的矩形，否则，边对区间不能包含一个水平的矩形。当指定矩形只能以水平方式包含时，边对区间只验证是否可以包含一个水平的矩形。边对区间的矩形包含范围被新生成的边对区间不断更新和调整，具体地更新和调整方式如下用新生成边对的两条边来限定和更新在y轴方向有重叠部分的已生成的边对区间，更新矩形包含范围的上边界或下边界，从而推算出矩形包含的位置点坐标，再以位置点坐标更新矩形包含位置范围的上下界。以水平边对区间为例，当矩形是水平包含方式时，假定新生成边对中一条边的一个顶点为(Xn，Yn)，已有边对区间矩形包含的位置范围为，如果对矩形包含范围的上界更新，则更新后的位置范围为；如果对矩形包含范围的下界进行更新，则更新后的位置范围为。当矩形包含方式是斜45度或者斜135度时，如图3中(a)和(b)所示，将包含矩形的位置沿x轴方向分为三段，利用简单的几何知识，不难得到一个与之对应的分段函数来计算包含矩形的位置点坐标。在更新矩形包含范围时，首先判断新生成边对中边的顶点位于哪一段，然后再推算出包含矩形的位置点坐标，最后对矩形位置范围的上界或下界进行更新。本方案的总流程图如图4所示，对于不同的图形，采用以下的方法分别处理(I)矩形的验证方法。当要验证的图形为矩形时，假定其长为nLength，宽为nffidth (要求nLength > = nffidth),所要包含的矩形长度为L,宽度为W (要求L > = W),那么有如下两个判断条件条件一(L< = nLength && W < = nffidth) | | (L < = nffidth && W < = nLength)条件二sqrt(2) * nffidth-ff > = L条件一用来本文档来自技高网...

【技术保护点】
一种集成电路版图验证中矩形包含规则的验证方法，其技术特征包含以下两点：①对不同类型的图形分别采用“无斜边图形的验证方法”和“有斜边图形的验证方法”，两种验证方法的基本思想都是：首先将图形切分为多个边对区间，然后通过不断调整边对区间包含矩形的位置范围，验证矩形包含规则。②边对区间的生成和调整都借助于“扫描线方法”。

【技术特征摘要】

【专利技术属性】
技术研发人员：丁丰庆，于士涛，宋德强，
申请(专利权)人：北京华大九天软件有限公司，
类型：发明
国别省市：