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

权利要求书

1.版图验证规则文件与测试向量的自动比对方法，它的基本含义是在版图验证规则的测试向量构造完毕后，需要检查该测试向量与版图验证的规则文件是否完全一致，现有的方法是完全依靠人工去分析和判断，工作量大且无法覆盖全面；为了提高分析比较效率，本发明提出了一种对测试向量与版图验证规则文件进行自动比对的方法。

具体步骤如下：

(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的对应报错结果，如果存在上述情况，表明测试向量与验证规则文件不符合互斥性原则，如果没有上述情况，表明测试向量与验证规则文件符合互斥性原则。