版图验证中不等于检查规则的自动生成方法

摘要

版图验证中的不等于检查是IC CAD工具中版图验证中设计规则检查中的一种特殊操作。本发明属于IC CAD工具中版图验证领域。版图验证规则中，有一类检查规则称为不等于检查，即检查某个图形的距离是否不等于某个固定的数值，如果不等于，则报告错误。为实现宽度不等于的检查，可采用如下的语法：Internal AA！＝距离值但是上述写法在所有的版图验证工具中都被定义为非法语句，因为这个写法会导致版图验证算法效率急剧降低，用户不能接受。本发明提出了一种解决不等于检查的高效方法，它允许用户在规则文件中出现！＝的符号，然后在程序实现过程中自动将！＝符号转化为另外的高效计算命令来实现，满足了用户的需求。