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

龙图腾网获悉山东云海国创云计算装备产业创新中心有限公司申请的专利一种芯片仿真验证的优化设计方法和装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119476191B 。

龙图腾网通过国家知识产权局官网在2025-11-14发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411243876.9，技术领域涉及：G06F30/398；该发明授权一种芯片仿真验证的优化设计方法和装置是由王凯;符云越;刘凯设计研发完成，并于2024-09-05向国家知识产权局提交的专利申请。

本一种芯片仿真验证的优化设计方法和装置在说明书摘要公布了：本发明提供一种芯片仿真验证的优化设计方法和装置，其中所述方法包括：在对目标芯片进行仿真验证时，根据当前解生成候选解，并根据预设算法成本函数、当前解以及候选解进行模拟退火计算，判断是否将当前解替换为候选解，迭代计算直至满足结束条件，得到目标芯片的最优约束解；在预设的断言组内选择至少一个断言，根据至少一个断言以及最优约束解执行仿真，收集外部模块的覆盖率数据；在确定收集的覆盖率数据未达标的情况下，根据收集的覆盖率数据调整初始解，以优化得到的最优约束解；调整断言组内选择的至少一个断言，根据调整后的至少一个断言以及优化后的最优约束解重新执行仿真，收集调整后的外部模块的覆盖率数据，直至覆盖率数据达标。

本发明授权一种芯片仿真验证的优化设计方法和装置在权利要求书中公布了：1.一种芯片仿真验证的优化设计方法，其特征在于，包括： 在对目标芯片进行仿真验证的过程中，根据当前解生成候选解，并根据预设算法成本函数、当前解以及所述候选解进行模拟退火计算，以判断是否将当前解替换为候选解，迭代计算直至满足结束条件，得到所述目标芯片的最优约束解； 在预设的断言组内选择至少一个断言，根据选择的所述至少一个断言以及所述最优约束解执行仿真，收集外部模块的覆盖率数据；其中，所述断言与所述外部模块具有对应的绑定关系； 在确定收集的覆盖率数据未达标的情况下，根据收集的覆盖率数据，调整初始解，以优化得到的最优约束解；其中，所述初始解为对目标芯片进行仿真验证的起点； 调整断言组内选择的至少一个断言，根据调整后的至少一个断言以及所述优化后的最优约束解重新执行仿真，收集调整后的所述外部模块的覆盖率数据，直至所述覆盖率数据达标； 所述算法成本函数用于根据所述当前解产生的数据量达成的代码覆盖率计算算法成本，所述代码覆盖率包括寄存器翻转覆盖率、数字设计建模代码分支条件覆盖率、状态机状态覆盖率以及设计建模代码行覆盖率； 基于所述预设算法成本函数和所述当前解，计算所述当前解对应的函数值，具体包括： 获取所述当前解覆盖的硬件设计路径评分以及所述当前解产生的数据量达成的代码覆盖率； 根据所述当前解覆盖的硬件设计路径评分以及所述当前解产生的数据量达成的代码覆盖率进行计算，得到所述当前解对应的函数值； 代码覆盖率的计算参见下述公式： ； 其中，fx为算法成本计算，成本越低，及验证效果越好； cx为覆盖的硬件设计路径评分； 为通过约束产生的数据量达成的代码覆盖率，为每种覆盖率的权重；为寄存器翻转覆盖率；为数字设计建模代码分支条件覆盖率，为状态机状态覆盖率，为设计建模代码行覆盖率； 为成本计算固定参数，可配置，默认为1。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人山东云海国创云计算装备产业创新中心有限公司，其通讯地址为：250000 山东省济南市高新区港西路2177号港盛大厦4层401室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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