[发明专利]一种实用的逻辑验证架构级FPGA布线器的构建方法

权利要求书

1.一种实用的逻辑验证架构级FPGA布线器的构建方法，其特征在于：包括以下步骤：

步骤S1：生成每个线网的布线拓扑：首先对线网进行布线拓扑，在TDM比例未分配前，对于每个线网，其所包含的FPGA在TDM比例未分配前被连接在一起或并行各线网的布线，用以线网的连通性；

步骤S2：进行TDM比例分配：根据每个线网组的时延情况的不同，为每个线网的每条边分配TDM比例或并行分配TDM比例；

步骤S3：对进行布线的多FPGA原型系统时延进行优化：通过迭代的方式，不断地将具有较大TDM比例的线网组进行并行化优化，当满足迭代终止的条件时，整个布线器的处理过程结束；

所述步骤S2具体包括以下步骤：

步骤S21：预处理每个线网组，即通过计数计算包括边e_j，k的线网组ng_j，m的边的数量ngec_j，m；

步骤S22：求当前FPGA连接对的每条边e_j，k的权重比pct_j，k，进而得到每个线网的每条边分配的TDM比例；

步骤S23：通过for循环遍历每一个线网判断是否处理完所有边，若是，则执行步骤S24，否则返回步骤S22；

步骤S24：计算当前边的TDM比例，并记录当前边的TDM比例；

步骤S25：通过for循环遍历每一个线网判断是否处理完所有边，若是则执行步骤S26，否则返回步骤S24；

步骤S26：通过for循环遍历每一个线网判断是否处理完所有连接对，若是则结束，否则返回步骤S22；

所述步骤S22的具体内容为：

对于每条边e_j，k，权重比计算方法如下：

ngmec_j，k＝max(ngec_j，1，…，ngec_j，β)；

其中，ng_j，m是ngl_j中第m个线网组，ngmec_j，k是边e_j，k的最大的线网组边数，β是ngl_j中线网组的数量，pct_j，k即为权重比；基于该权重比，该边的TDM比例etr_j，k计算方法如下：

所述步骤S3具体包括以下步骤：

步骤S31：对线网组排序：所有线网按其线网组的最大TDM比例从大到小进行排序；

步骤S32：更新线网组中边e_j，k的etr_j，k；

步骤S33：判断是否线网组中所有边都进行了步骤S32中的更新操作；若是则更新ngl_j，否则返回步骤S32；

步骤S34：判断是否所有线网组都进行了遍历操作；若是则执行步骤S35；否则返回步骤S32；

步骤S35：继续判断FPGA连接对p_k是否满足TDM比例约束，若是则更新etr_j，k，否则更新增加的etr_j，k，合法化减少的etr_j，k；

步骤S36：判断是否所有FPGA连接对都进行了更新etr_j，k操作，若是则结束，否则返回步骤S35。

2.根据权利要求1所述的一种实用的逻辑验证架构级FPGA布线器的构建方法，其特征在于：所述步骤S1具体包括以下步骤：

步骤S11：所有线网按照优先级进行排序；

步骤S12：根据由FPGA集合、FPGA连接对和线网组构成的数据集，基于其中的输入数据中的FPGA连接对集合和FPGA集合建立当前线网的布线图，标记出需要连接的FPGA，并标记出每个FPGA连接对的代价；

步骤S13：将已经建立的布线图，使用基于Dijkstra的斯坦纳树算法对当前线网进行布线，构造一棵斯坦纳树，将需要连接的FPGA连接；

步骤S14：将当前线网的布线拓扑保存记录；

步骤S15：更新布线图中边的代价；每个FPGA连接对的代价在第一次循环之前被初始化为1，被当前线网选中的用来连接FPGA的FPGA连接对的代价加1；

步骤S16：通过for循环遍历每一个线网判断是否所有线网都完成了连接，若是则结束布线，否则返回步骤S12。