本发明涉及芯片验证技术领域，尤其涉及一种基于约束求解器的条件约束语句求解方法、设备和介质，方法包括：步骤S1、获取功能覆盖组中的交叉项的条件约束语句和对应的变量信息；步骤S2、基于交叉项的条件约束语句对应的变量信息生成每一变量的仓集合，基于每一变量的仓集合生成所述交叉项的条件约束语句对应的交叉项集合；步骤S3、将交叉项的条件约束语句转换为约束求解器能够识别的约束求解问题；步骤S4、将每一Cm和所述约束求解问题输入约束求解器中求解，若Cm中存在符合所述约束求解问题的数值，则将Cm确定为目标交叉项，否则，将Cm确定为非目标交叉项。本发明提高了功能覆盖组的交叉项的条件约束语句的求解效率。