专利名称：版图验证中不等于检查规则的自动生成方法
技术领域：
版图验证中的不等于检查是IC CAD工具中版图验证中设计规则检查(DRC)中的 一种特殊操作。本发明属于IC CAD工具中版图验证领域。
背景技术：
集成电路(IC)设计的后期包括版图设计和版图验证，而这两项功能是EDA工具中 的重要环节；版图验证是根据版图设计规则、电学规则和原始输入的逻辑关系对版图设计 进行正确性的验证并且可以通过对电路和参数的提取，产生电路模拟的输入文件进行后模 拟，以进一步检查电学性能。版图验证规则中，最常见的检查规则是小于检查，即一旦图形的距离小于某个固 定值，有可能导致加工失效的检查，这类规则称为版图验证中必须的检查。还有一类检查是 优化版图的检查，要保证版图中的图形距离既不能太小，也不能太大，如果太小了违反加工 的规则，如果太大了又会导致版图面积过大，增加了芯片的加工成本。目前，这类优化检查 最具有代表性的一类规则就是不等于检查，即检查某个图形的距离是否不等于某个固定的 数值，如果不等于，则报告错误，要求用户修改。按照一般的版图验证规则文件，为了实现宽度不等于的检查，很容易想到采用如 下的语法来实现Internal AA ！=距离值 //其中 AA 代表有源区 ACTIVE AREA但是很遗憾，上述写法在所有的版图验证工具中都被定义为非法语句，主要的原 因在于，版图验证的算法都采用在某个距离范围内所有的图形两两相互比较的策略，如果 出现了！=的符号，就需要在整个版图中对所有的图形进行两两比较，这个比较算法是 0(n2)的操作，其中η是版图中所有图形的个数，这个算法会导致版图验证算法效率急剧降 低，用户几乎不能接受。因此，在版图验证工具的规则文件中不允许出现！=的符号。为了解决用户在实际应用中用到不等于检查的需求，本发明提出了一种解决不等 于检查的高效方法，它允许用户在规则文件中出现！=的符号，然后在程序实现过程中自 动将！=符号转化为另外的高效计算命令来实现，有效满足了用户的需求。
发明内容
本发明针对版图验证中的不等于检查规则，提出了一套自动生成其它规则的解决 方法，分为四种情况，具体思路如下1.宽度不等于检查规则的自动生成宽度不等于检查可以分解为两种情况，一种是宽度比要求的数值小的图形，一种 是宽度比要求的数值大的图形，通过下述两条命令的组合可以实现不等于检查。假设图形 层为NWELL，其检查的宽度不等于值为wid。1) Internal NWELL < wid(见图 1)2) Size NWELL by wid/ (-2. 0)(见图 2)
上述命令中，Internal是一个命令操作的关键字，其含义是检查一个图形的宽度 距离，在1)中，就是检查NWELL层中宽度小于wid图形作为错误结果层。Size是一个命令 操作的关键字，其含义是把图形按照一个固定的数值向外或向内缩放，缩放是按照图形上 下左右进行内缩或外扩一个固定数值，正数代表向外扩大，负数代表向内缩小，在2)，即是 把所有宽度或长度小于wid的图形缩掉。2.间距不等于检查规则的自动生成要检查两层图形的间距是否不等于某个固定值，可以采取将第一层图形向外延伸 这个固定值，然后检查延伸后的图形是否刚好和第二层图形刚好接触。具体的方式是假设第一层为NN(Native Device)，第二层为NWELL，其检查的间距不等于值为 wid.1)NN1 = Expand Edge NN Outside wid2)NWELL Not Touch Edge NNl其中第一条命令中Expand Edge是图形延伸操作的关键字，其含义是把图形的每 条边向某个方向向外或向内延伸固定的距离，Outside是第二关键字，表示延伸的方向是向 外。第二条命令中的Not With Edge是图形关系检查的关键字，其含义是如果两层图 形的边没有刚好挨在一起，则结果为空。该命令的具体解释可以参见图3。3.延伸长度不等于检查规则的自动生成要检查一层图形伸出另外一层图形的延伸长度是否不等于某个固定值，可以采取 把一层图形向外延伸一定距离，然后检查延伸后的图形是否刚好和另外一层图形接触的策 略。具体的方式是假设第一层为AA (ACTIVE AREA)，第二层为SMN+Implantation)，其检查的延伸长 度不等于值为wid.DAAl =AA Inside Edge SN2)AA2 = Expand EdgeAAl outside wid3) SN Not Touch Edge AA2其中第一条命令中Inside Edge是查找图形关系的关键字，其含义首先找出图形 层1中位于图形层2内部的所有边，第二条命令Expand Edge是把这些边向外延伸一定距 离，第三条命令Not Touch Edge是比较延伸后AA2中的边是否与SN的边重叠在一起。该命令的具体解释可以参看图4。4.包围距离不等于检查规则的自动生成要检查一层图形包围另外一层图形的距离是否不等于某个固定值，可以采取把一 层图形向外扩展一定距离，然后检查延伸后的图形是否刚好和另外一层图形完全重合。具 体的方式是假设第一层为NR(NWell Resister)，第二层为 SN(N+Implantation)，其检查的包 围长度不等于值为wid.DNRl = Size NR by wid2)AAl = AA Not Outside NR
3) NRl Xor AAl其中第一条命令首先把图形层1向外扩展一定距离，第二条命令把位于第一层图 形里面的第二层图形挑选出来，第三条命令检查第一条命令的结果是否与第二条命令的
结果完全重合。该命令的具体解释可参看图5。
图1宽度不等于检查规则的小于规则图示，宽度不等于4. 0检查中小于命令的图 示图2宽度不等于检查规则的大于规则图示，宽度不等于4. 0检查中大于命令的图 示图3间距不等于检查规则图示，间距不等于1. 0检查规则的图示图4延伸长度不等于检查规则图示，扩展长度不等于1. 0检查规则的图示图5包围距离不等于检查规则图示，包围长度不等于1. 0检查规则的图示具体实施步骤第一步在命令文件中增加！=的语法，允许用户在命令文件中输入不等于检查 的规则。第二步判断用户命令文件中出现的不等于检查属于4类检查中的哪一种。第三步根据4类不同检查的定义，将不等于检查转化为通常的一组命令。第四步执行转化后的命令文件，完成全部检查。
权利要求
1.版图验证工具中不等于检查规则的自动生成方法，它的基本含义是在一般的版图验 证规则文件中，禁止直接书写不等于的检查规则；为了满足用户的不等于检查需求，提出了 一种自动生成该规则的方法。 具体步骤如下(1)针对版图验证的中的宽度检查不等于需求，采用如下两条组合规则来实现1)Internal NWELL < wid//wid 为检查的宽度值2)SizeNWELL by wid/(-2. 0)(2)针对版图验证中的间距不等于检查，采用如下两条组合规则来实现 NNl = Expand Edge NN Outside wid //wid 为检查的间距值NWELL Not Touch Edge NNl(3)针对版图验证中的扩展长度不等于检查，采用如下三条组合规则来实现 AAl = AAInside Edge SNAA2 = Expand EdgeAAloutside wid//wid 为检查的扩展长度值 SN Not Touch Edge AA2(4)针对版图验证中的包围距离不等于检查，采用如下三条组合规则来实现 NRl = Size NR by wid //wid为检查的包围距离值AAl = AA Not Outside NR NRl Xor AAl说明上述提到的层名为缩写，其对应定义如下NWELL 为 N-Well,NN 为 Native Device,AA 为 ACTIVE AREA,SN 为 N+Implantation,NR 为 NWell Resister0
全文摘要
版图验证中的不等于检查是IC CAD工具中版图验证中设计规则检查中的一种特殊操作。本发明属于IC CAD工具中版图验证领域。版图验证规则中，有一类检查规则称为不等于检查，即检查某个图形的距离是否不等于某个固定的数值，如果不等于，则报告错误。为实现宽度不等于的检查，可采用如下的语法Internal AA！＝距离值但是上述写法在所有的版图验证工具中都被定义为非法语句，因为这个写法会导致版图验证算法效率急剧降低，用户不能接受。本发明提出了一种解决不等于检查的高效方法，它允许用户在规则文件中出现！＝的符号，然后在程序实现过程中自动将！＝符号转化为另外的高效计算命令来实现，满足了用户的需求。
文档编号G06F17/50GK102004806SQ20091007031
公开日2011年4月6日 申请日期2009年9月1日 优先权日2009年9月1日
发明者侯劲松 申请人:天津蓝海微科技有限公司