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

权利要求书

1.一种处理门级网表中的同步逻辑结构的方法，其特征在于，包括以下步骤：

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

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

第三步，基于表2中每个元素的寄存器DFF1，利用脚本，找出网表中所有的潜在异步路径PAP，找寻潜在异步路径的方法具体包括:利用脚本，对电路采用归一约束，列出所有终点为寄存器DFF1的时序路径，形成原表；对电路采用功能约束，列出所有终点为寄存器DFF1的时序路径，形成子表；从原表中剔除所有存在于子表中的路径，形成异步路径表；异步路径表中的两个寄存器即构成一个潜在异步路径；整理所有的潜在异步路径PAP形成表3；

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

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

其中，所述脚本为TCL和Perl。

2.根据权利要求1所述的一种处理门级网表中的同步逻辑结构的方法，其特征在于，整理形成表4时只保留寄存器DFF1的信息。