具体实施方式

为使本发明实施例的目的、技术方案和优点更加清楚，下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。

除非另有定义，本文所使用的所有的技术和科学术语与属于本发明的技术领域的技术人员通常理解的含义相同。本文中在本发明的说明书中所使用的术语只是为了描述具体的实施例的目的，不是旨在于限制本发明。

随着芯片技术的飞速发展，超大规模集成电路的应用越来越广泛。通常会采用电子设计自动化(Electronics Design Automation，简称EDA)工具对芯片进行设计，其实现流程如图1所示，主要包括：设计人员试用硬件描述语言(VHDL、Verilog或者HDL等)将设计功能以代码来描述，形成寄存器传输级(Register Transfer Level，简称RTL)代码，而后，将RTL代码逻辑综合处理为综合网表，并基于综合网表进行布局和布线处理，获得物理的版图设计，之后与对物理的版图设计进行验证等操作。

具体的，如图2所示，提供了一种利用EDA工具进行设计的流程图，具体的，其设计流程主要包括：获取RTL设计代码、对RTL设计代码进行综合与优化处理，获得第一网表，在第一网表通过形式验证之后，可以基于第一网表进行扫描链式缝合，获得第二网表，在第二网报通过形式验证之后，可以基于第二网表进行物理版图设计，获得第三网表，而后可以对第三网表进行形式验证操作。

在上述的设计过程中，每一个步骤之间都需要做形式验证，而形式验证的目的就是保证前后设计是相同的。目前，现有的EDA工具在各个阶段都会因为各种原因对设计中的各个寄存器的成分进行命名变更，例：寄存器合并单元、寄存器解组(ungroup)单元等。一般情况下，若整个设计流程都选用一家EDA供应商提供的设计工具，该设计工具可以正常读取寄存器单元，如图3所示，在利用第一设计工具对第一设计A进行设计处理为第二设计B之后，若利用第一设计工具进行形式验证，则可以稳定地实现整个形式验证过程。具体的，如图4所示，形式验证的实现流程可以包括：开始进行形式验证、加载参考信息、装载工具、加载向导信息、执行设置、匹配比较点、运行形式验证操作、获得验证结果，而后可以对验证结果进行分析处理，判断形式验证操作是否成功，若形式验证操作成功，则完成了形式验证操作；若形式验证操作不成功，则进行调试。

在上述过程中，匹配比较点是最为关键的一步，一般情况下，可以利用设计工具自动进行匹配操作。在匹配比较点出现异常之后，例如：由于不同厂商的设计工具之间不兼容等情况，无法在不同厂家的工具之间通用，此时，在形式验证的过程中，很容易出现单元命名信息不匹配和无法查找的情况，则需要去各个阶段的结果中搜寻出错的地方，需要人工手动加命令匹配，这样不仅形式验证效率较低，人工成本较高，并且，还容易耽误项目的进度，且不易于流程自动化；此外，对于使用多种EDA工具的用户来说，也增加了进行形式验证的困难程度，同时，调试工作也有极大的阻碍。

下面结合附图，对本发明的一些实施方式作详细说明。在各实施例之间不冲突的情况下，下述的实施例及实施例中的特征可以相互组合。

图5为本发明实施例提供的一种形式验证方法的流程图；参考附图5所示，本实施例提供了一种形式验证方法，该方法的执行主体为形式验证设备，可以理解的是，该形式验证设备可以实现为软件、或者软件和硬件的组合。具体的，该形式验证方法可以包括：

步骤S501：获取第一文件和第二文件，第二文件根据第一文件而得到。

步骤S502：确定与第一文件和第二文件相对应的单元匹配信息，单元匹配信息中包括第一文件中的数据单元与第二文件中的数据单元之间的对应关系。

步骤S503：根据单元匹配信息和第一文件，对第二文件进行形式验证。

以下针对上述步骤进行详细阐述：

步骤S501：获取第一文件和第二文件，第二文件根据第一文件而得到。

其中，第一文件可以包括与芯片设计代码相对应的综合网表，第二文件可以包括与综合网表相对应的版图网表。具体的，在获取到芯片设计代码之后，可以利用EDA工具对芯片设计代码进行逻辑综合处理，获得与芯片设计代码相对应的综合网表；在获取到综合网表之后，可以基于综合网表进行布局布线处理，从而可以获得与综合网表相对应的版图网表。

可以理解的是，第一文件和第二文件所代表的信息并不限于上述所例举的综合网表和版图网表，本领域技术人员可以根据具体的应用需求和设计需求进行设置，例如：第一文件可以包括源程序文件，第二文件可以包括与芯片设计代码相对应的综合网表；或者，第一文件可以包括与芯片设计代码相对应的综合网表，第二文件可以包括经过逻辑测试后生成的网表；或者，第一文件可以包括经过逻辑测试后生成的网表，第二文件可以包括版图网表等等。

步骤S502：确定与第一文件和第二文件相对应的单元匹配信息，单元匹配信息中包括第一文件中的数据单元与第二文件中的数据单元之间的对应关系。

