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

摘要

本发明提供了一种图像处理类IP的可约束随机验证方法和装置，其特征在于，所述方法包括步骤参数配置模块对参数进行约束；参数生成模块生成待测电路的配置参数，按照受约束随机方案生成测试用例，并将测试用例发送给待测电路和参考模型模块；待测电路接收参数生成模块生成的随机测试用例，并输出该测试用例对应的测试结果；参考模型模块接收参数生成模块生成的随机测试用例，并输出该测试用例对应的模拟结果；校验模块将该测试用例对应的测试结果和模拟结果进行比对。解决了在对图像数据进行处理验证时，测试工作量大、效率低下、风险高、测试用例无法全面覆盖所有图像处理情况的问题。

主权项

一种图像处理类IP的可约束随机验证方法，其特征在于，包括步骤：参数配置模块对参数进行约束；参数生成模块生成待测电路的配置参数，按照受约束随机方案生成测试用例，并将测试用例发送给待测电路和参考模型模块；所述步骤“参数生成模块生成待测电路的配置参数”具体包括：参数生成模块以时间为种子随机生成待测电路的配置参数；待测电路接收参数生成模块生成的随机测试用例，并输出该测试用例对应的测试结果；参考模型模块接收参数生成模块生成的随机测试用例，并输出该测试用例对应的模拟结果；校验模块将该测试用例对应的测试结果和模拟结果进行比对；覆盖率统计收集模块对参数生成模块生成的测试用例进行统计，并判断参数生成模块生成的测试用例是否已经全部覆盖参数生成模块所能生成的全部测试用例，若是则参数生成模块结束生成待测电路的配置参数，否则参数生成模块随机生成配置参数；控制分析模块在校验模块判定测试用例对应的测试结果和模拟结果不一致后，输出该测试用例。