专利详情

专利名称	对寄存器传输级硬件实现进行验证的系统及方法
申请号	CN201110448460.7	专利类型	发明专利
公开（公告）号	CN102567165A	公开（授权）日	2012.07.11
申请（专利权）人	中国科学院自动化研究所	发明（设计）人	郭若杉;杜学亮;倪素萍;林啸;蒿杰;张森
主分类号	G06F11/26(2006.01)I	IPC主分类号	G06F11/26(2006.01)I
专利有效期	对寄存器传输级硬件实现进行验证的系统及方法至对寄存器传输级硬件实现进行验证的系统及方法	法律状态	实质审查的生效
说明书摘要	本发明公开了一种对视频算法的寄存器传输级硬件实现进行验证的系统及方法，该系统包括：测试视频序列库，用于存储对视频算法的RTL硬件设计进行验证所需要的测试序列；测试向量生成器，用于从测试视频序列库中根据算法功能覆盖率选取测试序列，并生成测试向量，再将该测试向量输出给黄金C语言模型和待验证的RTL硬件模型；黄金C语言模型和待验证的RTL硬件模型，用于在接收到测试向量后分别产生输出，并将各自的输出均输出给文件比较器；文件比较器，用于比较黄金C语言模型的输出与待验证的RTL硬件模型的输出是否一致，如果一致，则验证通过，如果不一致，则验证失败。利用本发明，提高了对视频算法的RTL硬件设计进行验证的效率和正确性。