CASIA OpenIR  > 国家专用集成电路设计工程技术研究中心
对寄存器传输级硬件实现进行验证的系统及方法
郭若杉; 杜学亮; 倪素萍; 林啸; 蒿杰; 张森
2011-12-29
Date Available2012-07-11
CountryCN
Subtype发明
Abstract本发明公开了一种对视频算法的寄存器传输级硬件实现进行验证的系统及方法,该系统包括:测试视频序列库,用于存储对视频算法的RTL硬件设计进行验证所需要的测试序列;测试向量生成器,用于从测试视频序列库中根据算法功能覆盖率选取测试序列,并生成测试向量,再将该测试向量输出给黄金C语言模型和待验证的RTL硬件模型;黄金C语言模型和待验证的RTL硬件模型,用于在接收到测试向量后分别产生输出,并将各自的输出均输出给文件比较器;文件比较器,用于比较黄金C语言模型的输出与待验证的RTL硬件模型的输出是否一致,如果一致,则验证通过,如果不一致,则验证失败。利用本发明,提高了对视频算法的RTL硬件设计进行验证的效率和正确性。
Patent NumberCN201110448460.7
Status授权
Document Type专利
Identifierhttp://ir.ia.ac.cn/handle/173211/8644
Collection国家专用集成电路设计工程技术研究中心
Affiliation中国科学院自动化研究所
Recommended Citation
GB/T 7714
郭若杉,杜学亮,倪素萍,等. 对寄存器传输级硬件实现进行验证的系统及方法. CN201110448460.7[P]. 2011-12-29.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[郭若杉]'s Articles
[杜学亮]'s Articles
[倪素萍]'s Articles
Baidu academic
Similar articles in Baidu academic
[郭若杉]'s Articles
[杜学亮]'s Articles
[倪素萍]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[郭若杉]'s Articles
[杜学亮]'s Articles
[倪素萍]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.