[发明专利]基于约束求解器的条件约束语句求解方法、设备和介质

权利要求书

1.一种基于约束求解器的条件约束语句求解方法，其特征在于，包括：

步骤S1、获取功能覆盖组中的交叉项的条件约束语句和交叉项的条件约束语句对应的变量信息，所述交叉项的条件约束语句对应的变量信息包括交叉项的条件约束语句对应的变量标识、变量定义范围信息、变量内部约束信息，所述变量内部约束信息包括变量约束范围和/或变量仓数量；

步骤S2、基于所述交叉项的条件约束语句对应的变量信息生成每一变量的仓集合，基于每一变量的仓集合生成所述交叉项的条件约束语句对应的交叉项集合{C₁,C₂,…,C_m,…,C_M}，其中，C_m为所述交叉项的条件约束语句对应的交叉项集合中的第m个交叉项，m的取值范围为1到M，M为所述交叉项的条件约束语句对应的交叉项集合中交叉项总数；

步骤S3、调用约束求解器对应的API将所述交叉项的条件约束语句转换为所述约束求解器能够识别的约束求解问题；

步骤S4、将每一C_m和所述约束求解问题输入所述约束求解器中求解，若C_m中存在符合所述约束求解问题的数值，则将C_m确定为目标交叉项，否则，将C_m确定为非目标交叉项，所述目标交叉项为用于芯片仿真采样的交叉项。

2.根据权利要求1所述的方法，其特征在于，

所述步骤S1之前还包括：

步骤S0、基于芯片验证源代码进行编译，获取可执行文件，所述芯片验证源代码包括变量定义和功能覆盖组定义，在芯片验证编译阶段，将变量定义和功能覆盖组定义转存至预设的存储文件中，内部约束定义设置在所述功能覆盖组定义中，所述内部约束定义包括变量标识、变量标识对应的变量约束范围和/或变量仓数量。

3.根据权利要求2所述的方法，其特征在于，

所述步骤S1包括：

步骤S11、在芯片验证仿真阶段，读取所述预设的存储文件，从所述变量定义中提取所述变量定义范围信息，从所述内部约束定义中提取所述变量内部约束信息，生成所述功能覆盖组中的交叉项的条件约束语句和交叉项的条件约束语句对应的变量信息。

4.根据权利要求1所述的方法，其特征在于，

所述交叉项的条件约束语句对应的变量包括{a₁,a₂,…,a_n,…,a_N},a_n为第n个变量，n的取值范围为1到N，N为交叉项的条件约束语句对应的交叉项中所涉及的变量的总数，所述步骤S2包括：

步骤S21、初始设置n=1，执行步骤S22；

步骤S22、若a_n存在对应的变量内部约束信息，则执行步骤S23；

步骤S23、基于a_n对应的变量定义范围信息、变量内部约束信息、变量内部约束信息中的仓划分标识，生成a_n对应的仓集合，每个a_n对应的仓中至少包括一个数值，若n=N，则执行步骤S24，若nN，则设置n=n+1，返回执行步骤S22；

步骤S24、基于所有a_n对应的仓集合进行组合，生成交叉项集合{C₁,C₂,…,C_m,…,C_M}。