【技术实现步骤摘要】
本申请涉及电子设计自动化，具体为一种约束问题优化的方法、装置、设备和存储介质。
技术介绍
1、软件仿真工具在处理约束求解问题时，一般是把问题转换为约束求解器引擎的输入格式，然后直接输入约束求解器引擎，直到其返回结果或者是返回求解失败。市面上流行的约束求解器引擎分为两种：基于布尔可满足性问题（boolean satisfiability problem，sat）的minisat和基于二叉决策树（binary decision diagram，bdd）的cudd。minisat是基于sat技术，把约束问题抽象为布尔逻辑满足性问题，进行求解。而cudd则是基于二叉决策树技术，构建约束问题的解空间，然后输出结果。这两种引擎都比较成熟且在业界应用多年，但都有自身的缺点。例如：采用sat技术使得处理数据大，耗时久。虽然业界一直尝试对其进行改进，但是一直未解决该技术问题。
技术实现思路
1、本申请的目的在于提供一种约束问题优化的方法、装置、设备和存储介质，以解决现有技术中采用sat技术处理约束求解问题时...
【技术保护点】
1.一种约束问题优化的方法，其特征在于，所述方法包括：
2.根据权利要求1所述的约束问题优化的方法，其特征在于，所述基于所述历史随机变量集合和所述历史约束条件集合，获取关联关系包括：
3.根据权利要求1或2所述的约束问题优化的方法，其特征在于，所述基于所述关联关系更新所述历史随机变量集合和所述历史约束条件集合，获取当前随机变量集合和当前约束条件集合包括：
4.根据权利要求3所述的约束问题优化的方法，其特征在于，所述基于所述周期性随机变量，更新获取当前约束条件集合包括：
5.根据权利要求3所述的约束问题优化的方法，其特征在...
【技术特征摘要】
1.一种约束问题优化的方法，其特征在于，所述方法包括：
2.根据权利要求1所述的约束问题优化的方法，其特征在于，所述基于所述历史随机变量集合和所述历史约束条件集合，获取关联关系包括：
3.根据权利要求1或2所述的约束问题优化的方法，其特征在于，所述基于所述关联关系更新所述历史随机变量集合和所述历史约束条件集合，获取当前随机变量集合和当前约束条件集合包括：
4.根据权利要求3所述的约束问题优化的方法，其特征在于，所述基于所述周期性随机变量，更新获取当前约束条件集合包括：
5.根据权利要求3所述的约束问题优化的方法，其特征在于，所述基于所述历史随机变量集合，更新获取当前随机变量集...
【专利技术属性】
技术研发人员：贾非凡，黄传动，王晨阳，曹阳，张雨桐，
申请(专利权)人：上海思尔芯技术股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。