北京中科昊芯科技有限公司于明舜获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉北京中科昊芯科技有限公司申请的专利一种指令验证方法、装置、电子设备及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119201695B 。
龙图腾网通过国家知识产权局官网在2025-09-05发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411225280.6,技术领域涉及:G06F11/3668;该发明授权一种指令验证方法、装置、电子设备及存储介质是由于明舜;石欣宇;刘硕设计研发完成,并于2024-09-03向国家知识产权局提交的专利申请。
本一种指令验证方法、装置、电子设备及存储介质在说明书摘要公布了:本申请实施例提供一种指令验证方法、装置、电子设备及存储介质,该方法包括:获取待验证指令集;对待验证指令集分别进行定向测试和随机测试,得到与待验证指令集对应的汇编文件;采用预设仿真软件和与待验证指令集对应的汇编文件,确定与待验证指令集对应的验证结果,本申请实施例中,通过对待验证指令集进行定向测试和随机测试,其中,定向测试用于对集中的特殊功能进行测试,随机验证方式可以对循环深度、循环次数、循环体内的指令进行随机验证,本申请提供的指令验证方式具备良好的扩展性和复用性,能够满足将来循环指令循环次数、循环深度等调整带来的相关验证系统升级的需求。
本发明授权一种指令验证方法、装置、电子设备及存储介质在权利要求书中公布了:1.一种指令验证方法,其特征在于,所述方法包括: 获取待验证指令集,所述待验证指令集为repeat循环指令集,该Repeat循环指令为硬件循环指令,该指令后的第一条指令是循环体的首条指令,loopend以偏移量的方式定义了循环体的末尾指令,循环寄存器定义了循环次数; 对所述待验证指令集分别进行定向测试和随机测试,得到与所述待验证指令集对应的汇编文件; 采用预设仿真软件和与所述待验证指令集对应的汇编文件,确定与所述待验证指令集对应的验证结果;所述对所述待验证指令集进行定向测试,包括: 采用预设定向测试用例,对所述待验证指令集的预设功能进行验证,其中,所述待验证指令集的预设功能至少包括循环体中是否包括分支指令,所述循环体是否触发中断,以及边界测试,所述边界测试至少包括循环次数最大值、循环次数最小值、循环深度最大值和循环深度最小值中的一种或多种; 所述对所述待验证指令集进行随机测试,包括: 对所述待验证指令集中的各个指令函数进行测试,得到测试结果; 将所述测试结果和与所述指令函数对应的预设验证结果进行比较,得到比较结果; 将所述测试结果、所述预设验证结果和所述比较结果,保存在汇编文件中。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京中科昊芯科技有限公司,其通讯地址为:100083 北京市海淀区中关村东路18号18层A-1808;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。
请提出您的宝贵建议,有机会获取IP积分或其他奖励