基于多个约束求解器的协同方法、电子设备及存储介质

本发明涉及芯片验证领域，特别是涉及基于多个约束求解器的协同方法、电子设备及存储介质，其通过获取N类约束求解器CS和表达式exp适配CS的约束条件P，根据P协同计算exp，协同计算的步骤包括：CS分别从各自V和VM中挑选候选变量，协同调度器再次从所有候选变量中挑选目标候选变量且获取目标候选变量的随机值，将目标候选变量及其随机值在每个约束求解器的新增子约束集和剩余约束集的范围内传播，该方法能够使所有的约束求解器协同计算，提高了计算约束表达式的求解效率和准确率。