基于计算单元的验证方法及验证平台技术

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

【技术实现步骤摘要】
基于计算单元的验证方法及验证平台
本专利技术涉及电子
，具体涉及一种基于计算单元的验证方法及验证平台。
技术介绍
UVM是一个以SystemVerilog类库为主体的验证平台开发框架，验证工程师利用其可重用组件可以构建具有标准化层次结构和接口的功能验证环境。UVM验证方法学有效结合了测试激励随机生成、自测试平台和随机化约束等方法，它采用最佳框架以实现覆盖率驱动的验证，使验证工程师通过采用高级验证技术来降低风险。在处理器设计中，根据其指令集会设计众多与之对应的计算单元，如简单定/浮点计算单元、复杂定/浮点计算单元、数据置换单元、定/浮点转换单元、除法/平方根单元、估值单元、加解密单元等各种计算单元；各类计算指令的操作数类型、初始状态寄存器配置、立即数、待反馈寄存器种类、异常情况、以及结果核对方法等场景各不相同；现有传统验证方法是通过各类计算单元搭建各自验证环境，其验证方法各不相同，不利于统一管理，同时影响验证效率。
技术实现思路
有鉴于此，本专利技术实施例提供一种基于计算单元的验证方法及验证平台，以提高验证方法的验证效率、提升验证平台的通用性。根据第一方面，本专利技术实施例提供一种基于计算单元的验证方法，包括：获取待验证指令；根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励；利用监测器捕获所述验证激励，并将所述验证激励送入参考模型；利用计分板对所述监测器收集的计算单元处理结果以及所述参考模型的输出结构进行比较核对，以得到验证结果。本专利技术提供的基于计算单元的验证方法，通过对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，把复杂的序列进行划分组合，提高所述待验证方法的验证效率。结合第一方面，在第一方面的实施方式中，所述根据所述待验证指令，对操作码序列、操作数序列以及寄存器序列进行组合调用，以构建验证激励，包括：基于所述待验证指令进行功能场景组合到虚拟序列库；其中，所述虚拟序列库包括对应于至少两种类型的计算单元的序列；利用测试用例库在所述虚拟序列库中确定所述操作码序列、所述操作数序列以及所述寄存器序列的调用，以得到对应于所述待验证指令的验证激励。本专利技术提供的基于计算单元的验证方法，在处理多类型的计算单元的序列时，利用待验证指令及操作码序列、操作数序列以及寄存器序列进行场景组合后通过测试用例库对其中所需执行的虚拟序列提取验证激励，通过对不同类型的计算单元进行验证，使所述的验证方法具有处理多种不同类型计算单元的通用性。结合第一方面的第一实施方式，在第一方面的第二实施例中，一种基于计算单元的验证方法，还包括：获取功能场景构建参数，所述功能场景构建参数包括指令编号、操作数类型及个数；其中，所述基于所述待验证指令进行功能场景组合到虚拟序列库，包括：利用所述指令编号从指令操作码序列库中定向选取具体指令序列；利用所述操作数及个数选取随机操作数；利用所述待验证指令对应的计算单元的宏定义从寄存器序列库中确定具体的输入寄存器；利用所述具体指令序列、所述随机操作数以及所述具体的输入寄存器构建所述功能场景。本专利技术提供的基于计算单元的验证方法，通过构建功能场景对待验证指令进行分拣，提高所述验证方法的执行效率；对不同类型计算单元划分，找到指定执行序列提取所需验证激励的方式，解决了所述验证方法的通用性问题。结合第一方面的第二实施方式，在第一方面的第三实施例中，所述方法，还包括：获取指定操作数、立即数和寄存器值；利用所述指令操作数、所述立即数以及所述寄存器值构建所述功能场景。本专利技术提供的基于计算单元的验证方法，通过指定操作数、立即数和寄存器值，进行操作，提高所述验证方法的验证效率。结合第一方面，在第一方面的第四实施例中，所述的方法，根据所述待验证指令，对操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励的步骤之前，还包括：对所述待验证指令中的参数进行约束，所述参数包括操作数。本专利技术提供的基于计算单元的验证方法，通过对验证指令中的参数进行约束，以提高所述验证方法的验证效率。结合第一方面，在第一方面的第五实施例中，所述参考模型采用C语言实现。根据第二方面，本专利技术提供一种基于计算单元的验证装置，包括：获取模块，用于获取待验证指令；构建模块，用于根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励；捕获模块，利用监测器捕获所述验证激励，并将所述验证激励送入参考模型；比较模块，利用计分板对所述监测器收集的计算单元处理结果以及所述参考模型的输出结构进行比较核对，以得到验证结果。本专利技术提供的基于计算单元的验证装置，利用所述模块搭建的基于计算单元的验证装置，能提高验证方法的验证效率，实现验证方法的处理多种计算单元的通用性。根据第三方面，本专利技术提供一种验证平台，包括：存储器和处理器，所述存储器和所述处理器之间互相通信连接，所述存储器中存储有计算机指令，所述处理器通过执行所述计算机指令，从而执行权利要求1-7中任一项所述的基于计算单元的验证方法。根据第四方面，本专利技术提供一种基于计算单元的验证装置，包括：所述计算机可读存储介质存储有计算机指令，所述计算机指令用于使所述计算机执行实施方式中任一种所述的基于计算单元的验证方法。附图说明为了更清楚地说明本专利技术具体实施方式或现有技术中的技术方案，下面将对具体实施方式或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图是本专利技术的一些实施方式，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。图1为本专利技术实施例提供的基于计算单元的验证方法的流程图；图2为本专利技术实施例提供的随机数验证的获取激励流程图；图3为本专利技术实施例提供的虚拟序列库构建场景流程图；图4为本专利技术实施例提供的基于计算单元的验证平台的结构图；图5为本专利技术实施例提供的一种验证平台示意图。具体实施方式下面将结合附图对本专利技术的技术方案进行清楚、完整地描述，显然，所描述的实施例是本专利技术一部分实施例，而不是全部的实施例。基于本专利技术中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本专利技术保护的范围。此外，本专利技术实施例提供的基于计算单元的验证方法及验证平台，通过获取待验证指令，送入虚拟序列库，通过对设置参数的组合调用，构建计算单元场景，从计算单元中提取所需的验证激励送入监测模型和参考模型通过对比两模型，得到验证结果；验证方法，利用对设置参数的组合调用进行场景构建，从执行场景中提取所需验证激励，使验证计算单元的执行效率提升，通过在一个验证平台上处理不同计算单元实现了验证的方法的通用性。下面所描述的本专利技术不同实施方式中所涉及的技术特征只要彼此之间未构成冲突就可以相互结合。本专利技术实施列提供一种基于计算单元的验证方法，如图1所示，该方法包括：S1,获取待验证指令21；S2,根据待验证指令21，对虚拟序列库26中的操作码序列22、操作数序列23以及寄存器序列24进行调用，以构建验证激励28；S3,利用监测器捕获验证激励28，并将验证激励28送入参考模型；S4,利用计分板对监测器收集的计算单元处理结果以及参考模型的输出结构进行比较核对，以得到验证结果。具体的，一种基于计算单元的本文档来自技高网...

