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

说明书

技术领域

本申请涉及芯片设计技术领域，尤其涉及一种验证视频算法寄存器传输级实现的方法和系统。

背景技术

随着嵌入式系统的高速发展，嵌入式系统芯片（SoC）视频芯片应用范围越来越广泛，然而在芯片规模变得越来越大、功能变得越来越复杂、SoC的IP复用等新情况的出现使功能验证这一工作变得更重要、更艰巨。在现代集成电路（IC）设计中，大约有50%～70%的设计周期被用在了功能验证上，而且随着SoC规模的不断扩大，其比例还会不断增加。如果在行为和功能调试时忽视这个过程，就很难在后面的物理设计阶段发现逻辑性错误，而只能在流片之后才会被测试出来，这就导致了设计的高成本以及会耽搁芯片的最终上市时间（Time-to-Market）。从成本和上市时间的角度来考虑，通过功能验证发现逻辑性错误，将会极大地降低整个设计的成本。

当芯片的规模和功能越来越复杂时，输入激励的可能空间是巨大的，而且对一个输入激励，完成同样的视频算法，硬件仿真的时间远比软件仿真所需的时间长，穷尽仿真所有的输入组合变得不可行。所以只能选取输入空间中选择部分有效的子集作为输入激励进行验证。

目前，在对视频算法的RTL硬件实现进行验证时，主要采用直接验证的方法，手动选取测试序列作为输入激励进行测试。这种直接验证的方法的效率严重依赖于验证者的经验，选取的测试序列可能包含了大量对功能覆盖率提高没有贡献的序列，花费了大量的测试运行时间，但却未得到高的覆盖率。

发明内容

本申请要解决的技术问题是针对现有技术的不足，提供一种基于功能覆盖率驱动验证视频算法寄存器传输级实现的方法。

本申请要解决的另一技术问题是提供一种基于上述方法的系统。

本申请要解决的技术问题通过以下技术方案加以解决：

一种验证视频算法寄存器传输级实现的方法，包括：

构建测试视频序列库；

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

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

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

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

若所述验证失败后，还包括：确定待验证寄存器传输级硬件模型中存在的缺陷，对待验证的寄存器传输级硬件模型进行调试。

所述黄金C语言模型是用C语言编写的实现一定视频处理功能的模块。

所述待验证寄存器传输级硬件模型是用硬件描述语言编写的，实现与所述黄金C语言模型相同的视频处理功能的模块，是功能验证的对象。

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

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

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

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

所述文件比较器还用于在所述验证失败后，确定待验证寄存器传输级硬件模型中存在的缺陷，对待验证的寄存器传输级硬件模型进行调试。

所述黄金C语言模型是用C语言编写的实现一定视频处理功能的模块。

所述待验证寄存器传输级硬件模型是用硬件描述语言编写的，实现与所述黄金C语言模型相同的视频处理功能的模块，是功能验证的对象。

由于采用了以上技术方案，使本申请具备的有益效果在于：

⑴在本申请的具体实施方式中，通过在Golden C Model上添加功能覆盖率检查代码，生成测试序列自动选择程序，能够根据功能覆盖率自动挑选测试序列，并和算法参数一起组成测试向量，使算法功能覆盖率达到100%，因此解决了采用直接验证的方法对视频算法的寄存器传输级设计进行验证时，需要花费大量测试时间，却不能得到高的功能覆盖率的问题，提高了对视频算法寄存器传输级设计进行验证的效率和正确性。