对寄存器传输级硬件实现进行验证的系统及方法 | |
郭若杉![]() ![]() ![]() ![]() ![]() ![]() | |
2011-12-29 | |
公开日期 | 2012-07-11 |
授权国家 | CN |
专利类型 | 发明 |
摘要 | 本发明公开了一种对视频算法的寄存器传输级硬件实现进行验证的系统及方法,该系统包括:测试视频序列库,用于存储对视频算法的RTL硬件设计进行验证所需要的测试序列;测试向量生成器,用于从测试视频序列库中根据算法功能覆盖率选取测试序列,并生成测试向量,再将该测试向量输出给黄金C语言模型和待验证的RTL硬件模型;黄金C语言模型和待验证的RTL硬件模型,用于在接收到测试向量后分别产生输出,并将各自的输出均输出给文件比较器;文件比较器,用于比较黄金C语言模型的输出与待验证的RTL硬件模型的输出是否一致,如果一致,则验证通过,如果不一致,则验证失败。利用本发明,提高了对视频算法的RTL硬件设计进行验证的效率和正确性。 |
专利号 | CN201110448460.7 |
专利状态 | 授权 |
文献类型 | 专利 |
条目标识符 | http://ir.ia.ac.cn/handle/173211/8644 |
专题 | 国家专用集成电路设计工程技术研究中心 |
作者单位 | 中国科学院自动化研究所 |
第一作者单位 | 中国科学院自动化研究所 |
推荐引用方式 GB/T 7714 | 郭若杉,杜学亮,倪素萍,等. 对寄存器传输级硬件实现进行验证的系统及方法. CN201110448460.7[P]. 2011-12-29. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[郭若杉]的文章 |
[杜学亮]的文章 |
[倪素萍]的文章 |
百度学术 |
百度学术中相似的文章 |
[郭若杉]的文章 |
[杜学亮]的文章 |
[倪素萍]的文章 |
必应学术 |
必应学术中相似的文章 |
[郭若杉]的文章 |
[杜学亮]的文章 |
[倪素萍]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论