[发明专利]版图验证测试向量的伪错自动构造方法

摘要

本发明涉及集成电路辅助设计软件工具中版图验证领域。在开发集成电路版图验证规则的过程中，测试向量的数量巨大，特别是对于伪错。例如，对于宽金属的间距检查，如果金属的宽度达不到宽金属的标准，即使间距违反最小间距，也是允许的。针对一条设计规则，伪错条件可能不止一个，这种情况下，伪错测例会很多，如果完全靠手工绘制版图，这工作量巨大，并且在处理组合条件时也很容易出错。本发明提出了版图验证测试向量的伪错自动构造方法，通过定义伪错约束，使用软件自动产生完整的测试向量。方法中只需要输入一个拓扑结构正确的版图，就可以自动构造出各种伪错组合的测试用例，大大降低了人工成本。

主权项

一种版图验证测试向量的伪错自动构造方法，其输入是拓扑结构正确的版图单元和定义伪错约束的文件。伪错构造程序使用扫描线算法从版图中提取边对边的拓扑关系，并遍历伪错约束，调整边对边的距离值，输出不同条件下包含正例、反例、及伪错用例的完整测试向量。本方法避免了完全依靠手工的测试向量开发过程。具体步骤如下：第一步：手工输入一个包含完整的图形层GDS版图单元。第二步：手工编写约束文件，定义测试条件及伪错条件。第三步：由测试向量生成程序自动构造正例、反例、和伪错例的版图测试向量。第四步：对每一测试用例及代测规则文件调用版图设计规则验证程序进行测试。第五步：分析测试结果，正例和伪错例应全部通过，反例则应全部报错。