逻辑系统设计的仿真方法及相关设备与流程

本公开一个或多个实施例涉及计算机软件，尤其涉及一种逻辑系统设计的仿真方法及相关设备。

背景技术：

1、在集成电路的验证领域，仿真可以是指将逻辑系统设计进行编译之后使用仿真工具运行，以对设计的各种功能进行仿真测试。设计可以是，例如，用于供专门应用的集成电路（application specific integrated circuit，asic）或者片上系统芯片（system-on-chip，soc）的设计。因此，在仿真中被测试或验证的设计又可以称为待测设计（designunder test，dut）。

2、逻辑系统设计可以以寄存器传输级（register transfer level，rtl）语言描述，并利用仿真工具对设计进行仿真。然而，在大型芯片完整系统的仿真验证场景下，目前的仿真方法存在仿真速度慢，仿真效率低的问题。

技术实现思路

1、本公开提出一种逻辑系统设计的仿真方法及相关设备，以一定程度上解决或部分解决上述问题。

2、本公开第一方面，提供了一种逻辑系统设计的仿真方法，包括：

3、接收寄存器传输级模块的高阶形式等价性验证的验证结果；所述高阶形式等价性验证基于条件表达式和断言表达式验证所述寄存器传输级模块与行为级模型的功能一致性；

4、响应于所述寄存器传输级模块通过所述高阶形式等价性验证，基于所述寄存器传输级模块生成封装模块以及所述寄存器传输级模块与所述封装模块的映射关系；所述封装模块被配置为封装所述寄存器传输级模块和所述行为级模型，其中，所述行为级模型的第一输出信号与所述寄存器传输级模块的第二输出信号时序对齐；

5、对基于所述寄存器传输级模块生成的实例，基于所述映射关系，将所述实例调用的寄存器传输级模块映射为所述封装模块。

6、本公开第二方面，提供了一种电子设备，包括：存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现如第一方面所述的方法。

7、本公开第三方面，提供了一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令用于使计算机执行第一方面所述的方法。

8、本公开第四方面，提供了一种计算机程序产品，包括计算机程序指令，当所述计算机程序指令在计算机上运行时，使得所述计算机执行如第一方面所述的方法。

9、本公开提供的一种逻辑系统设计的仿真方法及相关设备，通过将寄存器传输级模块和与其功能一致的行为级模型封装为封装模型，替代原始的寄存器传输级模块，从而利用封装模型中的行为级模型提高仿真器的仿真速度和仿真效率；通过封装模块中的时序对齐单元对齐寄存器传输级模块和行为级模型两者输出信号的时序，为行为级模型的输出信号补充时序信息。由此，本公开可以通过为通过高阶形式等价性验证的寄存器传输级模块自动封装包括其对应的行为级模型的封装模块，替代原始寄存器传输级模块，提高仿真器的仿真速度和仿真效率。

1.一种逻辑系统设计的仿真方法，包括：

2.根据权利要求1所述的方法，其中，基于所述寄存器传输级模块生成封装模块，包括：

3.根据权利要求2所述的方法，其中，以所述寄存器传输级模块为参考模型，生成所述行为级模型，包括：

4.根据权利要求2所述的方法，其中，

5.根据权利要求2所述的方法，其中，还包括：

6.根据权利要求5所述的方法，其中，所述封装模块还包括多路选择单元；所述多路选择单元的选择控制端口与所述控制信号连接；

7.根据权利要求1所述的方法，其中，还包括：

8.一种电子设备，包括：存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现如权利要求1-7中任意一项所述的方法。

9.一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令用于使计算机执行权利要求1-7中任意一项所述的方法。

10.一种计算机程序产品，包括计算机程序指令，当所述计算机程序指令在计算机上运行时，使得所述计算机执行如权利要求1-7中任意一项所述的方法。