山东云海国创云计算装备产业创新中心有限公司崔盼获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉山东云海国创云计算装备产业创新中心有限公司申请的专利一种形式验证的方法、系统、设备和存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114417763B 。
龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210067822.6，技术领域涉及：G06F30/3323；该发明授权一种形式验证的方法、系统、设备和存储介质是由崔盼;邵海波;宋强;曹铸设计研发完成，并于2022-01-20向国家知识产权局提交的专利申请。
本一种形式验证的方法、系统、设备和存储介质在说明书摘要公布了：本发明提供一种形式验证的方法、系统、设备和存储介质，方法包括：使用通用的模板语法规则描述每种工作模式的模板文件，并创建用户自定义文件；响应于所述用户自定义文件接收到工作模式信息，根据工作模式产生对应的形式验证框架；调用所述工作模式所对应的模板文件并将所述模板文件存放在所述形式验证框架所对应的目录中；以及在形式验证环境的顶层将整个环境的文件关系进行连接以形成整体的框架，并使用所述框架进行形式验证。本发明针对不同的形式验证工作模式生成对应的验证平台框架，在提高验证效率的同时，不仅提高了验证环境的可复用性，还缩短了验证周期。
本发明授权一种形式验证的方法、系统、设备和存储介质在权利要求书中公布了：1.一种形式验证的方法，其特征在于，包括如下步骤： 使用通用的模板语法规则描述每种工作模式的模板文件，并创建用户自定义文件；根据所述用户自定义文件生成验证环境顶层文件端口信号列表和检查机制文件端口信号列表； 响应于所述用户自定义文件接收到工作模式信息，根据工作模式产生对应的形式验证框架； 调用所述工作模式所对应的模板文件并将所述模板文件存放在所述形式验证框架所对应的目录中；以及 在形式验证环境的顶层将整个环境的文件关系进行连接以形成整体的框架，其中，获取所述用户自定义文件中的待验证设计文件列表所在的路径和待验证设计顶层模块名，并根据所述待验证设计文件列表所在的路径和待验证设计顶层模块名提取待验证设计端口信号使用例化的方式将待验证设计的全部端口信号与验证环境的顶层端口信号一一连接，并将待验证设计端口信号复制到检查机制文件的端口列表中；并使用所述框架进行形式验证。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人山东云海国创云计算装备产业创新中心有限公司，其通讯地址为：250000 山东省济南市中国（山东）自由贸易试验区济南片区浪潮路1036号浪潮科技园S01楼35层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号