[发明专利]验证视频算法寄存器传输级实现的方法和系统

权利要求书

1.一种验证视频算法寄存器传输级实现的方法，其特征在于，包括：

构建测试视频序列库；

从所述测试视频序列库根据预定功能覆盖率选取规则选取测试序列；

根据所述选取的测试序列生成测试向量，并输出给黄金C语言模型和待验证寄存器传输级硬件模型；

对所述黄金C语言模型和待验证寄存器传输级硬件模型进行输出验证。

2.如权利要求1所述的方法，其特征在于，所述对所述黄金C语言模型和待验证寄存器传输级硬件模型进行输出验证包括：

黄金C语言模型和待验证寄存器传输级硬件模型接收到测试向量后，分别产生输出，若这些输出一致，则验证通过；若不一致，则验证失败。

3.如权利要求2所述的方法，其特征在于，若所述验证失败后，还包括：

确定待验证寄存器传输级硬件模型中存在的缺陷，对待验证的寄存器传输级硬件模型进行调试。

4.如权利要求1所述的方法，其特征在于，所述黄金C语言模型是用C语言编写的实现一定视频处理功能的模块。

5.如权利要求1所述的方法，其特征在于，所述待验证寄存器传输级硬件模型是用硬件描述语言编写的，实现与所述黄金C语言模型相同的视频处理功能的模块，是功能验证的对象。

6.一种验证视频算法寄存器传输级实现的系统，其特征在于，包括测试视频序列库、测试向量生成器和文件比较器；

所述测试向量生成器用于从所述测试视频序列库根据预定功能覆盖率选取规则选取测试序列；根据所述选取的测试序列生成测试向量，并输出给黄金C语言模型和待验证寄存器传输级硬件模型；

所述文件比较器用于对所述黄金C语言模型和待验证寄存器传输级硬件模型进行输出验证。

7.如权利要求6所述的系统，其特征在于，所述文件比较器还用于对黄金C语言模型和待验证寄存器传输级硬件模型接收到测试向量后所产生的输出进行比较，若这些输出一致，则验证通过；若不一致，则验证失败。

8.如权利要求7所述的系统，其特征在于，所述文件比较器还用于在所述验证失败后，确定待验证寄存器传输级硬件模型中存在的缺陷，对待验证的寄存器传输级硬件模型进行调试。

9.如权利要求6所述的系统，其特征在于，所述黄金C语言模型是用C语言编写的实现一定视频处理功能的模块。

10.如权利要求6所述的系统，其特征在于，所述待验证寄存器传输级硬件模型是用硬件描述语言编写的，实现与所述黄金C语言模型相同的视频处理功能的模块，是功能验证的对象。