南京集成电路设计自动化技术创新中心;东南大学徐宁获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉南京集成电路设计自动化技术创新中心;东南大学申请的专利电路设计验证方法、装置、设备、介质和产品获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121351730B 。
龙图腾网通过国家知识产权局官网在2026-03-31发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511915110.5，技术领域涉及：G06F30/33；该发明授权电路设计验证方法、装置、设备、介质和产品是由徐宁;赵天浩;杨军;祁磊;刘乘杰设计研发完成，并于2025-12-18向国家知识产权局提交的专利申请。
本电路设计验证方法、装置、设备、介质和产品在说明书摘要公布了：本申请涉及一种电路设计验证方法、装置、设备、介质和产品。方法包括：获取对目标电路设计进行验证的目标需求；将目标需求作为思维树的根节点，按照以下方式逐层处理思维树中各节点对应的验证任务：在当前节点的当前验证任务包括第一可执行指令的情况下，基于第一可执行指令调用对应的验证工具对目标电路设计进行验证处理，得到与当前验证任务对应的中间验证结果；在当前节点的当前验证任务不包括第一可执行指令的情况下，调用目标大模型将当前节点对应的当前验证任务分解成验证逻辑独立的至少一个子任务，得到当前节点的下一层节点对应的验证任务；基于中间验证结果，得到目标需求对应的目标验证结果。采用本方法能够提高电路设计验证的效率。
本发明授权电路设计验证方法、装置、设备、介质和产品在权利要求书中公布了：1.一种电路设计验证方法，其特征在于，所述方法包括： 获取对目标电路设计进行验证的目标需求； 将所述目标需求作为思维树的根节点，按照以下方式逐层处理所述思维树中各节点对应的验证任务：在当前节点对应的当前验证任务包括第一可执行指令的情况下，基于所述第一可执行指令调用对应的验证工具对所述目标电路设计进行验证处理，得到与所述当前验证任务对应的中间验证结果，调用目标大模型基于所述中间验证结果和所述思维树对应的上下文数据进行推理处理，生成所述当前节点的下一层节点对应的验证任务或者结束所述当前节点对应的路径；在所述当前节点对应的当前验证任务不包括第一可执行指令的情况下，调用目标大模型将所述当前节点对应的当前验证任务分解成验证逻辑独立的至少一个子任务，得到所述当前节点的下一层节点对应的验证任务； 基于所述中间验证结果，得到所述目标需求对应的目标验证结果。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京集成电路设计自动化技术创新中心;东南大学，其通讯地址为：210000 江苏省南京市江北新区星火路17号创智大厦B座7楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励