在获取第一文件和第二文件之后，可以对第一文件和第二文件进行分析处理，以根据分析处理结果来确定与第一文件和第二文件相对应的单元匹配信息，在一些实例中，在形式验证过程中，若第一文件中的至少一个数据单元的名称信息与第二文件中的所有数据单元的名称信息不对应，则可以确定与第一文件和第二文件相对应的单元匹配信息。该单元匹配信息中可以包括第一文件中的数据单元与第二文件中的数据单元之间的对应关系。

在另一些实例中，当在第二文件中的至少一个数据单元的名称信息与第一文件中的所有数据单元的名称信息不对应时，则可以确定与第二文件和第一文件相对应的单元匹配信息。该单元匹配信息中可以包括第二文件中的数据单元与第一文件中的数据单元之间的对应关系。

在另一些实例中，在形式验证过程中，若无法识别出第二文件中的数据单元，且可以获取上述数据单元的名称信息时，则确定与第一文件和第二文件相对应的单元匹配信息，该单元匹配信息中可以包括第二文件中数据单元的名称信息与第一文件中的数据单元以及该数据单元的名称信息之间的对应关系，以基于该单元匹配信息和数据单元的名称信息来确定第二文件中无法识别的数据单元。

在另一些实例中，在形式验证过程中，若无法识别出第二文件中的数据单元以及该数据单元所对应的名称信息、且可以识别出该数据单元的输入输出关系时，则确定与第二文件和第一文件相对应的单元匹配信息。该单元匹配信息中可以包括第二文件中各个数据单元的输入输出关系与第一文件中各个数据单元的输入输出关系之间的对应关系，以基于该单元匹配信息和输入输出关系来确定第二文件中无法识别的数据单元以及该数据单元所对应的名称信息。

举例来说，第一文件中包括数据单元A、数据单元B和数据单元C，上述数据单元A、数据单元B和数据单元C所对应的名称分别为名称a、名称b和名称c；第二文件中包括数据单元A`、数据单元B`和数据单元C`，上述数据单元A`、数据单元B`和数据单元C`所对应的名称分别为名称a`、名称b`和名称c`；其中，数据单元A与数据单元A`相对应，数据单元B与数据单元B`相对应，数据单元C与数据单元C`相对应。

在一个实施例中，第一文件中的数据单元A、数据单元B和数据单元C分别为第二文件中的数据单元A`、数据单元B`和数据单元C`。也就是说，第一文件中的数据单元A、数据单元B和数据单元C分别与第二文件中的数据单元A`、数据单元B`和数据单元C`的功能及/或种类相同，但是，第一文件中的数据单元A、数据单元B和数据单元C的名称和第二文件中对应的数据单元A`、数据单元B`和数据单元C`的名称不同。

在一个实施例中，由于第一文件与第二文件中数据单元的名称信息不同，因此，在对第二文件进行形式验证时，可能会出现无法识别第二文件中至少一个数据单元所对应的名称信息，例如：无法识别出数据单元B`的名称b`。在进行形式验证时，对于第二文件中的数据单元B`而言，无法确定此数据单元B`对应于第一文件中的哪一个数据单元。或者，对于第一文件中的数据单元B，无法确定此数据单元B对应于第二文件中的哪一个数据单元。此时，为了能够实现对第一文件和第二文件进行形式验证操作，则可以确定与第一文件和第二文件相对应的单元匹配信息，所确定的单元匹配信息中可以包括第一文件中的数据单元与第二文件中的数据单元之间的对应关系，即此时的单元匹配信息中包括数据单元B`与数据单元B的对应关系(例如，数据单元B`与数据单元B的名称之间的对应关系、数据单元B`与数据单元B的输入输出关系之间的对应关系)；通过所获取的单元匹配信息，可以便于对第一文件和第二文件进行稳定地形式验证操作。

由于第一文件与第二文件中数据单元的名称信息不同，因此，在对第二文件进行形式验证时，还可能无法识别出与第二文件中的至少一个数据单元相对应的第一文件中的数据单元。也就是说，在对第二文件进行形式验证时，还可能会出现在第二文件中的至少一个数据单元的名称信息与第一文件中所有的数据单元的名称信息不相对应。在一实施例中，在第一文件中无法识别出与第二文件中的数据单元相对应功能及/或种类的数据单元。例如，对于第二文件，可以识别出第二文件的数据单元B`以及数据单元B`所对应的名称b`，对于第一文件，可以识别出第一文件的数据单元B以及数据单元B所对应的名称b。但是，无法识别到第二文件的数据单元B`与第一文件的数据单元B相对应。或者无法识别到第二文件的数据单元B`的名称b`与第一文件的数据单元B名称b相对应。又例如，对于第一文件，可以识别出第一文件的数据单元B以及数据单元B所对应的名称b。对于第二文件，可以识别出第二文件的数据单元B`以及数据单元B`所对应的名称b`。但是，无法识别到第一文件的数据单元B与第二文件的数据单元B`相对应。或者无法识别到第一文件的数据单元B的名称b与第二文件的数据单元B`的名称b`相对应。此时，确定与第一文件和第二文件相对应的单元匹配信息，所确定的单元匹配信息中可以包括第一文件中的数据单元与第二文件中的数据单元之间的对应关系，即单元匹配信息中包括有数据单元B`的名称b`与数据单元B和名称b的对应关系。因此，通过所获取的单元匹配信息，便于对第一文件和第二文件进行稳定地形式验证操作。

