[发明专利]一种检查集成电路线网连通关系的方法

权利要求书

1.一种检查集成电路线网连通关系的方法，其特征在于，使用一个连通关系表，并包含以下几个步骤：①初始化线网连通关系表，表所含结点个数等于线网总数，表的初始状态为所有线网互不连通；②遍历版图数据库中所有可构成电流通路的器件，将器件构成的直接连通关系合并到连通关系表中；③把连通关系表化简到最简；④基于化简后的连通关系表，识别满足特定连通关系的线网；

所述的连通关系表，是由N个结点构成的“森林”或与森林逻辑等价的其它数据结构，每个结点对应一个线网，每个子结点有一个指针指向一个与其连通的父结点，没有父结点的结点是根结点，根结点的指针指向其自身；

所述将器件构成的直接连通关系合并到连通关系表中，是指在连通关系表中分别找到这两个线网对应结点的根结点，使其中一个根结点指向另一个根结点，其中每一个结点有一个指针指向一个与其相连通的结点，没有父结点的结点是根结点；

所述的把连通关系表化到最简，是指按结点拓扑顺序不断修改每一结点的指针，使其指向其祖父结点，降低森林的深度，直到每一结点要么是根结点，要么直接指向其根结点。

2.根据权利要求1所述的方法，其特征在于，所述的“线网连通关系”包括连通和不连通两种情况，若从一个线网出发，无重复的经过有限个器件可以到达另一线网，则这两个线网是连通的，否则是不连通的。

3.根据权利要求1所述的方法，其特征在于，所述的满足特定连通关系的线网是指：①与指定的一个或一组线网连通或不连通的线网；或者②符合任意多个如①所述的与指定的一个或一组线网连通或不连通的线网的任意组合的线网。