[发明专利]形式验证方法、信息识别方法、设备和存储介质

权利要求书

1.一种形式验证方法，其特征在于，包括：

获取第一文件和第二文件，所述第二文件根据第一文件而得到；

确定与所述第一文件和所述第二文件相对应的单元匹配信息，所述单元匹配信息中包括所述第一文件中的数据单元与所述第二文件中的数据单元之间的对应关系；

根据所述单元匹配信息和所述第一文件，对所述第二文件进行形式验证。

2.根据权利要求1所述的方法，其特征在于，

当无法识别所述第二文件中的至少一个所述数据单元所对应的名称信息，确定与所述第一文件和所述第二文件相对应的单元匹配信息；

当在所述第一文件中，无法识别到与所述第二文件中的所述至少一个数据单元的名称信息相对应的数据单元时，确定与所述第一文件和所述第二文件相对应的单元匹配信息。

3.根据权利要求1所述的方法，其特征在于，

所述第一文件包括与芯片设计代码相对应的综合网表，所述第二文件包括与所述综合网表相对应的版图网表。

4.根据权利要求3所述的方法，其特征在于，获取第一文件和第二文件，包括：

获取与芯片设计代码相对应的综合网表，所述综合网表中包括寄存器单元；

基于所述综合网表获得所述版图网表，所述综合网表中所述寄存器单元的名称信息与所述版图网表中对应的寄存器单元的名称信息不同。

5.根据权利要求4所述的方法，其特征在于，

所述综合网表中包括所有的第一寄存器单元以及与所述第一寄存器单元相对应的第一名称信息；

所述版图网表中包括所有的第二寄存器单元以及与所述第二寄存器单元相对应的第二名称信息；

所述综合网表中的所述第一寄存器单元与所述版图网表中的所述第二寄存器单元相对应。

6.根据权利要求4所述的方法，其特征在于，基于所述综合网表获得所述版图网表，包括：

利用预设工具对所述综合网表进行布局布线处理，获得与所述综合网表相对应的版图网表。

7.根据权利要求6所述的方法，其特征在于，所述方法应用于形式验证设备，所述方法还包括：

检测所述形式验证设备与所述预设工具是否属于同一个供应商；

在所述形式验证设备与所述预设工具属于不同的供应商时，确定所述形式验证设备无法识别分别位于由所述预设工具生成的不同文件中的所述寄存器单元之间的对应关系；或者，

在所述形式验证设备与所述预设工具属于同一供应商时，确定所述形式验证设备能够识别所述寄存器单元。

8.根据权利要求7所述的方法，其特征在于，在确定所述形式验证设备能够识别所述寄存器单元之后，所述方法还包括：

利用所述形式验证设备和所述综合网表，对所述版图网表进行形式验证。

9.根据权利要求4-8中任意一项所述的方法，其特征在于，所述确定与所述第一文件和所述第二文件相对应的单元匹配信息，包括：

基于所述综合网表与所述版图网表，获取针对所述寄存器单元的输入对应关系；

根据所述输入对应关系，获取与所述综合网表和所述版图网表相对应的单元匹配信息。

10.根据权利要求4-8中任意一项所述的方法，其特征在于，所述确定与所述第一文件和所述第二文件相对应的单元匹配信息，包括：

基于所述综合网表与所述版图网表，获取针对所述寄存器单元的输入对应关系和名称对应关系；

根据所述输入对应关系和名称对应关系，获取与所述综合网表和所述版图网表相对应的单元匹配信息。