[发明专利]跨多个验证域的验证系统、验证方法、验证设备

权利要求书

1.一种跨多个验证域的验证系统，包括可移植激励层、后端平面层和多个外语层，其中，

所述可移植激励层被配置为：

获取用于验证待验证对象的跨多个验证域的测试激励，所述跨多个验证域的测试激励包括指示用于执行所述测试激励的多个验证域的验证域标识；所述多个验证域至少包括硬件验证域和软件验证域；

解析所述测试激励，并创建与所述待验证对象相关的验证事务；

将所述验证域标识和所述验证事务发送至所述后端平面层；

所述后端平面层，用于隔离所述可移植激励层和所述多个外语层，其被配置为：

从所述可移植激励层接收所述验证域标识和所述验证事务；和

基于所述多个外语层与所述多个验证域的关联关系，将所述验证事务转发至与所述验证域标识相对应的外语层；

所述多个外语层包括硬件域外语层和软件域外语层；所述多个外语层中的每个外语层，所述每个外语层用于一个验证域，其被配置为：

从所述后端平面层接收与该外语层相对应的所述验证事务；

解析并执行所述验证事务。

2.如权利要求1所述的跨多个验证域的验证系统，其中，

所述待验证对象为与图形处理单元GPU相关联的芯片设计；

所述验证域标识包括以下各项中的至少一项：指示在硬件域中进行验证的验证域标识、在软件域中进行验证的验证域标识、在硬件域和软件域中进行共同验证的验证域标识。

3.如权利要求1所述的跨多个验证域的验证系统，其中，所述解析测试激励，并创建与所述待验证对象相关的验证事务还包括：

在所述测试激励中定义了基本数据类型的数据的情况下，创建包括所述基本数据类型的数据的验证事务；

在所述测试激励中定义了复杂数据类型的数据的情况下，将所述复杂数据类型的数据打包成二进制数据，并创建包括所述二进制数据的验证事务；

在所述测试激励中定义了指针类型的数据的情况下，提取所述指针类型的数据所指向的内存中的地址中的内存数据，将所述内存数据打包成所述内存数据对应的二进制数据，并创建包括所述内存数据对应的二进制数据的验证事务。

4.如权利要求2所述的跨多个验证域的验证系统，其中，所述测试激励是以测试描述语言编写的，所述可移植激励层还包括测试描述语言库和开放计算语言库，其中，

所述测试描述语言库包括以下各项中的至少一项：与至少一个基本数据类型相关联的关键词、用于描述验证事务的功能的关键词、用于描述验证事务的功能的限制条件的关键词和用于描述验证事务的功能的执行顺序的关键词；

所述开放计算语言库包括以下各项中的至少一项：与所述至少一个基本数据类型相关联的关键词、用于实现以开放计算语言编写的程序的功能的关键词、用于实现压缩复杂数据类型的变量的功能的关键词和用于实现传输验证事务的功能的关键词。

5.如权利要求2所述的跨多个验证域的验证系统，其中，所述后端平面层还被配置为：

从所述可移植激励层接收可移植激励层注册函数，其中，所述可移植激励层注册函数包括所述可移植激励层的标识以及所述可移植激励层期望调用的后端平面层相关的函数；

从所述多个外语层接收外语层注册函数，其中，所述外语层注册函数包括与所述外语层相关的验证域标识。

6.如权利要求2所述的跨多个验证域的验证系统，其中，所述硬件域外语层包括硬件外语层适配器和硬件验证模拟环境，其中，

所述硬件外语层适配器被配置为：

接收所述验证事务；

将所述验证事务转换为总线事务相关的序列项；

将所述序列项发送至所述硬件验证模拟环境；

所述硬件验证模拟环境被配置为：

接收所述序列项；

在定序器上启动所述序列项，以触发所述序列项相关驱动。