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

摘要

版图验证规则文件是用来验证版图设计是否符合工艺加工约束条件的重要文件，为了验证该规则文件的正确性，需要构造很多测试向量，然后分析测试向量的计算结果是否与版图验证规则文件一致。传统的分析方法是：针对每个测试向量，人工比对每个计算结果是否符合预期。人工比对测试用例的方法有两个显著缺点，首先，人工比对测试向量的方法工作量很大，效率很低；其次，人工比对构造向量难以保证测试的全面性。本发明提出了一种测试向量的自动比对方法，该方法由计算机程序自动检查版图验证规则文件与测试向量是否完全一致，通过自动检查存在性、完整性、互斥性三个原则可以在很短的时间内完成测试向量的比对，保证规则文件的正确性。

主权项

版图验证规则文件与测试向量的自动比对方法，它的基本含义是在版图验证规则的测试向量构造完毕后，需要检查该测试向量与版图验证的规则文件是否完全一致，现有的方法是完全依靠人工去分析和判断，工作量大且无法覆盖全面；为了提高分析比较效率，本发明提出了一种对测试向量与版图验证规则文件进行自动比对的方法。具体步骤如下：(1)存在性原则检查：针对构造测试向量的合法单元(good cell)，自动运行版图验证工具得到计算结果，并通过软件程序检查该good cell对应规则的报错结果个数是否为0，如果为0表明测试向量与验证规则文件符合存在性原则，如果为非0，表明测试向量与验证规则文件不符合存在性原则。针对构造测试向量的非法单元(bad cell)，自动运行版图验证工具得到计算结果，并检查该bad cell对应规则的报错结果个数是否为不为0，如果不为0表明测试向量与验证规则文件符合存在性原则，如果为0，表明测试向量与验证规则文件不符合存在性原则。(2)完整性原则检查：针对构造测试向量的非法单元(bad cell)，其内部一般有多个测试向量的图形。本方法通过软件程序自动检查其内部每个测试向量是否至少有一个报错结果，如果符合上述条件，表明测试向量与验证规则文件符合完整性原则，如果不符合，表明测试向量与验证规则文件不符合完整性原则。(3)互斥性原则检查：针对任意两个不同版图器件的测试向量非法单元A(bad cell A)与非法单元B(bad cell B)，通过软件程序自动检查bad cell A的报错结果是否有bad cell B的对应报错结果，如果存在上述情况，表明测试向量与验证规则文件不符合互斥性原则，如果没有上述情况，表明测试向量与验证规则文件符合互斥性原则。