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

摘要

版图验证规则文件测试向量的自动生成方法是集成电路辅助设计软件工具中版图验证(DRC)中的一种优化方法。本发明属于集成电路辅助设计软件工具中版图验证领域。为了保证版图验证规则文件的正确性，通用的方法是：根据规则文件的描述，由人工构造多个测试向量，然后分析测试向量的计算结果是否与预期一致。人工构造测试用例的方法有两个显著缺点，首先，该方法工作量很大，效率低。其次，人工构造向量用例难以保证测试的全面性。为了克服人工构造测试向量的缺陷，本发明提出了一种测试向量的自动生成方法，该方法由计算机程序自动生成覆盖全面的测试向量，可以在很短的时间内完成测试向量的生成，大大提高了开发效率，保证了规则文件的正确性。

主权项

版图验证规则文件测试向量的自动生成方法，它的基本含义是在版图验证规则书写完成后，需要构造大量的测试向量来验证该文件是否准确，现有的方法是完全依靠人工构造，工作量大且无法覆盖全面；为了提高测试向量的开发效率，本发明提出了一种测试向量自动生成的方法。具体步骤如下：(1)针对版图验证的原始工艺说明文件，构造一种形式化的描述语言，将自然语言转化为计算机可以理解的描述语言：(2)针对(1)生成的形式化描述语言，通过自动构造的方法，由计算机程序自动生成对应的测试向量的脚本语言。(3)针对(2)生成的脚本语言，通过自动翻译的方法，由计算机程序生成测试向量的标准gds格式文件。