固体电子学研究与进展
固體電子學研究與進展
고체전자학연구여진전
RESEARCH & PROGRESS OF SOLID STATE ELECTRONICS
2007年
2期
258-263
,共6页
罗春%高谷刚%肖建%杨军
囉春%高穀剛%肖建%楊軍
라춘%고곡강%초건%양군
功能验证%参考模型%MPEG-4
功能驗證%參攷模型%MPEG-4
공능험증%삼고모형%MPEG-4
提出一种基于C参考模型的MPEG-4解码电路功能验证方法,该方法首先用C语言来描述MPEG-4解码算法的IDCT(Inverse Discrete Cosine Transform)、反量化和图像叠加,用HDL(Hardware Description Language)语言来描述RTL(Register Transfer Level)硬件,然后把这两种模型同时集成到验证环境进行仿真,C模型作为参考模型,HDL模型作为DUV(Device Under Verification),目的是保证HDL模型和C模型的功能一致.验证向量同时加载到C和HDL模型上,然后比较这两个模型的每一步功能是否一致.该方法已经成功用到一款多媒体SoC(Systern on Chip)的验证中,结果表明该方法相对于传统的方法(仅进行HDL模型仿真)能更全面验证两种模型的功能一致性,缩短验证时间,节省人力资源,尽快发现HDL代码中的bugs和提高验证质量.
提齣一種基于C參攷模型的MPEG-4解碼電路功能驗證方法,該方法首先用C語言來描述MPEG-4解碼算法的IDCT(Inverse Discrete Cosine Transform)、反量化和圖像疊加,用HDL(Hardware Description Language)語言來描述RTL(Register Transfer Level)硬件,然後把這兩種模型同時集成到驗證環境進行倣真,C模型作為參攷模型,HDL模型作為DUV(Device Under Verification),目的是保證HDL模型和C模型的功能一緻.驗證嚮量同時加載到C和HDL模型上,然後比較這兩箇模型的每一步功能是否一緻.該方法已經成功用到一款多媒體SoC(Systern on Chip)的驗證中,結果錶明該方法相對于傳統的方法(僅進行HDL模型倣真)能更全麵驗證兩種模型的功能一緻性,縮短驗證時間,節省人力資源,儘快髮現HDL代碼中的bugs和提高驗證質量.
제출일충기우C삼고모형적MPEG-4해마전로공능험증방법,해방법수선용C어언래묘술MPEG-4해마산법적IDCT(Inverse Discrete Cosine Transform)、반양화화도상첩가,용HDL(Hardware Description Language)어언래묘술RTL(Register Transfer Level)경건,연후파저량충모형동시집성도험증배경진행방진,C모형작위삼고모형,HDL모형작위DUV(Device Under Verification),목적시보증HDL모형화C모형적공능일치.험증향량동시가재도C화HDL모형상,연후비교저량개모형적매일보공능시부일치.해방법이경성공용도일관다매체SoC(Systern on Chip)적험증중,결과표명해방법상대우전통적방법(부진행HDL모형방진)능경전면험증량충모형적공능일치성,축단험증시간,절성인력자원,진쾌발현HDL대마중적bugs화제고험증질량.