【技术保护点】
1.一种基于计算单元的验证方法，其特征在于，包括：获取待验证指令；根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励；利用监测器捕获所述验证激励，并将所述验证激励送入参考模型；利用计分板对所述监测器收集的计算单元处理结果以及所述参考模型的输出结构进行比较核对，以得到验证结果。

【技术特征摘要】
1.一种基于计算单元的验证方法，其特征在于，包括：获取待验证指令；根据所述待验证指令，对虚拟序列库中的操作码序列、操作数序列以及寄存器序列进行调用，以构建验证激励；利用监测器捕获所述验证激励，并将所述验证激励送入参考模型；利用计分板对所述监测器收集的计算单元处理结果以及所述参考模型的输出结构进行比较核对，以得到验证结果。2.根据权利要求1所述的方法，其特征在于，所述根据所述待验证指令，对操作码序列、操作数序列以及寄存器序列进行组合调用，以构建验证激励，包括：基于所述待验证指令进行功能场景组合到虚拟序列库；其中，所述虚拟序列库包括对应于至少两种类型的计算单元的序列；利用测试用例库在所述虚拟序列库中确定所述操作码序列、所述操作数序列以及所述寄存器序列的调用，以得到对应于所述待验证指令的验证激励。3.根据权利要求2所述的方法，其特征在于，还包括：获取功能场景构建参数，所述功能场景构建参数包括指令编号、操作数类型及个数；其中，所述基于所述待验证指令进行功能场景组合到虚拟序列库，包括：利用所述指令编号从指令操作码序列库中定向选取具体指令序列；利用所述操作数及个数选取随机操作数；利用所述待验证指令对应的计算单元的宏定义从寄存器序列库中确定具体的输入寄存器；利用所述具体指令序列、所述随机操作数以及所述具体的输入寄存器构建所述功能场景。4.根据权利要求2所述的方法，其特征在于，还包括：获取指定操...

【专利技术属性】
技术研发人员：彭琅，冯春阳，张兴革，黄晶，王俊杰，刘刚，邹孝杰，
申请(专利权)人：苏州中晟宏芯信息科技有限公司，
类型：发明
国别省市：江苏,32