对寄存器传输级硬件实现进行验证的系统及方法
文献类型:专利
作者 | 郭若杉![]() ![]() ![]() ![]() ![]() ![]() |
发表日期 | 2011-12-29 |
专利国别 | CN |
专利号 | CN201110448460.7 |
专利类型 | 发明 |
中文摘要 | 本发明公开了一种对视频算法的寄存器传输级硬件实现进行验证的系统及方法,该系统包括:测试视频序列库,用于存储对视频算法的RTL硬件设计进行验证所需要的测试序列;测试向量生成器,用于从测试视频序列库中根据算法功能覆盖率选取测试序列,并生成测试向量,再将该测试向量输出给黄金C语言模型和待验证的RTL硬件模型;黄金C语言模型和待验证的RTL硬件模型,用于在接收到测试向量后分别产生输出,并将各自的输出均输出给文件比较器;文件比较器,用于比较黄金C语言模型的输出与待验证的RTL硬件模型的输出是否一致,如果一致,则验证通过,如果不一致,则验证失败。利用本发明,提高了对视频算法的RTL硬件设计进行验证的效率和正确性。 |
公开日期 | 2012-07-11 |
源URL | [http://ir.ia.ac.cn/handle/173211/8644] ![]() |
专题 | 自动化研究所_国家专用集成电路设计工程技术研究中心 |
作者单位 | 中国科学院自动化研究所 |
推荐引用方式 GB/T 7714 | 郭若杉,杜学亮,倪素萍,等. 对寄存器传输级硬件实现进行验证的系统及方法. CN201110448460.7. 2011-12-29. |
入库方式: OAI收割
来源:自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。