买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中国科学院软件研究所申请的专利一种模糊测试与模型检测结合的硬件验证方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121301101B 。

龙图腾网通过国家知识产权局官网在2026-03-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511266699.0，技术领域涉及：G06F11/22；该发明授权一种模糊测试与模型检测结合的硬件验证方法及系统是由刘锦宇;申世东;宋富;吴志林设计研发完成，并于2025-09-05向国家知识产权局提交的专利申请。

本一种模糊测试与模型检测结合的硬件验证方法及系统在说明书摘要公布了：本发明公开一种模糊测试与模型检测结合的硬件验证方法及系统，属于硬件测试技术领域。所述方法包括：在处理器上基于初始种子集执行多轮覆盖率引导的模糊测试，记录模糊测试过程中生成的快照，并对快照进行价值评分，以构建快照池，所述处理器基于待验证处理器设计生成；从快照池中选出一最佳快照，并基于该最佳快照初始化一处理器设计；在该处理器设计中存在尚未被覆盖的点的情况下，利用限界模型检测来生成新测试种子；基于新测试种子对该处理器设计进行模糊测试，得到该最佳快照的验证结果；综合最佳快照集合中若干最佳快照的验证结果，得到该待验证处理器设计的硬件验证结果。本发明可以在不牺牲验证精度的前提下显著提升BMC的效率与适用性。

本发明授权一种模糊测试与模型检测结合的硬件验证方法及系统在权利要求书中公布了：1.一种模糊测试与模型检测结合的硬件验证方法，其特征在于，所述方法包括： 在处理器上基于初始种子集执行多轮覆盖率引导的模糊测试，记录模糊测试过程中生成的快照，并对快照进行价值评分，以构建快照池；其中，所述处理器基于待验证处理器设计生成； 从快照池中选出一最佳快照，并基于该最佳快照初始化一处理器设计； 在该处理器设计中存在尚未被覆盖的点的情况下，利用限界模型检测来生成新测试种子； 基于新测试种子对该处理器设计进行模糊测试，得到该最佳快照的验证结果； 综合最佳快照集合中若干最佳快照的验证结果，得到该待验证处理器设计的硬件验证结果； 其中，在该处理器设计中存在尚未被覆盖的点的情况下，利用限界模型检测来生成新测试种子，包括： 在该处理器设计中存在尚未被覆盖的点的情况下，根据该尚未被覆盖的点生成覆盖断言； 在该处理器设计的源代码中插入该覆盖断言，以生成形式化验证模型； 分析形式化验证模型中覆盖断言的可达性； 若覆盖断言在形式化验证模型中的某一路径实现可达，种子生成器将该路径转换为一个新测试种子并记录该新测试种子的形式化验证速率之后，将该新测试种子加入种子库；其中，所述形式化验证速率，表示在一个初始化过的处理器中进行轮限界模型检测后得到的形式化验证速率，表示第轮限界模型检测发现的可达点数量，表示第轮限界模型检测花费的时间。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国科学院软件研究所，其通讯地址为：100190 北京市海淀区中关村南四街4号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。