[发明专利]编译验证系统的方法、电子设备及存储介质

权利要求书

1.一种编译验证系统的方法，所述验证系统包括逻辑系统设计和用于验证逻辑系统设计的测试平台，所述方法包括：

接收所述验证系统的描述；

使用第一解析器和第二解析器解析所述验证系统的描述，以分别生成第一中间表示和第二中间表示；

分析所述第一中间表示和所述第二中间表示以产生交换信息；

基于所述交换信息优化所述第一中间表示或所述第二中间表示中的至少一个；以及

基于优化后的所述第一中间表示和所述第二中间表示分别生成第一可实现代码和第二可实现代码，其中，所述第一中间表示和所述第二中间表示通过连接点相关，所述交换信息与所述连接点关联；

其中，所述连接点为函数，所述函数在所述第一中间表示中定义并被所述第二中间表示调用，并且所述交换信息包括所述函数的描述。

2.根据权利要求1所述的方法，其中，基于所述交换信息优化所述第一中间表示或所述第二中间表示中的至少一个进一步包括：

根据所述交换信息，确定所述第一中间表示中的所述函数是否生成常数；以及

简化由所述常数驱动的所述第二中间表示的一部分。

3.根据权利要求1所述的方法，其中，基于所述交换信息优化所述第一中间表示或所述第二中间表示中的至少一个进一步包括：

基于所述交换信息，确定所述函数是否使得所述第二中间表示中的无负载模块的输出驱动负载；以及

响应于所述函数不使得所述无负载模块的输出驱动所述负载，在所述优化中将所述无负载模块从所述第二中间表示中移除。

4.根据权利要求1所述的方法，其中，基于所述交换信息优化所述第一中间表示或所述第二中间表示中的至少一个进一步包括：

识别所述第一中间表示的所述函数中的可综合部分和不可综合部分；

将所述第一中间表示的所述可综合部分从所述第一中间表示的格式转换为所述第二中间表示的格式；

将所述可综合部分合并至所述第二中间表示中；以及

优化合并了所述可综合部分后的所述第二中间表示。

5.根据权利要求4所述的方法，进一步包括：

从所述第一中间表示中移除所述可综合部分；

其中，第一可实现代码是二进制代码以及第二可实现代码是比特流。

6.根据权利要求5所述的方法，其中，所述验证系统的描述包括所述逻辑系统设计的设计描述和所述测试平台的测试描述，所述第一中间表示根据所述测试平台的测试描述生成，所述第二中间表示根据所述逻辑系统设计的设计描述生成。

7.根据权利要求1所述的方法，其中，所述第一解析器被配置为解析软件编程语言，以及所述第二解析器被配置为解析硬件描述语言。

8.根据权利要求7所述的方法，其中：

所述硬件描述语言包括Verilog、SystemVerilog或超高速集成电路硬件描述语言(VHDL)中的至少一种；以及

所述软件编程语言包括C、C++或Python中的至少一种。

9.一种用于编译验证系统的设备，所述验证系统包括逻辑系统设计和用于验证逻辑系统设计的测试平台，所述设备包括：

存储器，存储计算机程序；以及

处理器，配置为执行所述计算机程序以实现如权利要求1至8任一项所述的方法。

10.一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储电子设备的一组指令，该组指令用于使所述电子设备执行如权利要求1至8任一项所述的方法。