[发明专利]一种集成电路版图验证的层次化天线检查方法

摘要

本发明公布了一种集成电路版图验证的层次化天线检查方法，所属的技术领域是集成电路计算机辅助设计领域，尤其是涉及集成电路版图的设计规则检查（DRC）和集成电路版图网表提取（NE）领域。本方法的基本步骤如下首先采用图形选择提升和表达式值计算提升方法，以逆拓扑序依次处理各个层次单元得到节点输出结论。其次，利用层次结果调整方法以拓扑序处理各个层次单元，对已判断出的输出节点进行层次优化。最后，以逆拓扑序处理各个层次单元，根据已有节点输出结果及其层次输出图形。在集成电路版图验证中利用本方法，有利于更快速地计算带有层次关系的节点表达式值，提高天线检查操作效率。

主权项

一种集成电路版图验证的层次化天线检查方法，其技术特征在于：(1)首先采用图形选择提升和表达式值计算提升方法，以逆拓扑序依次处理各个层次单元，得出节点是否输出的结论，其步骤是：图形选择提升阶段，即接收下层单元的提升图形，确定进行表达式计算不提升的输入层图形以及需提升的输入层图形并提升；表达式值计算提升阶段，接收下层单元中已计算好并需要在本层或上层处理的节点表达式值，根据需要与本层表达式值合并，对于能够在本层处理的节点，收集并计算完整节点表达式值并根据表达式约束条件对能够在本层处理的节点进行是否满足输出条件的判定，而对于需要上层继续计算的节点，则提升其表达式值，(2)其次,利用节点结果层次调整方法，以拓扑序依次处理各个层次单元对已判断出的输出节点进行层次调整优化，以拓扑序对每个单元检查每个层次节点的引脚/端口关系,若本层所有具有相同引脚/端口对应关系的节点全部都判定为在本层输出时将该节点输出层次选择为下层；若本层具有相同引脚/端口对应关系的节点之间具有不同的输出判定，则保持在本层输出满足输出条件的节点，(3)最后以逆拓扑序依次处理各个层次单元，根据已有节点输出结果及其层次输出图形。