在一些实例中，确定与第一文件和第二文件相对应的单元匹配信息，可以包括：基于综合网表与版图网表，获取针对寄存器单元的输入对应关系。根据输入对应关系，获取与综合网表和版图网表相对应的单元匹配信息。

具体的，在获取到综合网表和版图网表之后，可以对综合网表和版图网表进行分析处理，从而获取到针对寄存器单元的输入输出对应关系，而后可以根据输入输出对应关系获取与综合网表和版图网表相对应的单元匹配信息。

举例来说，若在综合网表中寄存器单元A的输入输出连接关系和版图网表中的寄存器单元C的输入输出连接关系一致或相似，则综合网表中的寄存器单元A和版图网表中的寄存器单元C相对应。即，综合网表中的寄存器单元A和版图网表中的寄存器单元C相匹配。在一个实施例中，综合网表中包括有寄存器单元A，该寄存器单元A的输入信号为寄存器单元B的输出信号，此时，在版图网表中包括有寄存器单元C，该寄存器单元C的输入信号为寄存器单元B`的输出信号，而寄存器单元B`与寄存器单元B相对应，并且寄存器A和寄存器C均没有其他元件与它们分别直接连接时，则认为综合网表中的寄存器单元A和版图网表中的寄存器单元C相对应。即，综合网表中的寄存器单元A和版图网表中的寄存器单元C相匹配。并且，生成单元匹配关系，该单元匹配信息指示综合网表的寄存器单元A与版图网表的寄存器单元C相对应。

可以理解的是，该单元匹配信息中所存在的对应关系可以为单向的对应关系，例如：由综合网表的寄存器单元A到版图网表的寄存器单元C的对应关系，或者，版图网表的寄存器单元C到综合网表的寄存器单元A的对应关系；或者，该单元匹配信息中所存在的对应关系也可以为双向的对应关系，即可以包括：由综合网表的寄存器单元A到版图网表的寄存器单元C的对应关系、以及版图网表的寄存器单元C到综合网表的寄存器单元A的对应关系。

在另一些实例中，确定与第一文件和第二文件相对应的单元匹配信息，可以包括：基于综合网表与版图网表，获取针对寄存器单元的输入输出元件的对应关系和寄存器单元名称对应关系。根据寄存器单元的输入输出元件的对应关系和寄存器单元名称对应关系，获取与综合网表和版图网表相对应的单元匹配信息。例如，若综合网表中的第一寄存器单元的名称和版图网表中的第二寄存器单元的名称存在相同的关键字，则综合网表中的第一寄存器单元和版图网表中的第二寄存器单元相对应。

具体的，在获取到综合网表和版图网表之后，可以对综合网表和版图网表进行分析处理，从而获取到针对寄存器单元的输入对应关系和名称对应关系，而后可以根据输入对应关系和名称对应关系获取与综合网表和版图网表相对应的单元匹配信息。

举例来说，综合网表中包括有寄存器单元A，该寄存器单元A的名称信息为名称信息a，该寄存器单元A的输入信息为寄存器单元B，此时，在版图网表中包括有寄存器单元C，该寄存器单元C的名称信息为名称信息c，该寄存器单元C的输入信息为寄存器单元B`，而寄存器单元B`与寄存器单元B相对应时，则可以生成单元匹配信息，该单元匹配信息包括寄存器单元A与寄存器单元C的对应关系、及/或名称信息a与名称信息c的对应关系，该单元匹配信息中所包括的对应关系与上述实施例中的对应关系相类似，即对应关系可以是单向的对应关系，也可以是双向的对应关系。

步骤S503：根据单元匹配信息和第一文件，对第二文件进行形式验证。

在获取到单元匹配信息之后，可以根据单元匹配信息和第一文件，对第二文件进行形式验证，从而有效地保证了对第二文件进行形式验证的稳定可靠性。

本实施例提供的形式验证方法，通过获取第一文件和第二文件，确定与第一文件和第二文件相对应的单元匹配信息，而后根据单元匹配信息和第一文件，对第二文件进行形式验证，由于单元匹配信息中可以包括第一文件中的数据单元与第二文件中的数据单元之间的对应关系，此时可以实现了在利用不同供应商的形式验证设备进行形式验证时，也可以稳定、有效地进行形式验证操作，不仅保证了形式验证操作的质量和效率，并且对于使用多种EDA工具的用户来说，也降低了进行形式验证的困难程度，同时，为调试工作也提供了极大的便利条件，进一步提高了该方法的实用性。

