[发明专利]基于计算单元的验证方法及验证平台

说明书

本发明涉及电子技术领域，具体涉及一种基于计算单元的验证方法及验证平台，其中，方法包括：获取待验证指令；根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励；利用监测器捕获所述验证激励，并将所述验证激励送入参考模型；利用计分板对所述监测器收集的计算单元处理结果以及所述参考模型的输出结构进行比较核对，以得到验证结果。通过对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，把复杂的序列进行划分组合，提高所述待验证方法的验证效率。

技术领域

本发明涉及电子技术领域，具体涉及一种基于计算单元的验证方法及验证平台。

背景技术

UVM是一个以SystemVerilog类库为主体的验证平台开发框架，验证工程师利用其可重用组件可以构建具有标准化层次结构和接口的功能验证环境。UVM验证方法学有效结合了测试激励随机生成、自测试平台和随机化约束等方法，它采用最佳框架以实现覆盖率驱动的验证，使验证工程师通过采用高级验证技术来降低风险。

在处理器设计中，根据其指令集会设计众多与之对应的计算单元，如简单定/浮点计算单元、复杂定/浮点计算单元、数据置换单元、定/浮点转换单元、除法/平方根单元、估值单元、加解密单元等各种计算单元；各类计算指令的操作数类型、初始状态寄存器配置、立即数、待反馈寄存器种类、异常情况、以及结果核对方法等场景各不相同；现有传统验证方法是通过各类计算单元搭建各自验证环境，其验证方法各不相同，不利于统一管理，同时影响验证效率。

发明内容

有鉴于此，本发明实施例提供一种基于计算单元的验证方法及验证平台，以提高验证方法的验证效率、提升验证平台的通用性。

根据第一方面，本发明实施例提供一种基于计算单元的验证方法，包括：

获取待验证指令；

根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励；

利用监测器捕获所述验证激励，并将所述验证激励送入参考模型；

利用计分板对所述监测器收集的计算单元处理结果以及所述参考模型的输出结构进行比较核对，以得到验证结果。

本发明提供的基于计算单元的验证方法，通过对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，把复杂的序列进行划分组合，提高所述待验证方法的验证效率。

结合第一方面，在第一方面的实施方式中，所述根据所述待验证指令，对操作码序列、操作数序列以及寄存器序列进行组合调用，以构建验证激励，包括：

基于所述待验证指令进行功能场景组合到虚拟序列库；其中，所述虚拟序列库包括对应于至少两种类型的计算单元的序列；

利用测试用例库在所述虚拟序列库中确定所述操作码序列、所述操作数序列以及所述寄存器序列的调用，以得到对应于所述待验证指令的验证激励。

本发明提供的基于计算单元的验证方法，在处理多类型的计算单元的序列时，利用待验证指令及操作码序列、操作数序列以及寄存器序列进行场景组合后通过测试用例库对其中所需执行的虚拟序列提取验证激励，通过对不同类型的计算单元进行验证，使所述的验证方法具有处理多种不同类型计算单元的通用性。

结合第一方面的第一实施方式，在第一方面的第二实施例中，一种基于计算单元的验证方法，还包括：

获取功能场景构建参数，所述功能场景构建参数包括指令编号、操作数类型及个数；

其中，所述基于所述待验证指令进行功能场景组合到虚拟序列库，包括：

利用所述指令编号从指令操作码序列库中定向选取具体指令序列；

利用所述操作数及个数选取随机操作数；