专利名称：基于连接关系树的层次化单元端口调整方法
基于连接关系树的层次化单元端口调整方法技术领域
本发明是一种基于连接关系树的层次化单元端口调整方法，属于集成电路计算机辅助设计领域，尤其涉及版图与逻辑图的一致性(Layout vs. Schematic, LVS)验证问题。
背景技术：
随着集成电路设计水平和工艺技术的提高，集成电路的规模越来越大，对网表验证工具提出了越来越高的要求。
为了支持更大规模的网表验证，以及更快地完成验证流程，通常会采用层次化的网表比较方法。在实际应用过程中，原理图中部分冗余端口在版图中并不存在，从版图提取得到的层次化网表和原理图网表做比较操作时，往往就会出现参与比较的子单元的端口不一致。如果不加以调整，就会得到错误的比较结果，而后续的父单元比较时，就要把不匹配的单元进行打散处理，使层次化比较失去意义。本发明针对这种情况，提出了基于连接关系树的层次化单元端口调整方法，使参与比较的子单元能快速完成端口调整而达到一致。发明内容
本发明的目的在于提供一种层次化单元端口调整方法，以使层次化网表可以更加快速的完成匹配。
本发明的特征在于依照各单元的包含关系拓扑排序；逆序处理各单元，设置单元端口的可上提标记，同时创建或更新连接关系树；正序处理各层单元，设置各端口的可下拉标志，同时创建或更新连接关系树；逆序比较版图和原理图网表中的层次单元，根据参与比较的端口集合的一致性情况，通过连接关系树调整端口的数量，实现端口一致，并更新连接关系树，然后开始单元比较。利用本发明，可以避免参与比较的子单元因为端口不一致无法完成比较，进而避免了父单元比较时对此子单元打散处理，提高了整个网表比较的执行效率。
图1是网表单元拓扑关系图。
图2是单元端口上提下拉状态示意图
图3是各单元端口上提下拉层次结构以及连接关系树
图4是参与比较单元的端口集合图
具体实施步骤
(1)依照包含关系对全部网表单元进行拓扑排序，父单元在前，子单元在后。如图 1所示，要保证子单元在父单元之后。
(2)逆序处理各子单元，设置子单元端口的可上提标记，具体过程如下
1)统计此子单元所有端口的内部有效连接数目，有效连接是指其连接的子单元的端口的状态不能有可上提标志；
2)如果某个端口的内部有效连接数目为0，则设置可上提标志，如端口 10和端口 2。同时建立连接关系子树，如端口 38的子树为30和32。
3)从叶子单元开始，循环执行1)和幻，直到顶层单元。
(3)正序处理各子单元，设置各端口的可下拉标志，具体过程如下
1)统计此子单元内部网线(包括端口)的内部有效连接数目；
2)如果某网线有效连接数目为1，如果是端口且有可下拉标志，或不是端口，则设置此网线连接的子单元的相应端口的可下拉标志。如网线4是端口，有效连接数目为1，如果它有可下拉标志，则端口 22的可下拉标志需要设置。又如端口 16连接的网线的有效连接数目为0，且不是端口，则16需要设置可下拉标志；同时建立连接关系子树，如40的子树节点为38和34。
3)循环执行1)和幻，处理所有具备子单元的单元。
(4)逆序比较版图网表和原理图网表各对应单元，具体步骤如下
1)比价两单元的端口集合，交集部分为一致的端口，如60，此部分端口如果具有上提或下拉标志，则需要清除；
2)对于不一致的部分端口，如62和64，则根据其连接关系树的子树节点的状态更新上提或下拉标志，如果其子树节点中原有的标志清除，则父节点的标志也需要清除，反之保持。标志清除的端口由于无法从此单元中删除，则认为参与比较的单元不一致，退出比较，此端口也设置标记，在其父节点更新上提下拉标记时，从关系树中删除此节点；如果此节点的上提下拉标志更新时没有清除，则设置删除标志，即从单元端口集合中去除，如果是上提标志，则其标志不清除，如果是下拉标志，则需要遍历关系子树中所有未比较过的节点并设置删除标志。
3)端口调整一致后，开始单元的网表比较；
4)循环1)2)和3)直到所有单元比较完毕。
权利要求
1.基于连接关系树的层次化单元端口调整方法，其特征在于包括以下步骤①依照各单元的包含关系拓扑排序；②逆序处理各单元，设置单元端口的可上提标记，同时创建或更新连接关系树；③正序处理各层单元，设置各端口的可下拉标志，同时创建或更新连接关系树；④逆序比较版图和原理图网表中的层次单元，根据参与比较的端口集合的一致性情况， 通过连接关系树调整端口的数量，实现端口一致，并更新连接关系树，然后开始单元比较。
2.根据权利要求1所述的子单元端口调整方法，其特征在于，①依照各单元的包含关系拓扑排序，父单元在前，子单元在后。
3.根据权利要求1所述的子单元端口调整方法，其特征在于，②逆序处理各单元，设置单元端口的可上提标记，如果某个端口在其子单元内部的有效连接数为零，则设置可上提标志，同时创建或更新连接关系树。
4.根据权利要求1所述的子单元端口调整方法，其特征在于，③正序处理各单元，设置各端口的可下拉标志。处理单元内所有的网线，如果某网线的有效连接数大于1，则设置此网线连接的子单元端口的标志为不可下拉；某条网线的有效连接数为1，如果是本单元端口且具有可下拉标志或不是端口，另外相应的子单元端口没有不可下拉标志，则设置相应的子单元的对应端口的可下拉标志，同时创建或更新连接关系树。
5.根据权利要求1所述的子单元端口调整方法，其特征在于，④逆序比较版图和原理图网表中的层次单元，根据参与比较的端口集合的一致性情况，通过连接关系树调整端口的数量，实现端口一致，并更新连接关系树，然后开始单元比较。
全文摘要
本发明是基于连接关系树的层次化单元端口调整方法，属于集成电路计算机辅助设计领域。本发明的目的是为了提高层次化版图与逻辑图一致性验证的效率，提出一种基于连接关系树的层次化单元端口调整方法，可以准确修正子单元端口不一致的问题。该方法的步骤为依照各单元的包含关系拓扑排序；逆序处理各单元，设置单元端口的可上提标记，同时创建或更新连接关系树；正序处理各层单元，设置各端口的可下拉标志，同时创建或更新连接关系树；逆序比较版图和原理图网表中的层次单元，根据参与比较的端口集合的一致性情况，通过连接关系树调整端口的数量，实现端口一致，并更新连接关系树，然后开始单元比较。
文档编号G06F17/50GK102542083SQ201010601518
公开日2012年7月4日 申请日期2010年12月23日 优先权日2010年12月23日
发明者宋晓辉, 黄国勇 申请人:北京晶智意达科技有限公司