图6为图5所示的形式验证方法中获取第一文件和第二文件的流程图；在上述实施例的基础上，继续参考附图6所示，在第一文件包括与芯片设计代码相对应的综合网表，第二文件包括与综合网表相对应的版图网表时，本实施例中的获取第一文件和第二文件可以包括：

步骤S601：获取与芯片设计代码相对应的综合网表，综合网表中包括寄存器单元。

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

其中，在获取到芯片设计代码之后，可以对芯片设计代码进行逻辑综合处理，从而可以获取到与芯片设计代码相对应的综合网表，此时综合网表中可以包括一个或多个寄存器单元；在获取到综合网表之后，可以对综合网表进行分析处理，从而获得版图网表，具体的，基于综合网表获得版图网表的过程可以包括：利用预设工具对综合网表进行布局布线处理，获得与综合网表相对应的版图网表；此时，综合网表中寄存器单元的名称信息与版图网表中对应的寄存器单元的名称信息不同。

可以理解的是，综合网表中可以包括所有的第一寄存器单元以及与第一寄存器单元相对应的第一名称信息；版图网表中可以包括所有的第二寄存器单元以及与第二寄存器单元相对应的第二名称信息；综合网表中的第一寄存器单元与版图网表中的第二寄存器单元相对应。

需要注意的是，预设工具可以为预先设置的用于对综合网表进行布局布线处理的EDA工具，该预设工具与形式验证设备可以属于同一个供应商，或者，预设工具与形式验证设备也可以属于不同的供应商，如图7所示，综合网表可以通过预设工具进行处理，获得版图网表，此时，预设工具可以生成单元匹配信息，而后可以根据单元匹配信息和第一文件，对第二文件进行形式验证。

本实施例中，通过获取与芯片设计代码相对应的综合网表，而后基于综合网表获得版图网表，有效地保证了综合网表和版图网表获取的准确可靠性。

图8为本发明实施例提供的一种形式验证方法的流程图二；在上述实施例中，参考附图8所示，本实施例中的方法可以应用于形式验证设备，在利用形式验证设备进行形式验证操作时，可能会出现以下情况：在第一文件中，无法识别与第二文件中的至少一个数据单元所对应的位于第一文件中的数据单元或数据单元的名称信息，或者，在第二文件中，无法识别到与第一文件中的至少一个数据单元的名称信息相对应的位于第二文件中的数据单元或数据单元的名称信息。为了便于说明，将形式验证设备出现的上述情况统称为形式验证设备无法识别寄存器单元。具体的，该方法可以包括：

步骤S801：检测形式验证设备与预设工具是否属于同一个供应商。

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

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

在获取到形式验证设备和预设工具之后，为了能够保证形式验证操作的质量和效率，可以对形式验证设备和预设工具进行检测，即识别形式验证设备与预设工具是否属于同一个供应商，具体的，可以获取到形式验证设备的第一供应商标识信息和预设工具的第二供应商标识信息，通过第一供应商标识信息和第二供应商标识信息可以检测形式验证设备与预设工具是否属于同一个供应商。当第一供应商标识信息和第二供应商标识信息相同时，则可以确定形式验证设备与预设工具属于同一供应商，此时的形式验证设备能够识别寄存器单元。当第一供应商标识信息和第二供应商标识信息不同时，则可以确定形式验证设备与预设工具属于不同的供应商，进而可以确定形式验证设备无法识别寄存器单元。

在一些实例中，在确定形式验证设备能够识别寄存器单元之后，方法还包括：

步骤S804：利用形式验证设备和综合网表，对版图网表进行形式验证。

其中，在形式验证设备可以识别寄存器单元时，则可以直接利用形式验证设备和综合网表对版图网表进行形式验证，从而提高了形式验证的质量和效率。

需要注意的是，上述步骤是可选步骤，即在配置有对版图网表进行形式验证的操作时，则本实施例中的方法可以包括上述步骤S804；在没有配置对版图网表进行形式验证的操作时，则本实施例中的方法不包括上述步骤S804。

具体应用时，第一文件可以为与芯片设计代码相对应的综合网表，第二文件可以为与综合网表相对应的版图网表，并且，综合网表通过预设工具进行布局布线处理，从而可以获得版图网表。而后以利用与预设工具属于不同的供应商的形式验证设备对版图网表进行形式验证操作为例进行说明，由于综合网表中寄存器单元的名称信息与版图网表中寄存器单元的名称信息不同，因此，可以通过单元匹配信息来实现形式验证操作。具体的，该形式验证方法可以包括：

第一步：利用预设工具对综合网表进行分析处理，获得版图网表，具体的，在获得版图网表时，可以在版图网表中增加与预设工具相对应的标记信息。

第二步：利用预设工具自动生成单元匹配信息，该单元匹配信息与综合网表和版图网表相对应。

