恭喜北京开源芯片研究院刘锦程获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜北京开源芯片研究院申请的专利硬件验证方法、装置、电子设备、存储介质及产品获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119782071B 。
龙图腾网通过国家知识产权局官网在2025-05-30发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510246067.1,技术领域涉及:G06F11/22;该发明授权硬件验证方法、装置、电子设备、存储介质及产品是由刘锦程;唐丹;包云岗设计研发完成,并于2025-03-03向国家知识产权局提交的专利申请。
本硬件验证方法、装置、电子设备、存储介质及产品在说明书摘要公布了:本申请提供了一种硬件验证方法、装置、电子设备、存储介质及产品,包括:获取用于测试待测电路设计文件的验证环境平台,验证环境平台中封装有多个交互函数;获取包括所有调用语句的参考模型;调用语句用于通过钩子函数调用关联的交互函数,调用语句是验证环境平台根据预设的验证规范定义以及交互函数与钩子函数之间的关联关系生成的;响应于输入的调用事件,执行与调用事件匹配的目标调用语句,以通过目标调用语句中的目标钩子函数调用目标交互函数进行执行,获得第一验证结果;获取验证环境平台仿真运行待测电路设计文件所得到的第二验证结果,并比对第一验证结果与第二验证结果,得到验证结果。本申请采用钩子函数捕获验证代码与DUT的交互。
本发明授权硬件验证方法、装置、电子设备、存储介质及产品在权利要求书中公布了:1.一种硬件验证方法,其特征在于,所述方法包括:获取用于测试待测电路设计文件的验证环境平台,所述验证环境平台中封装有多个交互函数;获取包括所有调用语句的参考模型;所述调用语句用于通过钩子函数调用关联的交互函数,所述调用语句是所述验证环境平台根据预设的验证规范定义以及所述交互函数与钩子函数之间的关联关系生成的;响应于输入的调用事件,执行与调用事件匹配的目标调用语句,以通过目标调用语句中的目标钩子函数调用目标交互函数进行执行,获得第一验证结果;获取所述验证环境平台仿真运行所述待测电路设计文件所得到的第二验证结果,并比对所述第一验证结果与所述第二验证结果,得到验证结果;所述交互函数包括驱动函数,所述响应于输入的调用事件,执行与调用事件匹配的目标调用语句,以通过目标调用语句中的目标钩子函数调用目标交互函数进行执行,获得第一验证结果,包括:响应于输入的调用事件,通过所述目标调用语句中的目标钩子函数,确定被钩取的驱动函数;将所述被钩取的驱动函数作为目标函数进行执行;截获所述目标函数执行时的交互数据并得到所述第一验证结果。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京开源芯片研究院,其通讯地址为:100084 北京市海淀区海淀大街31号3层312;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。