[发明专利]对寄存器传输级硬件实现进行验证的系统及方法有效
| 申请号： | 201110448460.7 | 申请日： | 2011-12-29 |
| 公开（公告）号： | CN102567165A | 公开（公告）日： | 2012-07-11 |
| 发明（设计）人： | 郭若杉;杜学亮;倪素萍;林啸;蒿杰;张森 | 申请（专利权）人： | 中国科学院自动化研究所 |
| 主分类号： | G06F11/26 | 分类号： | G06F11/26 |
| 代理公司： | 中科专利商标代理有限责任公司 11021 | 代理人： | 周国城 |
| 地址： | 100190 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种对视频算法的寄存器传输级硬件实现进行验证的系统及方法，该系统包括：测试视频序列库，用于存储对视频算法的RTL硬件设计进行验证所需要的测试序列；测试向量生成器，用于从测试视频序列库中根据算法功能覆盖率选取测试序列，并生成测试向量，再将该测试向量输出给黄金C语言模型和待验证的RTL硬件模型；黄金C语言模型和待验证的RTL硬件模型，用于在接收到测试向量后分别产生输出，并将各自的输出均输出给文件比较器；文件比较器，用于比较黄金C语言模型的输出与待验证的RTL硬件模型的输出是否一致，如果一致，则验证通过，如果不一致，则验证失败。利用本发明，提高了对视频算法的RTL硬件设计进行验证的效率和正确性。 | ||
| 搜索关键词： | 寄存器 传输 硬件 实现 进行 验证 系统 方法 | ||
【主权项】：
一种对视频算法的寄存器传输级硬件实现进行验证的系统，其特征在于，该系统包括：测试视频序列库，用于存储对视频算法的寄存器传输级RTL硬件设计进行验证所需要的测试序列；测试向量生成器，用于从测试视频序列库中根据算法功能覆盖率选取测试序列，并生成测试向量，再将该测试向量输出给黄金C语言模型和待验证的RTL硬件模型；黄金C语言模型和待验证的RTL硬件模型，用于在接收到测试向量后分别产生输出，并将各自的输出均输出给文件比较器；文件比较器，用于比较黄金C语言模型的输出与待验证的RTL硬件模型的输出是否一致，如果一致，则验证通过，如果不一致，则验证失败。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院自动化研究所，未经中国科学院自动化研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110448460.7/，转载请声明来源钻瓜专利网。
- 上一篇：基于多通道的数据传输方法、相关节点及系统
- 下一篇：一种远程智能除焦程控装置
