[发明专利]一种图像处理类IP的可约束随机验证方法和装置

权利要求书

1.一种图像处理类IP的可约束随机验证方法，其特征在于，包括步骤：

参数配置模块对参数进行约束；

参数生成模块生成待测电路的配置参数，按照受约束随机方案生成测试用例，并将测试用例发送给待测电路和参考模型模块；所述步骤“参数生成模块生成待测电路的配置参数”具体包括：参数生成模块以时间为种子随机生成待测电路的配置参数；

待测电路接收参数生成模块生成的随机测试用例，并输出该测试用例对应的测试结果；

参考模型模块接收参数生成模块生成的随机测试用例，并输出该测试用例对应的模拟结果；

校验模块将该测试用例对应的测试结果和模拟结果进行比对；

覆盖率统计收集模块对参数生成模块生成的测试用例进行统计，并判断参数生成模块生成的测试用例是否已经全部覆盖参数生成模块所能生成的全部测试用例，若是则参数生成模块结束生成待测电路的配置参数，否则参数生成模块随机生成配置参数；

控制分析模块在校验模块判定测试用例对应的测试结果和模拟结果不一致后，输出该测试用例。

2.一种图像处理类IP的可约束随机验证装置，其特征在于，所述装置包括参数配置模块，参数生成模块，测试结果输出模块，参考模型模块和校验模块；所述参数配置模块和参数生成模块连接，所述测试结果输出模块和参数生成模块连接，所述参考模型模块和参数生成模块连接，所述校验模块与测试结果输出模块连接，所述校验模块与所述参考模型模块连接；所述装置还包括覆盖率统计收集模块，所述覆盖率统计收集模块和参数生成模块连接；

所述参数配置模块用于对参数进行约束；

所述参数生成模块用于生成待测电路的配置参数，按照受约束随机方案生成测试用例，并将测试用例发送给待测电路和参考模型模块；所述参数生成模块随机生成待测电路的配置参数具体包括：参数生成模块以时间为种子随机生成待测电路的配置参数；

所述测试结果输出模块用于待测电路接收参数生成模块生成的测试用例，并输出该测试用例对应的测试结果；

所述参考模型模块用于接收参数生成模块生成的随机测试用例，并输出该测试用例对应的模拟结果；

所述校验模块用于将随机测试用例对应的测试结果和模拟结果进行比对；

所述覆盖率统计收集模块用于对参数生成模块生成的测试用例进行统计，并判断参数生成模块生成的测试用例是否已经全部覆盖参数生成模块所能生成的全部测试用例，若是则参数生成模块结束生成配置参数，否则参数生成模块随机生成配置参数；

所述装置还包括控制分析模块，所述控制分析模块与所述校验模块连接，所述控制分析模块用于在校验模块判定测试用例对应的测试结果和模拟结果不一致后，输出该测试用例。