[发明专利]约束求解器输入信号的预处理方法、电子设备及存储介质在审
申请号: | 202311190562.2 | 申请日: | 2023-09-15 |
公开(公告)号: | CN116933015A | 公开(公告)日: | 2023-10-24 |
发明(设计)人: | 倪恩志;陈颖;石光辉 | 申请(专利权)人: | 北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司 |
主分类号: | G06F18/10 | 分类号: | G06F18/10;G06F16/903 |
代理公司: | 北京锺维联合知识产权代理有限公司 11579 | 代理人: | 李慧敏 |
地址: | 100193 北京市海淀区东北旺北*** | 国省代码: | 北京;11 |
权利要求书: | 暂无信息 | 说明书: | 暂无信息 |
摘要: | 本发明涉及芯片验证领域,特别是涉及一种约束求解器输入信号的预处理方法、电子设备及存储介质。其通过本发明提供的方法对约束求解器的输入数据进行预处理,通过约束变量的当前域和约束表达式的值域做交集来缩小约束变量的近似值域,然后通过获取约束变量的关联表达式,将关联表达式中的子表达式替换为确定的目标结果,根据确定的目标结果优化关联表达式得到目标表达式,目标表达式即为预处理之后的表达式,将目标表达式输入约束求解器进行求解,能够大幅度的降低约束问题的复杂度,减少硬件计算资源开销和计算时间的开销,提高求解效率。 | ||
搜索关键词: | 约束 求解 输入 信号 预处理 方法 电子设备 存储 介质 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司,未经北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202311190562.2/,转载请声明来源钻瓜专利网。