| 发明名称 | 一种图像处理类IP的可约束随机验证方法和装置 | ||
| 摘要 | 本发明提供了一种图像处理类IP的可约束随机验证方法和装置，其特征在于，所述方法包括步骤：参数配置模块对参数进行约束；参数生成模块生成待测电路的配置参数，按照受约束随机方案生成测试用例，并将测试用例发送给待测电路和参考模型模块；待测电路接收参数生成模块生成的随机测试用例，并输出该测试用例对应的测试结果；参考模型模块接收参数生成模块生成的随机测试用例，并输出该测试用例对应的模拟结果；校验模块将该测试用例对应的测试结果和模拟结果进行比对。解决了在对图像数据进行处理验证时，测试工作量大、效率低下、风险高、测试用例无法全面覆盖所有图像处理情况的问题。 | ||
| 申请公布号 | CN104615537A | 申请公布日期 | 2015.05.13 |
| 申请号 | CN201510053443.1 | 申请日期 | 2015.02.02 |
| 申请人 | 福州瑞芯微电子有限公司 | 发明人 | 李仙辉 |
| 分类号 | G06F11/36(2006.01)I;G06T1/00(2006.01)I | 主分类号 | G06F11/36(2006.01)I |
| 代理机构 | 福州市景弘专利代理事务所(普通合伙) 35219 | 代理人 | 林祥翔;吕元辉 |
| 主权项 | 一种图像处理类IP的可约束随机验证方法，其特征在于，包括步骤：参数配置模块对参数进行约束；参数生成模块生成待测电路的配置参数，按照受约束随机方案生成测试用例，并将测试用例发送给待测电路和参考模型模块；待测电路接收参数生成模块生成的随机测试用例，并输出该测试用例对应的测试结果；参考模型模块接收参数生成模块生成的随机测试用例，并输出该测试用例对应的模拟结果；校验模块将该测试用例对应的测试结果和模拟结果进行比对。 | ||
| 地址 | 350003 福建省福州市鼓楼区软件大道89号18号楼 | ||