【技术实现步骤摘要】
本专利技术涉及计算机领域，具体而言，涉及一种对象需求验证方法、装置及计算机设备。
技术介绍
1、risc-v是一种完全开源的指令集架构，该指令集不仅注重于在微型化、低功耗用途设备上实现，且充分考虑了当代市场化的竞争环境实现了指令集的完全开源，从而使risc-v指令集得到进一步发展。
2、但在相关技术中，在对基于risc-v的对象进行验证时，例如，在cpu ip核的设计前期(比如，非芯片阶段，硬件加速器环节等)，对cpu ip核进行仿真测试时，往往采用动态遍历的方式去查询整个验证空间，遍历速度受限于动态测试软硬件资源，参考模型维护困难。
3、因此，在相关技术中，对基于risc-v的对象进行验证时，存在验证效率较低的问题。
4、针对上述的问题，目前尚未提出有效的解决方案。
技术实现思路
1、本专利技术实施例提供了一种对象需求验证方法、装置及计算机设备，以至少解决相关技术中，对基于risc-v的对象进行验证时，存在验证效率较低的技术问题。
2、根据...
【技术保护点】
1.一种对象需求验证方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述构建满足所述目标需求的形式验证模型，包括：
3.根据权利要求2所述的方法，其特征在于，所述根据所述目标需求，定义所述目标对象的状态属性和实现所述目标需求的约束条件，包括：
4.根据权利要求3所述的方法，其特征在于，所述目标指令集包括：非法指令，其中，所述非法指令的类型包括以下至少之一：未定义的指令，用于扩展的保留指令，格式错误的指令，仅能在目标模式下运行的特权指令。
5.根据权利要求1所述的方法，其特征在于，所述构建满足所述目标需...
【技术特征摘要】
1.一种对象需求验证方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述构建满足所述目标需求的形式验证模型，包括：
3.根据权利要求2所述的方法，其特征在于，所述根据所述目标需求，定义所述目标对象的状态属性和实现所述目标需求的约束条件，包括：
4.根据权利要求3所述的方法，其特征在于，所述目标指令集包括：非法指令，其中，所述非法指令的类型包括以下至少之一：未定义的指令，用于扩展的保留指令，格式错误的指令，仅能在目标模式下运行的特权指令。
5.根据权利要求1所述的方法，其特征在于，所述构建满足所述目标需求的形式验证模型，包括：
6.根据权利要求1所述的方法，其特征在于，所述基于所述测试结果和所述期望结果，得...
【专利技术属性】
技术研发人员：江滔，邱燕强，刘宝霞，曾逸涵，
申请(专利权)人：阿里巴巴达摩院杭州科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。