基于C参考模型的MPEG-4解码电路功能验证方法

作     者：罗春 高谷刚 肖建 杨军 LUO Chun;GAO Gugang;XIAO Jian;YANG Jun

作者机构：东南大学国家专用集成电路系统工程技术研究中心南京210096 

基　　金：国家863 个人信息处理终端SoC专项(2003AA1Z1340) 国家自然科学基金 基于低功耗内建自测试的可测性设计方法研究(60176018) 

出 版 物：《固体电子学研究与进展》 (Research & Progress of SSE)

年 卷 期：2007年第27卷第2期

页      码：258-263页

摘      要：提出一种基于C参考模型的MPEG-4解码电路功能验证方法,该方法首先用C语言来描述MPEG-4解码算法的IDCT(InverseDiscreteCosineTransform)、反量化和图像叠加,用HDL(HardwareDescriptionLanguage)语言来描述RTL(RegisterTransferLevel)硬件,然后把这两种模型同时集成到验证环境进行仿真,C模型作为参考模型,HDL模型作为DUV(DeviceUnderVerification),目的是保证HDL模型和C模型的功能一致。验证向量同时加载到C和HDL模型上,然后比较这两个模型的每一步功能是否一致。该方法已经成功用到一款多媒体SoC(Sys-temonChip)的验证中,结果表明该方法相对于传统的方法(仅进行HDL模型仿真)能更全面验证两种模型的功能一致性,缩短验证时间,节省人力资源,尽快发现HDL代码中的bugs和提高验证质量。

主 题 词：功能验证 参考模型 MPEG-4 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 080902[080902] 08[工学] 0805[工学-能源动力学] 0702[理学-物理学类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3819.2007.02.025

馆 藏 号：203100012...