【技术实现步骤摘要】
本专利技术涉及计算机领域，具体而言，涉及一种对象需求验证方法、装置及计算机设备。
技术介绍
1、risc-v是一种完全开源的指令集架构，该指令集不仅注重于在微型化、低功耗用途设备上实现，且充分考虑了当代市场化的竞争环境实现了指令集的完全开源，从而使risc-v指令集得到进一步发展。
2、但在相关技术中，在对基于risc-v的对象进行验证时，例如，在cpu ip核的设计前期(比如，非芯片阶段，硬件加速器环节等)，对cpu ip核进行仿真测试时，往往采用动态遍历的方式去查询整个验证空间，遍历速度受限于动态测试软硬件资源，参考模型维护困难。
3、因此，在相关技术中，对基于risc-v的对象进行验证时，存在验证效率较低的问题。
4、针对上述的问题，目前尚未提出有效的解决方案。
技术实现思路
1、本专利技术实施例提供了一种对象需求验证方法、装置及计算机设备，以至少解决相关技术中，对基于risc-v的对象进行验证时，存在验证效率较低的技术问题。
2、根据本专利技术实施例的一个方面，提供了一种对象需求验证方法，包括：获取目标对象的目标需求，其中，所述目标对象为基于risc-v架构实现的cpu ip核；构建满足所述目标需求的形式验证模型；控制目标输入信息输入到所述目标对象，得到所述目标对象基于对应的指令集架构isa输出的测试结果；将所述目标输入信息输入至所述形式验证模型，得到所述形式验证模型基于对应的isa输出的期望结果；基于所述测试结果和所述期望结
3、可选地，所述构建满足所述目标需求的形式验证模型，包括：根据所述目标需求，定义所述目标对象的状态属性和实现所述目标需求的约束条件；基于所述状态属性和所述约束条件，生成满足所述目标需求的所述形式验证模型。
4、可选地，所述根据所述目标需求，定义所述目标对象的状态属性和实现所述目标需求的约束条件，包括：选择形式验证工具，其中，所述形式验证工具支持以下至少之一：指令集的配置，数据位宽的选择，软件开关状态，用户态权限设置；确定所述目标需求对应的以下至少之一：目标指令集，目标数据位宽，目标软件开关状态和目标用户态权限；基于以下至少之一，定义所述目标对象的状态属性和实现所述目标需求的约束条件:所述目标指令集，所述目标数据位宽，所述目标软件开关状态和所述目标用户态权限。
5、可选地，所述目标指令集包括：非法指令，其中，所述非法指令的类型包括以下至少之一：未定义的指令，用于扩展的保留指令，格式错误的指令，仅能在目标模式下运行的特权指令。
6、可选地，所述构建满足所述目标需求的形式验证模型，包括：获取所述目标需求的说明文件；对所述说明文件进行验证，得到验证结果；在所述验证结果通过的情况下，构建满足所述目标需求的所述形式验证模型。
7、可选地，所述基于所述测试结果和所述期望结果，得到所述目标对象的验证结果，包括：比较所述期望结果与所述测试结果中各个指令分别对应的输出结果；确定所述目标对象中，所述测试结果中输出结果与所述期望结果中对应输出结果不同的指令为所述非法指令。
8、可选地，所述非法指令为所述目标对象无法识别或执行的指令。
9、可选地，所述方法还包括：对所述非法指令执行以下处理至少之一：对所述非法指令进行标识，对所述非法指令进行模拟，终止所述非法指令对应的程序，对所述非法指令对应的程序进行调试。
10、可选地，所述构建满足所述目标需求的形式验证模型，包括：获取所述目标对象的目标需求的验证层级；基于所述验证层级，构建满足所述目标需求的所述形式验证模型。
11、根据本专利技术的另一方面，提供了一种对象需求验证装置，包括：第一获取模块，用于获取目标对象的目标需求，其中，所述目标对象为基于risc-v架构实现的cpu ip核；构建模块，用于构建满足所述目标需求的形式验证模型；控制模块，用于控制目标输入信息输入到所述目标对象，得到所述目标对象基于对应的指令集架构isa输出的测试结果；第二获取模块，用于将所述目标输入信息输入至所述形式验证模型，得到所述形式验证模型基于对应的isa输出的期望结果；第三获取模块，用于基于所述测试结果和所述期望结果，得到所述目标对象的验证结果，其中，所述验证结果用于标识所述目标对象是否满足所述目标需求。
12、根据本专利技术实施例的还一个方面，提供了一种计算机可读存储介质，所述计算机可读存储介质包括存储的程序，其中，在所述程序运行时控制所述计算机可读存储介质所在设备执行上述任意一项所述的对象需求验证方法。
13、根据本专利技术实施例的再一个方面，提供了一种计算机设备，包括：存储器和处理器，所述存储器存储有计算机程序；所述处理器，用于执行所述存储器中存储的计算机程序，所述计算机程序运行时使得所述处理器执行上述任意一项所述的对象需求验证方法。
14、在本专利技术实施例中，采用形式验证模型对目标对象对应的指令集架构isa进行验证的方式，达到了对目标对象对应进行验证的目的，由于形式验证模型可以一次性对目标对象所包括的指令集架构isa的内容进行验证，即采用形式验证模型准确，高效验证的特点，相对于相关技术中需要分别对isa中的内容一一分别进行验证而言，有效地实现了对目标对象对应的指令集架构isa高效，准确识别的技术效果，进而解决了相关技术中，对基于risc-v的对象进行验证时，存在验证效率较低的技术问题。
本文档来自技高网...【技术保护点】
1.一种对象需求验证方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述构建满足所述目标需求的形式验证模型，包括：
3.根据权利要求2所述的方法，其特征在于，所述根据所述目标需求，定义所述目标对象的状态属性和实现所述目标需求的约束条件，包括：
4.根据权利要求3所述的方法，其特征在于，所述目标指令集包括：非法指令，其中，所述非法指令的类型包括以下至少之一：未定义的指令，用于扩展的保留指令，格式错误的指令，仅能在目标模式下运行的特权指令。
5.根据权利要求1所述的方法，其特征在于，所述构建满足所述目标需求的形式验证模型，包括：
6.根据权利要求1所述的方法，其特征在于，所述基于所述测试结果和所述期望结果，得到所述目标对象的验证结果，包括：
7.根据权利要求6所述的方法，其特征在于，所述非法指令为所述目标对象无法识别或执行的指令。
8.根据权利要求6所述的方法，其特征在于，所述方法还包括：对所述非法指令执行以下处理至少之一：
9.根据权利要求1至8中任一项所述的方法，其
10.一种对象需求验证装置，其特征在于，包括：
11.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质包括存储的程序，其中，在所述程序运行时控制所述计算机可读存储介质所在设备执行权利要求1至9中任意一项所述的对象需求验证方法。
12.一种计算机设备，其特征在于，包括：存储器和处理器，
...【技术特征摘要】
1.一种对象需求验证方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述构建满足所述目标需求的形式验证模型，包括：
3.根据权利要求2所述的方法，其特征在于，所述根据所述目标需求，定义所述目标对象的状态属性和实现所述目标需求的约束条件，包括：
4.根据权利要求3所述的方法，其特征在于，所述目标指令集包括：非法指令，其中，所述非法指令的类型包括以下至少之一：未定义的指令，用于扩展的保留指令，格式错误的指令，仅能在目标模式下运行的特权指令。
5.根据权利要求1所述的方法，其特征在于，所述构建满足所述目标需求的形式验证模型，包括：
6.根据权利要求1所述的方法，其特征在于，所述基于所述测试结果和所述期望结果，得...
【专利技术属性】
技术研发人员：江滔，邱燕强，刘宝霞，曾逸涵，
申请(专利权)人：阿里巴巴达摩院杭州科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。