提出一种基于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和提高验证质量.
功能验证 参考模型 MPEG-4