成都融见软件科技有限公司;上海合见工业软件集团有限公司倪恩志获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉成都融见软件科技有限公司;上海合见工业软件集团有限公司申请的专利基于多个约束求解器的协同方法、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118966095B 。
龙图腾网通过国家知识产权局官网在2025-06-06发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410981970.8，技术领域涉及：G06F30/33；该发明授权基于多个约束求解器的协同方法、电子设备及存储介质是由倪恩志;陈颖;石光辉设计研发完成，并于2024-07-22向国家知识产权局提交的专利申请。
本基于多个约束求解器的协同方法、电子设备及存储介质在说明书摘要公布了：本发明涉及芯片验证领域，特别是涉及基于多个约束求解器的协同方法、电子设备及存储介质，其通过获取N类约束求解器CS和表达式exp适配CS的约束条件P，根据P协同计算exp，协同计算的步骤包括：CS分别从各自V和VM中挑选候选变量，协同调度器再次从所有候选变量中挑选目标候选变量且获取目标候选变量的随机值，将目标候选变量及其随机值在每个约束求解器的新增子约束集和剩余约束集的范围内传播，该方法能够使所有的约束求解器协同计算，提高了计算约束表达式的求解效率和准确率。
本发明授权基于多个约束求解器的协同方法、电子设备及存储介质在权利要求书中公布了：1.一种基于多个约束求解器的协同方法，其特征在于，所述方法包括：P100，获取N类约束求解器CS；P200，获取表达式exp适配CS的约束条件P，其中，每类约束求解器的约束条件包括exp中所有变量的原始变量集V、适配当前约束求解器生成的当前中间变量集VM、除了当前约束求解器之外其他所有约束求解器的其他中间变量集VMC、当前约束求解器生成的新增子约束集CC、N类约束求解器均无法匹配的剩余约束集CF；P300，根据P协同计算exp，包括以下循环步骤：P310，CS分别从各自V和VM中挑选候选变量，得到每类约束求解器的候选变量；P320，协同调度器从CS的所有候选变量中选取L个目标候选变量，并分别获取L个目标候选变量的随机值，L大于等于1；P330，将L个目标候选变量及其随机值加入待传播列表bList；P340，当bList中的目标候选变量为空时，得到exp的协同计算结果，结束循环；P350，当bList中的目标候选变量不为空时，每个约束求解器将bList在各自的CC和CF的范围内传播。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人成都融见软件科技有限公司;上海合见工业软件集团有限公司，其通讯地址为：610095 四川省成都市高新区吉泰二路266号18栋1单元6楼602号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由AI智能生成
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号