温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种对象需求验证方法、装置及计算机设备。其中，该方法包括：获取目标对象的目标需求，其中，目标对象为基于RISC‑V架构实现的CPU IP核；构建满足目标需求的形式验证模型；控制目标输入信息输入到所述目标对象，得到所述目标对象基于...
该专利属于阿里巴巴达摩院（杭州）科技有限公司所有，仅供学习研究参考，未经过阿里巴巴达摩院（杭州）科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。