具体的，可以利用预设工具中的脚本自动生成单元匹配信息，该单元匹配信息中可以包括综合网表中寄存器单元经过预设工具进行处理后，在版图网表中寄存器单元之间的输入对应关系。

第三步：利用形式验证设备和单元匹配信息对版图网表进行形式验证操作。

其中，形式验证的操作过程中包括寄存器单元的匹配，匹配之后的形式验证就是验证匹配单元的输入信号是否相同，从而确定形式验证是否成功。具体的，在获取到单元匹配信息之后，可以基于单元匹配信息来确定版图网表中寄存器单元的命名信息与综合网表中寄存器单元的命名信息的对应关系，从而可以基于单元匹配信息实现对版图网表进行形式验证操作。

本应用实施例提供的形式验证方法，考虑到不同设计工具不能兼容的特性，同时为了保证形式验证操作的质量和效率，在任意的寄存器单元的名字信息发生改变时，可以生成单元匹配信息，而后在利用不同的设计工具进行形式验证时，可以通过单元匹配信息来识别寄存器单元，从而保证了寄存器单元的名字信息匹配的准确性，需要注意的是，该方法可以对大批量的文件进行处理，进而提高了该方法的适用范围；同时也提高了形式验证的效率和成功率，并且也降低了文件转换过程中数据丢失的可能性，便于在后续调试问题进行查询定位。

图9为本发明实施例提供的一种信息识别方法的流程图；参考附图9所示，本实施例提供了一种信息识别方法，该方法的执行主体为信息识别设备，可以理解的是，该信息识别设备可以实现为软件、或者软件和硬件的组合。具体的，该信息识别方法可以包括：

步骤S901：获取第一文件和第二文件，第二文件根据第一文件而得到，并且，第二文件中包括至少一个数据单元。

步骤S902：确定与第二文件和第一文件相对应的单元匹配信息，单元匹配信息中包括第二文件中的至少一个数据单元与第一文件中的数据单元之间的对应关系。

步骤S903：利用单元匹配信息识别第二文件中的数据单元。

以下针对上述步骤进行详细阐述：

步骤S901：获取第一文件和第二文件，第二文件根据第一文件而得到，并且，第二文件中包括至少一个数据单元。

在一些实例中，第一文件包括与芯片设计代码相对应的综合网表，第二文件包括与综合网表相对应的版图网表；或者，第一文件包括源程序文件，第二文件包括与芯片设计代码相对应的综合网表；或者，第一文件包括与芯片设计代码相对应的综合网表，第二文件包括经过逻辑测试后生成的网表；或者，第一文件包括经过逻辑测试后生成的网表，第二文件包括版图网表。

可以理解的是，在第一文件和第二文件代表不同的信息时，第二文件中所包括的至少一个数据单元也可以具有不同的表现形式，例如，在第二文件是网表文件时，第二文件中所包括的至少一个数据单元可以为至少一个寄存器单元。相类似的，在第一文件是网表文件时，第一文件中可以包括至少一个寄存器单元，第一文件中至少一寄存器单元的名称信息与第二文件中对应的寄存器单元的名称信息不同。

在一些实例中，第二文件是第一电子设计自动化工具对第一文件进行处理而得到的；第一文件、第二文件、和单元匹配信息同时用于第二电子设计自动化工具的数据处理，其中，第一电子设计自动化工具和第二电子设计自动化工具不同。

进一步的，当检测到第一电子设计自动化工具改变第一文件中的至少一第一数据单元，并生成存储于第二文件中的至少一数据单元时，确定第二文件中的至少一数据单元与第一文件中的至少一第一数据单元对应。

进一步的，第一文件、第二文件、和单元匹配信息同时用于第二电子设计自动化工具的数据处理，包括：第一文件和单元匹配信息同时用于第二电子设计自动化工具对第二文件的形式验证过程。

步骤S902：确定与第二文件和第一文件相对应的单元匹配信息，单元匹配信息中包括第二文件中的至少一个数据单元与第一文件中的数据单元之间的对应关系。

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

具体的，确定与第二文件和第一文件相对应的单元匹配信息可以包括：基于第一文件与第二文件，获取针对寄存器单元的输入对应关系和名称对应关系；根据输入对应关系和名称对应关系获取与第一文件和第二文件相对应的单元匹配信息。

在一些实例中，确定与第二文件和第一文件相对应的单元匹配信息可以包括：基于第一文件与第二文件，获取至少一个数据单元的输入对应关系；根据输入对应关系获取与第一文件和第二文件相对应的单元匹配信息。

步骤S903：利用单元匹配信息识别第二文件中的数据单元。

在获取到单元匹配信息之后，可以利用单元匹配信息识别第二文件中的数据单元，有效地保证了信息识别的准确可靠性，从而便于对第二文件进行应用和处理。

需要注意的是，本实施例中上述方法步骤的具体实现过程、实现效果和实现原理与上述实例中图5-图8所示实施例的方法的具体实现过程、实现效果和实现原理相类似，本实施例未详细描述的部分，可参考对图5-图8所示实施例的相关说明。该技术方案的执行过程和技术效果参见图5-图8所示实施例中的描述，在此不再赘述。

