[发明专利]用于验证被测试模块的方法以及验证系统

权利要求书

1.一种验证系统，包括：

处理器模型，所述处理器模型被配置成：

在由第一编程语言实现的测试用例的运行过程中，经由接口函数调用由第二编程语言实现的操作函数，以实现所述测试用例涉及的处理器操作，

获取基于所述处理器操作得到的测试输入；以及

被测试模块，所述被测试模块用于响应于所述测试输入而生成测试输出。

2.如权利要求1所述的验证系统，其中所述第一编程语言是通用编程语言，所述第二编程语言是硬件描述语言。

3.如权利要求2所述的验证系统，其中所述第一编程语言是C语言，所述第二编程语言是SystemVerilog语言。

4.如权利要求1-3中任一项所述的验证系统，其中，所述被测试模块还配置成：

响应于触发信号触发主线程，所述主线程用于经由所述接口函数调用所述测试用例的主函数的运行以启动所述测试用例的运行。

5.如权利要求1-4中任一项所述的验证系统，其中，所述被测试模块还配置成：

响应于指示所述被测试模块的功能执行完毕的中断信号触发中断线程，所述中断线程用于经由所述接口函数调用所述测试用例的中断响应函数。

6.如权利要求1-5中任一项所述的验证系统，其中，所述处理器操作包括以下各项中的至少一项：

存储设备访问操作；和

测试环境访问操作。

7.一种用于验证被测试模块的方法，包括：

在由第一编程语言实现的测试用例的运行过程中，经由接口函数调用由第二编程语言实现的操作函数，以实现所述测试用例涉及的处理器操作；

基于所述处理器操作生成用于验证所述被测试模块的测试输入；以及

获取所述被测试模块响应于所述测试输入而生成的测试输出。

8.一种电子设备，包括：

处理器；以及

存储程序的存储器，所述程序包括指令，所述指令在由所述处理器执行时使所述处理器执行根据权利要求7所述的方法。

9.一种存储程序的非暂态计算机可读存储介质，所述程序包括指令，所述指令在由电子设备的处理器执行时，致使所述电子设备执行根据权利要求7所述的方法。

10.一种计算机程序产品，包括计算机程序，其中，所述计算机程序在被处理器执行时实现根据权利要求7所述的方法。