[发明专利]随机约束可选择的基于覆盖率驱动的随机验证方法

权利要求书

1.随机约束可选择的基于覆盖率驱动的随机验证方法，其特征在于包括如下步骤：

S1、定义随机验证环境中所有需要的随机约束，并定义上述随机约束的取值范围；

S2、将定义后的所有需要的随机约束组合划分为多组随机约束组合，且每两组随机约束组合之间不存在实际功能的完全重叠；

S3、设置能够动态调整的覆盖率统计周期；

S4、在覆盖率统计周期内统计当前仿真验证过程中覆盖率的增长情况，并将新增的覆盖率累加到已有的覆盖率数据中，以当前仿真验证过程中覆盖率的增长情况作为随机约束的评估准则，对上述随机约束组合进行仿真验证；

步骤S2中，设置上述多组随机约束组合的仿真顺序；步骤S4中，在一个仿真过程中依序串行的对上述多组随机约束组合进行仿真验证；

步骤S4中，随机约束组合进行仿真验证的步骤记为S4-1，其内容为：

S4-11、在一个覆盖率统计周期内对随机约束组合进行仿真验证，直至所述覆盖率统计周期结束；

S4-12、判断在上述覆盖率统计周期内覆盖率的增长情况，覆盖率的增长情况为覆盖率没有增长，则跳出执行其他步骤；覆盖率的增长情况为覆盖率有增长，则进入下一个覆盖率统计周期，则重新循环S4-1；

在一个仿真过程中依序串行的对上述多组随机约束组合进行仿真验证，包括如下步骤：

S41、依序读入一组随机约束组合，开始执行随机约束组合进行仿真验证，即调用执行S4-1；直至S4-1跳出执行其他步骤后，则执行步骤S42；

S42、判断连续没有覆盖率增长的覆盖率统计周期数是否达到最大连续没有覆盖率增长的覆盖率统计周期数阈值；如果未达到，执行步骤S43；如果达到，执行步骤S44；

S43、延长上述覆盖率统计周期，在延长的覆盖率统计周期内对随机约束组合进行仿真验证，即调用执行S4-1；直至S4-1跳出执行其他步骤后，则执行步骤S42；

S44、判断是否有未仿真验证的随机约束组合，如果无未仿真验证的随机约束组合，则结束；

如果有未仿真验证的随机约束组合，则依序读入下一组随机约束组合，重新开始执行步骤S41。

2.根据权利要求1所述的随机约束可选择的基于覆盖率驱动的随机验证方法，其特征在于步骤S3中，设置能够动态调整的覆盖率统计周期包括设置初始的覆盖率统计周期以及最大连续没有覆盖率增长的覆盖率统计周期数阈值。

3.根据权利要求1或2所述的随机约束可选择的基于覆盖率驱动的随机验证方法，其特征在于步骤S4中，在一个仿真过程中随机串行的对上述多组随机约束组合进行仿真验证。

4.根据权利要求1或2所述的随机约束可选择的基于覆盖率驱动的随机验证方法，其特征在于步骤S2中，将上述所有需要的随机约束组合划分为多组随机约束组合组，并设置每组随机约束组合组中对应的随机约束组合的仿真顺序；

步骤S4中，每组随机约束组合组对应一个仿真过程，在每一个仿真过程中依序串行的对与其对应的随机约束组合进行仿真验证，上述多个仿真过程并行进行。

5.根据权利要求1或2所述的随机约束可选择的基于覆盖率驱动的随机验证方法，其特征在于步骤S2中，将上述所有需要的随机约束组合划分为多组随机约束组合组；

步骤S4中，每组随机约束组合组对应一个仿真过程，在每一个仿真过程中随机串行的对与其对应的随机约束组合进行仿真验证，上述多个仿真过程并行进行。