图10为本发明实施例提供的一种名称信息识别方法的流程图；参考附图10所示，本实施例提供了一种名称信息识别方法，该方法的执行主体为名称信息识别设备，可以理解的是，该名称信息识别设备可以实现为软件、或者软件和硬件的组合。具体的，该名称信息识别方法可以包括：

步骤S1001：获取数据单元的第一名称信息。

步骤S1002：当第一电子设计工具改变数据单元的第一名称信息，并生成数据单元的第二名称信息时，确定第一名称信息与第二名称信息相对应的名称匹配信息。

步骤S1003：将名称匹配信息发送至第二电子设计工具，以用于第二电子设计工具识别第一名称信息和第二名称信息之间的对应关系。

其中，第一电子设计工具和第二电子设计工具不同；此时，利用第一电子设计工具将数据单元由第一名称信息改成第二名称信息时，为了能够保证其他的电子设计工具(第二电子设计工具)能够准确地识别出数据单元的第二名称信息，第一电子设计工具可以确定第一名称信息与第二名称信息相对应的名称匹配信息。具体的，数据单元的第一名称信息存储于第一文件中，数据单元的第二名称信息存储于第二文件中，此时，名称匹配信息可以理解为与第一文件和第二文件相对应的数据单元的名称对应关系。在一些实例中，在芯片设计过程中，第一文件先于第二文件产生。或者，第一文件和第二文件均为芯片设计过程中产生的文件，第一文件用于产生第二文件。

在一些实例中，第二电子设计工具用于芯片设计的形式验证，此时，在第二电子设计工具获取到名称匹配信息之后，可以基于名称匹配信息和上述的第一文件对第二文件进行形式验证，以保证第一文件和第二文件满足预设要求。

在一些实例中，名称匹配信息中可以包括第一名称信息、第二名称信息、以及第一名称信息至第二名称信息之间的索引；或者，名称匹配信息包括第一名称信息、第二名称信息、以及第二名称信息至第一名称信息之间的索引；或者，名称匹配信息中还可以包括：第一名称信息、第二名称信息、以及第一名称信息至第二名称信息之间的双向索引信息。

在确定名称匹配信息之后，可以将名称匹配信息发送至第二电子设计工具，此时，第二电子设计工具可以基于名称匹配信息来识别第二文件中数据单元的第二名称信息与第一文件中数据单元的第一名称信息之间的对应关系，从而实现了对数据单元进行有效的识别。

本实施例提供的名称信息识别方法，通过获取数据单元的第一名称信息，当第一电子设计工具改变数据单元的第一名称信息，并生成数据单元的第二名称信息时，确定第一名称信息与第二名称信息相对应的名称匹配信息，将名称匹配信息发送至第二电子设计工具，有效地保证了第二电子设计工具可以识别第一名称信息和第二名称信息之间的对应关系，有效地保证了名称信息识别的准确可靠性，便于实现利用不同的电子设计工具来识别数据单元的名称信息，进一步扩展了该方法的适用范围。

在一些实例中，将名称匹配信息发送至第二电子设计工具可以包括：将关于第一名称信息和第二名称信息的名称匹配信息存储于名称匹配文件中；以及，将名称匹配文件发送至第二电子设计工具。

具体的，在将名称匹配信息发送至第二电子设计工具时，为了保证名称匹配信息传输的安全可靠性，可以将关于第一名称信息和第二名称信息的名称匹配信息存储于一个名称匹配文件中，而后将名称匹配文件发送至第二电子设计工具，从而提高了该方法使用的稳定可靠性。

图11为本发明实施例提供的一种形式验证设备的结构示意图；参考附图11所示，本实施例提供了一种形式验证设备，该形式验证设备可以执行上述图5所示的形式验证方法。具体的，该形式验证设备可以包括：

第一存储器12，用于存储计算机程序；

第一处理器11，用于运行第一存储器12中存储的计算机程序以实现：

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

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

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

其中，形式验证设备的结构中还可以包括第一通信接口13，用于电子设备与其他设备或通信网络通信。

在一些实例中，第一处理器11，还用于：当无法识别第二文件中的至少一个数据单元所对应的名称信息，确定与第一文件和第二文件相对应的单元匹配信息；当在第一文件中，无法识别到与第二文件中的至少一个数据单元的名称信息相对应的数据单元时，确定与第一文件和第二文件相对应的单元匹配信息。

在一些实例中，第一文件包括与芯片设计代码相对应的综合网表，第二文件包括与综合网表相对应的版图网表。

在一些实例中，在第一处理器11获取第一文件和第二文件时，第一处理器11，用于：获取与芯片设计代码相对应的综合网表，综合网表中包括寄存器单元；基于综合网表获得版图网表，综合网表中寄存器单元的名称信息与版图网表中对应的寄存器单元的名称信息不同。

