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

说明书

一种跨多个验证域的验证系统、验证方法、验证设备以及非易失性计算机可读存储介质。该跨多个验证域的验证方法包括：获取用于验证待验证对象的跨多个验证域的测试激励，所述跨多个验证域的测试激励包括指示用于执行所述测试激励的至少一个验证域的验证域标识；解析所述测试激励，并创建与所述待验证对象相关的验证事务；以及基于所述验证域标识，在与所述验证域标识相对应的验证域中解析并执行所述验证事务。

技术领域

本公开的实施例涉及一种跨多个验证域的验证系统、验证方法、验证设备以及非易失性计算机可读存储介质。

背景技术

随着半导体制造技术的改进，SOC(System on Chip，系统级芯片)(即专用集成电路芯片)及多核设计的方案，代替了传统集成电路芯片而被广泛应用。这些芯片设计的方案均需要在使用前对其进行功能验证，用以保证其在使用过程中的可靠性。随着芯片设计规模的不断扩大，验证难度、验证层次、验证域的种类和数量均处于急剧增加的状态。尤其是芯片设计的软件验证和硬件验证之间的共享较少或几乎没有共享，因此验证相同功能的测试激励(测试用例)需要根据验证层次或验证域的不同而使用不同的语言来编写，为芯片设计的功能设计带来了不便。

发明内容

本公开的实施例提供跨多个验证域的验证系统、验证方法、验证设备以及非易失性计算机可读存储介质。

本公开至少一个实施例提供了一种跨多个验证域的验证系统，包括可移植激励层、后端平面层和至少一个外语层，其中，所述可移植激励层被配置为：获取用于验证待验证对象的跨多个验证域的测试激励，所述跨多个验证域的测试激励包括指示用于执行所述测试激励的至少一个验证域的验证域标识；解析所述测试激励，并创建与所述待验证对象相关的验证事务；将所述验证域标识和所述验证事务发送至所述后端平面层；所述后端平面层，用于隔离所述可移植激励层和所述至少一个外语层，其被配置为：从所述可移植激励层接收所述验证域标识和所述验证事务；和基于所述至少一个外语层与所述至少一个验证域的关联关系，将所述验证事务转发至与所述验证域标识相对应的外语层；所述至少一个外语层中的每个外语层，所述外语层用于一个验证域，其被配置为：从所述后端平面层接收与该外语层相对应的所述验证事务；解析并执行所述验证事务。

例如，所述待验证对象为与图形处理单元GPU相关联的芯片设计；所述多个验证域至少包括硬件验证域和软件验证域；所述验证域标识包括以下各项中的至少一项：指示在硬件域中进行验证的验证域标识、在软件域中进行验证的验证域标识、在硬件域和软件域中进行共同验证的验证域标识。

例如，所述解析测试激励，并创建与所述待验证对象相关的验证事务还包括：在所述测试激励中定义了基本数据类型的数据的情况下，创建包括所述基本数据类型的数据的验证事务；在所述测试激励中定义了复杂数据类型的数据的情况下，将所述复杂数据类型的数据打包成二进制数据，并创建包括所述二进制数据的验证事务；在所述测试激励中定义了指针类型的数据的情况下，提取所述指针类型的数据所指向的内存中的地址中的内存数据，将所述内存数据打包成所述内存数据对应的二进制数据，并创建包括所述内存数据对应的二进制数据的验证事务。

例如，所述测试激励是以测试描述语言编写的，所述可移植激励层还包括测试描述语言库和开放计算语言库，其中，所述测试描述语言库包括以下各项中的至少一项：与至少一个基本数据类型相关联的关键词、用于描述验证事务的功能的关键词、用于描述验证事务的功能的限制条件的关键词、和用于描述验证事务的功能的执行顺序的关键词；所述开放计算语言库包括以下各项中的至少一项：与所述至少一个基本数据类型相关联的关键词、用于实现以开放计算语言编写的程序的功能的关键词、用于实现压缩复杂数据类型的变量的功能的关键词、和用于实现传输验证事务的功能的关键词。

例如，所述后端平面层还被配置为：从所述可移植激励层接收可移植激励层注册函数，其中，所述可移植激励层注册函数包括所述可移植激励层的标识以及所述可移植激励层期望调用的后端平面层相关的函数；从所述至少一个外语层接收外语层注册函数，其中，所述外语层注册函数包括与所述外语层相关的验证域标识。