[发明专利]一种用于将超大规模网表转换成DAG图的方法和系统

说明书

本发明公开了一种用于将超大规模网表转换成DAG图的方法，包括：获取网表，从该网表中提取电路单元及其连线信息，以生成一个图，其以一个入边邻接表和一个出边邻接表存储起来，对图进行预处理，以得到预处理后的图，检测预处理后的图中的所有强连通分量，并识别根据所有强连通分量识别多个环，提取每个环中的节点序号、以及该环中每个节点所连接的边在入边邻接表和出边邻接表中的序号，根据每个环中节点和边在入边邻接表中的序号，对该环中符合预定条件的入边进行切割，以得到多个单向连通的子图，使用虚节点将多个单向连通图关联起来，从而得到目标DAG图。本发明能够克服现有然而现有对电路单元进行设计与分析的方法存在的适用性差的技术问题。

技术领域

本发明属于超大规模集成电路设计与分析技术领域，更具体地，涉及一种用于将超大规模网表转换成DAG图的方法和系统。

背景技术

在对超大规模集成电路进行设计与分析时，通常是针对电路单元进行。现有对电路单元进行设计与分析的方法一般是将电路单元的信息抽象成网表，再将得到的网表转换成图，然后对转换得到的图进行一系列的设计与分析，最后将结果映射回原集成电路。

然而，现有对电路单元进行设计与分析的方法，通常要求输入的图中不能包含环(即节点数大于1的强连通分量)。但在实际中，电路单元信息抽象成的网表中往往存在环，进而使得转换得到的图中也包含环，这就会导致现有的方法在很多场景中无法得到应用，进而降低了这些方法的适用性。

发明内容

针对现有技术的以上缺陷或改进需求，本发明提供了一种用于将超大规模网表转换成DAG图的方法和系统，其目的在于，可以在短时间内将网表信息转换成DAG图的形式，并克服现有然而现有对电路单元进行设计与分析的方法存在的在很多场景中无法得到应用，进而降低了这些方法的适用性的技术问题。

为实现上述目的，按照本发明的一个方面，提供了一种用于将超大规模网表转换成DAG图的方法，包括以下步骤：

(1)获取网表，从该网表中提取电路单元及其连线信息，以生成一个图，其以一个入边邻接表和一个出边邻接表存储起来；

(2)对步骤(1)得到的图进行预处理，以得到预处理后的图；

(3)检测步骤(2)预处理后的图中的所有强连通分量，并识别根据所有强连通分量识别多个环，提取每个环中的节点序号、以及该环中每个节点所连接的边在入边邻接表和出边邻接表中的序号；

(4)根据步骤(3)中获得的每个环中节点和边在入边邻接表中的序号，对该环中符合预定条件的入边进行切割，以得到多个单向连通的子图；

(5)使用虚节点将步骤(4)得到的多个单向连通图关联起来，从而得到目标DAG图。

优选地，步骤(1)具体为，首先获取网表，将网表中的电路单元及其连线信息转换成图的形式，忽略掉外部与电路模块的输入输出连线，记录网表中的电路单元及其内部相互间的连线信息；

在转换过程中，将电路单元抽象成节点，并用一个类型标识来表示该节点所映射的电路单元的类型，将电路单元的面积或容量等参数抽象成点权，将电路单元间的通信时间抽象成边权，然后分别用一个如入边邻接表和出边邻接表存储图的拓扑信息。

优选地，入边邻接表中的每个结点的条目包括图中节点的序号、指向该节点的所有的边的序号和每条边的权重(即边权)、该边所对应的另一个节点的序号、以及指向该另一个节点所对应的结点的指针；

出边邻接表中每个结点的条目包括节点的序号，该节点所指向的所有边的序号和每条边的边权、该边所对应的另一个节点的序号、以及指向该另一个节点所对应的结点的指针。