在一些实例中，综合网表中包括所有的第一寄存器单元以及与第一寄存器单元相对应的第一名称信息；版图网表中包括所有的第二寄存器单元以及与第二寄存器单元相对应的第二名称信息；综合网表中的第一寄存器单元与版图网表中的第二寄存器单元相对应。

在一些实例中，在第一处理器11基于综合网表获得版图网表时，第一处理器11，用于：利用预设工具对综合网表进行布局布线处理，获得与综合网表相对应的版图网表。

在一些实例中，第一处理器11，还用于：检测形式验证设备与预设工具是否属于同一个供应商；在形式验证设备与预设工具属于不同的供应商时，确定形式验证设备无法识别分别位于由预设工具生成的不同文件中的所述寄存器单元之间的对应关系；或者，在形式验证设备与预设工具属于同一供应商时，确定形式验证设备能够识别寄存器单元。

在一些实例中，第一处理器11，还用于：在确定形式验证设备能够识别寄存器单元之后，利用形式验证设备和综合网表，对版图网表进行形式验证。

在一些实例中，在第一处理器11确定与第一文件和第二文件相对应的单元匹配信息时，第一处理器11，用于：基于综合网表与版图网表，获取针对寄存器单元的输入对应关系；根据输入对应关系，获取与综合网表和版图网表相对应的单元匹配信息。

在一些实例中，在第一处理器11确定与第一文件和第二文件相对应的单元匹配信息时，第一处理器11，用于：基于综合网表与版图网表，获取针对寄存器单元的输入对应关系和名称对应关系；根据输入对应关系和名称对应关系，获取与综合网表和版图网表相对应的单元匹配信息。

图11所示设备可以执行图5-图8所示实施例的方法，本实施例未详细描述的部分，可参考对图5-图8所示实施例的相关说明。该技术方案的执行过程和技术效果参见图5-图8所示实施例中的描述，在此不再赘述。

图12为本发明实施例提供的一种信息识别设备的结构示意图；参考附图12所示，本实施例提供了一种信息识别设备，该信息识别设备可以执行上述图9所示的信息识别方法。具体的，该信息识别设备可以包括：

第二存储器22，用于存储计算机程序；

第二处理器21，用于运行第二存储器22中存储的计算机程序以实现：

获取第一文件和第二文件，第二文件根据第一文件而得到，并且，第二文件中包括至少一个数据单元；

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

利用单元匹配信息识别第二文件中的数据单元。

其中，信息识别设备的结构中还可以包括第二通信接口23，用于电子设备与其他设备或通信网络通信。

在一些实例中，第二处理器21，用于：当无法识别第二文件中的至少一个数据单元所对应的名称信息时，确定与第一文件和第二文件相对应的单元匹配信息；或者，当在第一文件中，无法识别到与第二文件中的至少一个数据单元的名称信息相对应的数据单元时，确定与第二文件和第一文件相对应的单元匹配信息。

在一些实例中，第一文件包括与芯片设计代码相对应的综合网表，第二文件包括与综合网表相对应的版图网表；或者，第一文件包括源程序文件，第二文件包括与芯片设计代码相对应的综合网表；或者，第一文件包括与芯片设计代码相对应的综合网表，第二文件包括经过逻辑测试后生成的网表；或者，第一文件包括经过逻辑测试后生成的网表，第二文件包括版图网表。

在一些实例中，第一文件中包括至少一个寄存器单元，第一文件中至少一寄存器单元的名称信息与第二文件中对应的寄存器单元的名称信息不同；以及，在第二处理器21获取第一文件和第二文件时，第二处理器21，用于：基于第一文件获得第二文件。

在一些实例中，在第二处理器21确定与第二文件和第一文件相对应的单元匹配信息时，第二处理器21，用于：基于第一文件与第二文件，获取针对寄存器单元的输入对应关系和名称对应关系；根据输入对应关系和名称对应关系获取与第一文件和第二文件相对应的单元匹配信息。

在一些实例中，第二文件是第一电子设计自动化工具对第一文件进行处理而得到的；第一文件、第二文件、和单元匹配信息同时用于第二电子设计自动化工具的数据处理，其中，第一电子设计自动化工具和第二电子设计自动化工具不同。

在一些实例中，当检测到第一电子设计自动化工具改变第一文件中的至少一第一数据单元，并生成存储于第二文件中的至少一数据单元时，确定第二文件中的至少一数据单元与第一文件中的至少一第一数据单元对应。

在一些实例中，第一文件、第二文件、和单元匹配信息同时用于第二电子设计自动化工具的数据处理，包括：第一文件和单元匹配信息同时用于第二电子设计自动化工具对第二文件的形式验证过程。

在一些实例中，在第二处理器21确定与第二文件和第一文件相对应的单元匹配信息时，第二处理器21，用于：基于第一文件与第二文件，获取至少一个数据单元的输入对应关系；根据输入对应关系获取与第一文件和第二文件相对应的单元匹配信息。

