山东云海国创云计算装备产业创新中心有限公司张峰获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉山东云海国创云计算装备产业创新中心有限公司申请的专利一种系统验证仿真方法、系统、设备以及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114781324B 。
龙图腾网通过国家知识产权局官网在2025-11-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210448932.7，技术领域涉及：G06F30/398；该发明授权一种系统验证仿真方法、系统、设备以及介质是由张峰;李拓设计研发完成，并于2022-04-27向国家知识产权局提交的专利申请。
本一种系统验证仿真方法、系统、设备以及介质在说明书摘要公布了：本发明公开了一种系统验证仿真方法，包括以下步骤：为每一个仿真验证环境配置随机约束；根据配置的随机约束启动每一个仿真验证环境中的仿真验证过程并将覆盖率记录到对应的覆盖率结果文件中；周期性扫描每一个覆盖率结果文件；响应于覆盖率结果文件中的覆盖率未达到预设值，更新对应的仿真验证环境的随机约束；响应于覆盖率结果文件中的覆盖率达到预设值，结束对应的仿真验证环境中的仿真验证过程。本发明还公开了一种系统、计算机设备以及可读存储介质。本发明提出的方案能够并行进行多个仿真环境的仿真，能依据自定义的规则让各个验证环境自动化切换随机约束，在提高自动化程度的同时提高并行仿真验证的效率。
本发明授权一种系统验证仿真方法、系统、设备以及介质在权利要求书中公布了：1.一种系统验证仿真方法，其特征在于，包括以下步骤： 为每一个仿真验证环境分别配置一个随机约束文件，并在所述随机约束文件配置随机约束； 根据配置的随机约束启动每一个仿真验证环境中的仿真验证过程并将覆盖率记录到对应的覆盖率结果文件中； 周期性扫描每一个覆盖率结果文件； 响应于覆盖率结果文件中的覆盖率未达到预设值，更新对应的仿真验证环境的随机约束； 响应于覆盖率结果文件中的覆盖率达到预设值，结束对应的仿真验证环境中的仿真验证过程； 响应于覆盖率结果文件中的覆盖率未达到预设值，更新对应的仿真验证环境的随机约束，进一步包括： 响应于检测到覆盖率结果文件中的覆盖率未达到预设值且超过预设时间段未更新，利用预设算法更新对应的仿真验证环境的随机约束； 将更新后的随机约束记录到相应的随机约束文件中。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人山东云海国创云计算装备产业创新中心有限公司，其通讯地址为：250000 山东省济南市中国(山东)自由贸易试验区济南片区浪潮路1036号浪潮科技园S01楼35层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励