计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2014年
4期
186-188
,共3页
杜斐%田泽%许宏杰%卢俊
杜斐%田澤%許宏傑%盧俊
두비%전택%허굉걸%로준
验证平台%BFM%测试用例
驗證平檯%BFM%測試用例
험증평태%BFM%측시용례
verification platform%BFM%testcase
存储器接口是某高清音视频编码芯片的核心IP之一,用于快速高效地存储和读取编码过程中产生的大量中间数据,主要包括运动估计、宏块信息、去块滤波和码流数据等,因此对其功能正确性的验证具有重要意义。由于采用传统的定向测试方法对其验证很难遍历到所有情况,而将定向测试和随机测试两者结合起来,能大量减小测试向量的开发。文中提出一种存储器接口验证解决方案,通过对仿真验证结果和代码覆盖率的统计分析,证明采用该方法能高效地检查出设计的缺陷,缩减了验证花费的时间。
存儲器接口是某高清音視頻編碼芯片的覈心IP之一,用于快速高效地存儲和讀取編碼過程中產生的大量中間數據,主要包括運動估計、宏塊信息、去塊濾波和碼流數據等,因此對其功能正確性的驗證具有重要意義。由于採用傳統的定嚮測試方法對其驗證很難遍歷到所有情況,而將定嚮測試和隨機測試兩者結閤起來,能大量減小測試嚮量的開髮。文中提齣一種存儲器接口驗證解決方案,通過對倣真驗證結果和代碼覆蓋率的統計分析,證明採用該方法能高效地檢查齣設計的缺陷,縮減瞭驗證花費的時間。
존저기접구시모고청음시빈편마심편적핵심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.