图12所示设备可以执行图9所示实施例的方法，本实施例未详细描述的部分，可参考对图9所示实施例的相关说明。该技术方案的执行过程和技术效果参见图9所示实施例中的描述，在此不再赘述。

图13为本发明实施例提供的一种名称信息识别设备的结构示意图；参考附图13所示，本实施例提供了一种名称信息识别设备，该名称信息识别设备可以执行上述图10所示的名称信息识别方法。具体的，该名称信息识别设备可以包括：

第三存储器32，用于存储计算机程序；

第三处理器31，用于运行第三存储器32中存储的计算机程序以实现：

获取数据单元的第一名称信息；

当第一电子设计工具改变数据单元的第一名称信息，并生成数据单元的第二名称信息时，确定第一名称信息与第二名称信息相对应的名称匹配信息；

将名称匹配信息发送至第二电子设计工具，以用于第二电子设计工具识别第一名称信息和第二名称信息之间的对应关系；以及

其中，数据单元的第一名称信息存储于第一文件中，数据单元的第二名称信息存储于第二文件中，第一电子设计工具和第二电子设计工具不同。

其中，名称信息识别设备的结构中还可以包括第三通信接口33，用于电子设备与其他设备或通信网络通信。

在一些实例中，在第三处理器31将名称匹配信息发送至第二电子设计工具时，第三处理器31，用于：将关于第一名称信息和第二名称信息的名称匹配信息存储于名称匹配文件中；以及，将名称匹配文件发送至第二电子设计工具。

在一些实例中，名称匹配信息包括第一名称信息、第二名称信息、以及第一名称信息至第二名称信息之间的索引；或者，名称匹配信息包括第一名称信息、第二名称信息、以及第二名称信息至第一名称信息之间的索引。

在一些实例中，第二电子设计工具用于芯片设计的形式验证。

在一些实例中，在芯片设计过程中，第一文件先于第二文件产生。

在一些实例中，第一文件和第二文件均为芯片设计过程中产生的文件，第一文件用于产生第二文件。

图13所示设备可以执行图10所示实施例的方法，本实施例未详细描述的部分，可参考对图10所示实施例的相关说明。该技术方案的执行过程和技术效果参见图10所示实施例中的描述，在此不再赘述。

另外，本发明实施例提供了一种计算机存储介质，用于储存电子设备所用的计算机软件指令，其包含用于执行上述图5-图8所示方法实施例中形式验证方法所涉及的程序。

本发明实施例提供了一种计算机存储介质，用于储存电子设备所用的计算机软件指令，其包含用于执行上述图9所示方法实施例中信息识别方法所涉及的程序。

本发明实施例提供了一种计算机存储介质，用于储存电子设备所用的计算机软件指令，其包含用于执行上述图10所示方法实施例中名称信息识别方法所涉及的程序。

以上各个实施例中的技术方案、技术特征在与本相冲突的情况下均可以单独，或者进行组合，只要未超出本领域技术人员的认知范围，均属于本申请保护范围内的等同实施例。

在本发明所提供的几个实施例中，应该理解到，所揭露的相关装置和方法，可以通过其它的方式实现。例如，以上所描述的装置实施例仅仅是示意性的，例如，所述模块或单元的划分，仅仅为一种逻辑功能划分，实际实现时可以有另外的划分方式，例如多个单元或组件可以结合或者可以集成到另一个系统，或一些特征可以忽略，或不执行。另一点，所显示或讨论的相互之间的耦合或直接耦合或通信连接可以是通过一些接口，装置或单元的间接耦合或通信连接，可以是电性，机械或其它的形式。

所述作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目的。

另外，在本发明各个实施例中的各功能单元可以集成在一个处理单元中，也可以是各个单元单独物理存在，也可以两个或两个以上单元集成在一个单元中。上述集成的单元既可以采用硬件的形式实现，也可以采用软件功能单元的形式实现。

所述集成的单元如果以软件功能单元的形式实现并作为独立的产品销售或使用时，可以存储在一个计算机可读取存储介质中。基于这样的理解，本发明的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的全部或部分可以以软件产品的形式体现出来，该计算机软件产品存储在一个存储介质中，包括若干指令用以使得计算机处理器(processor)执行本发明各个实施例所述方法的全部或部分步骤。而前述的存储介质包括：U盘、移动硬盘、只读存储器(ROM，Read-Only Memory)、随机存取存储器(RAM，RandomAccess Memory)、磁盘或者光盘等各种可以存储程序代码的介质。

以上所述仅为本发明的实施例，并非因此限制本发明的专利范围，凡是利用本发明说明书及附图内容所作的等效结构或等效流程变换，或直接或间接运用在其他相关的技术领域，均同理包括在本发明的专利保护范围内。

最后应说明的是：以上各实施例仅用以说明本发明的技术方案，而非对其限制；尽管参照前述各实施例对本发明进行了详细的说明，本领域的普通技术人员应当理解：其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分或者全部技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本发明各实施例技术方案的范围。