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

龙图腾网获悉芯华章科技股份有限公司申请的专利验证方法、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115034164B 。

龙图腾网通过国家知识产权局官网在2025-12-16发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210507872.1，技术领域涉及：G06F30/33；该发明授权验证方法、电子设备及存储介质是由杨晔;徐立丰设计研发完成，并于2022-05-10向国家知识产权局提交的专利申请。

本验证方法、电子设备及存储介质在说明书摘要公布了：本申请提供了一种对逻辑系统设计进行验证的方法、电子设备及存储介质。该方法包括：接收用户的验证目标；根据所述验证目标，经由整合工具的调用接口来分别调用多个验证工具；基于所述验证目标和所述多个验证工具生成多工具验证流程；以及根据所述多工具验证流程调用所述多个验证工具以实现所述验证目标。

本发明授权验证方法、电子设备及存储介质在权利要求书中公布了：1.一种对逻辑系统设计进行验证的方法，包括： 接收用户的验证目标； 根据所述验证目标，经由整合工具的调用接口来分别调用多个验证工具，所述多个验证工具包括软件仿真工具、形式化验证工具和调试工具； 基于所述验证目标和所述多个验证工具生成多工具验证流程；以及 根据所述多工具验证流程调用所述多个验证工具以实现所述验证目标； 其中，根据所述验证目标，经由整合工具的调用接口来分别调用多个验证工具进一步包括： 分析所述验证目标以确定与所述验证目标关联的多个验证任务以及所述多个验证任务的执行顺序；所述多个验证任务包括由所述软件仿真工具进行动态验证的第一验证任务、由所述形式化验证工具进行静态验证的第二验证任务以及将所述动态验证和所述静态验证的失败断言或测试用例发送到所述调试工具的第三验证任务； 根据所述多个验证任务以及执行顺序来确定要调用的所述多个验证工具； 其中，基于所述验证目标和所述多个验证工具生成多工具验证流程，包括： 确定所述多个验证工具的状态； 根据当前已执行的验证任务的结果和所述多个验证工具的状态，调整所述多工具验证流程； 其中，确定所述多个验证工具的状态，包括：确定所述软件仿真工具和所述形式化验证工具在预定时间段内处于空闲状态； 根据当前已执行的验证任务的结果和所述多个验证工具的状态，调整所述多工具验证流程，包括：将所述第一验证任务和所述第二验证任务的执行顺序改为并行执行。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人芯华章科技股份有限公司，其通讯地址为：211800 江苏省南京市江北新区华创路共享空间01栋18层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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