北京翼华云网科技有限公司焦芳获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉北京翼华云网科技有限公司申请的专利一种处理器加载存储单元功能验证方法、装置及电子设备、存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120671609B 。
龙图腾网通过国家知识产权局官网在2026-01-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511164394.9，技术领域涉及：G06F30/3323；该发明授权一种处理器加载存储单元功能验证方法、装置及电子设备、存储介质是由焦芳;邹玥设计研发完成，并于2025-08-20向国家知识产权局提交的专利申请。
本一种处理器加载存储单元功能验证方法、装置及电子设备、存储介质在说明书摘要公布了：本发明涉及功能验证技术领域，尤其是涉及一种处理器加载存储单元功能验证方法、装置及电子设备、存储介质，该方法包括：通过形式化验证工具对处理器加载存储单元进行形式化验证，提取未覆盖关键路径的特征数据；其中，特征数据至少包括时序特征、地址特征及数据依赖特征；将特征数据转换为动态仿真平台可用的约束规则，生成测试激励；基于测试激励执行动态仿真验证，得到覆盖率结果。本申请提供的处理器加载存储单元功能验证方法，通过形式化验证与动态仿真闭环协同，通过提取关键路径特征生成定向约束，大幅缩短验证周期，覆盖率收敛效率提升。
本发明授权一种处理器加载存储单元功能验证方法、装置及电子设备、存储介质在权利要求书中公布了：1.一种处理器加载存储单元功能验证方法，其特征在于，所述方法包括： 通过形式化验证工具对处理器加载存储单元进行形式化验证，提取未覆盖关键路径的特征数据；其中，所述特征数据至少包括时序特征、地址特征及数据依赖特征；通过依赖图分析全路径Load-Store指令，计算最长依赖链长度，同时，当依赖图中存在闭合环路且环路内所有指令状态为挂起时，标记死锁点；结合所述最长依赖链长度及所述死锁点，确定所述数据依赖特征； 通过约束转换脚本将特征数据转换，得到动态仿真平台可执行的约束规则；采用Actor-Critic强化学习框架动态调整所述约束规则的约束权重；对形式化标记的高危路径实施实时权重优化，生成测试激励； 基于所述测试激励执行动态仿真验证，得到覆盖率结果； 对比形式化路径特征与动态仿真覆盖率，判断是否存在未覆盖路径； 若是，触发混合验证模式反馈至形式化验证工具，以循环验证直至完全覆盖路径，完成验证。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京翼华云网科技有限公司，其通讯地址为：100000 北京市大兴区春和路52号院2号楼3层301-14；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励