[发明专利]版图验证规则文件测试向量的自动生成方法

说明书

技术领域

版图验证规则文件测试向量的自动生成方法是集成电路辅助设计软件工具中版图验证(DRC)中的一种优化方法。本发明属于集成电路辅助设计软件工具中版图验证领域。

背景技术

集成电路(IC)设计的后期包括版图设计和版图验证，而这两项功能是EDA工具中的重要环节；版图验证是根据版图设计规则、电学规则和原始输入的逻辑关系对版图设计进行正确性的验证并且可以通过对电路和参数的提取，产生电路模拟的输入文件进行后模拟，以进一步检查电学性能。

版图验证规则文件是用来验证版图设计是否符合工艺加工约束条件的重要文件，这个文件的正确与否直接关系着芯片加工成败。为了验证该规则文件的正确性，通用的方法是：根据规则文件的描述，由人工构造多个测试向量，然后分析测试向量的计算结果是否与预期一致。这里测试向量指的一般是一组版图图形，用来反映是否违反设计规则的测试用例。

人工构造测试用例的方法有两个显著缺点，首先，随着工艺技术的不断发展，设计规则的数目急剧膨胀，人工构造测试向量的方法工作量很大，效率很低。据统计，当集成电路工艺进入纳米尺寸后，一套工艺的设计规则数目往往超过1000个，假设每个设计规则需要构造6个以上的测试向量，每个测试向量构造需要花3分钟，总计一套规则的测试向量构造需要花费18000分钟，即300个小时，这个时间会严重影响开发效率。其次，人工构造向量用例难以保证测试的全面性。由于人在构造用例过程中难免会有小的疏忽与错误，会导致最终的设计规则文件隐含某些错误，最终导致芯片加工失败。

为了克服人工构造测试向量的缺陷，本发明提出了一种测试向量的自动生成方法，该方法由计算机程序自动生成覆盖全面的测试向量，可以在很短的时间内完成测试向量的生成，大大提高了开发效率，保证了规则文件的正确性。

发明内容

本发明提出了版图验证规则文件测试向量的自动生成方法，主要内容如下：

1.针对版图验证的原始工艺说明文件，构造一种形式化的描述语言，将自然语言转化为计算机可以理解的描述语言；

例如，一个典型的金属宽度描述的自然语言是：

Min.Width of ME1 is 0.6

为了使得上述自然语言被计算机程序接受，本发明提出了一种形式化的语言来描述上述规则，形式化描述如下：

RuleBegin

RuleName                METAL1_hla

LayerNum                1

Layer1No                6

Keyword                 Width

MaxValue                0.6

MinValue                0

RuleEnd

上述形式化描述中，RuleName是该规则的名字，LayerNum是该规则的输入层的总数目，Layer1No是数据的层号，Keyword是规则检查的关键字，MaxValue是该规则的最大值，MinValue是该规则的最小值。

2.针对上一步生成的形式化描述语言，通过自动构造的方法，由计算机程序自动生成对应的测试向量的脚本语言。

仍以上一步的例子为例，针对形式化描述语言，程序将自动生成符合设计规则的一批图形，这批图形以脚本语言的方式描述，更加直观和容易理解。脚本语言的内容如下：

GDSfileName    good_METAL1_hla.gds

DBunit         1000

CellBegin

CellName    good_METAL1_hla

createText  6 0 10000 1000 width_should_not be_less_than_0.6

createBox   6 0 0 10000 600

createBox   6 0 5000 10000 5620

CellEnd

上述脚本语言描述了针对第一步的设计规则自动生成的一组测试向量图形，其中gdsFileName是准备输出的测试向量文件名，Dbunit是数据库的单位，CellName是输出的测试向量单元名，createText是程序自动生成的测试向量的注释，createBox是程序自动生成的2个测试向量图形，该图形的宽度刚好满足设计规则规定的0.6的大小。