一种高效的视频编码系统存储器接口的验证  

An Efficient Verification of Memory Interface Module of Video Coding System

作　　者：杜斐[1] 田泽[1] 许宏杰[1] 卢俊[1] 

机构地区：[1]中国航空计算技术研究所,陕西西安710068

出　　处：《计算机技术与发展》2014年第4期186-188,共3页Computer Technology and Development

基　　金：国家"十二五"微电子预研(51308010601);中国航空工业集团公司创新基金(2010BD63111)

摘　　要：存储器接口是某高清音视频编码芯片的核心IP之一,用于快速高效地存储和读取编码过程中产生的大量中间数据,主要包括运动估计、宏块信息、去块滤波和码流数据等,因此对其功能正确性的验证具有重要意义。由于采用传统的定向测试方法对其验证很难遍历到所有情况,而将定向测试和随机测试两者结合起来,能大量减小测试向量的开发。文中提出一种存储器接口验证解决方案,通过对仿真验证结果和代码覆盖率的统计分析,证明采用该方法能高效地检查出设计的缺陷,缩减了验证花费的时间。The memory interface is one important IP core of audio and video encoding chip. It can efficiently cache a large number of in- termediate data of video coding processing, including motion estimation, macro block information,block filtering and streaming data and so on, and therefore its correct functional verification has great significance. Using the traditional directional test method on its validation will be difficult to traverse all cases. Combined directional test and random test,can significantly reduce the test stimulus development. It proposes an efficient verification of memory interface module, through the statistical analysis of simulation and the coverage rate, prove that the method can effectively check the design defects, reducing verification time.

关 键 词：验证平台 BFM 测试用例 

分 类 号：TP39[自动化与计算机技术—计算机应用技术]