[发明专利]一种处理门级网表中的同步逻辑结构的方法

说明书

本发明公开一种处理门级网表中的同步逻辑结构的方法，包括：第一步、利用脚本找出待处理门级网表中所有的两个寄存器级联的结构，汇聚成元素表1；第二步、利用脚本，根据时钟树的结构关系，分析元素表1中的各个元素，找出元素表1中两个寄存器属于同一个时钟域的元素，整理形成元素表2；第三步，基于表2中每个元素的寄存器DEF1，利用脚本，找出网表中所有的潜在异步路径PAP；整理形成表3；第四步、利用脚本，根据时钟树的结构关系，分析元素表3中的各个元素，进一步确保PAP的两个寄存器不在同一个时钟域；整理形成表4；第五步、将表4信息提供给仿真工具配合网表进行仿真。本发明处理时间以秒计，省时高效。

【技术领域】

本发明涉及一种处理门级网表中的同步逻辑结构的方法。

【背景技术】

请参阅图1所示，为同步逻辑结构：寄存器DFF1和寄存器DFF2位于同一个时钟域clk1，两者级联形成一个同步单元，该同步单元用以接受来自另外一个不同时钟域clk0的寄存器DFF0的输出信号或其产生信号。

几个基本概念：

同步逻辑结构：寄存器DFF0，寄存器DFF1和寄存器DFF2共同组成。

同步单元：寄存器DFF1和寄存器DFF2组成。

潜在异步路径PAP(potential asynchronous path)：寄存器DFF0和同步单元的寄存器DFF1组成。

归一约束(simple constraint)：将所有寄存器归为同步的一个时钟域的约束。

功能约束(constraint)：用作电路设计的约束。

现有技术中一般通过多次循环迭代动态仿真并分析仿真结果或报告文件的方式来找到并处理门级网表中的同步逻辑结构，使得网表适合动态仿真。

然，现有技术完成目标所需时间较长，在大规模电路中，往往周期以月计，且需消耗大量的人力资源。

【发明内容】

本发明的目的在于提供一种处理门级网表中的同步逻辑结构的方法，以极大的缩短找寻电路中的同步逻辑的时间周期。

为了实现上述目的，本发明采用如下技术方案：

一种处理门级网表中的同步逻辑结构的方法，包括以下步骤：

第一步、利用脚本找出待处理门级网表中所有的两个寄存器级联的结构，即一个寄存器DFF1的输出端直连另一寄存器DFF2的输入端的结构，汇聚成元素表1，每个级联结构为一个表元素；

第二步、利用脚本，根据时钟树的结构关系，分析元素表1中的各个元素，找出元素表1中两个寄存器属于同一个时钟域的元素，整理找出的元素形成元素表2；

第三步，基于表2中每个元素的寄存器DFF1，利用脚本，找出网表中所有的潜在异步路径PAP；整理所有的潜在异步路径PAP形成表3；

第四步、利用脚本，根据时钟树的结构关系，分析元素表3中的各个元素，进一步确保PAP的两个寄存器不在同一个时钟域；整理形成表4；

第五步、将表4信息提供给仿真工具配合网表进行仿真。

本发明进一步的改进在于：整理形成表4时只保留寄存器DFF1的信息。

本发明进一步的改进在于：找寻潜在异步路径的方法具体包括:

利用脚本，对电路采用归一约束，列出所有终点为寄存器DFF1的时序路径，形成原表；对电路采用功能约束，列出所有终点为寄存器DFF1的时序路径，形成子表；从原表中剔除所有存在于子表中的路径，形成异步路径表；异步路径表中的两个寄存器即构成一个潜在异步路径。