论文部分内容阅读
存储器接口是某高清音视频编码芯片的核心IP之一，用于快速高效地存储和读取编码过程中产生的大量中间数据，主要包括运动估计、宏块信息、去块滤波和码流数据等，因此对其功能正确性的验证具有重要意义。由于采用传统的定向测试方法对其验证很难遍历到所有情况，而将定向测试和随机测试两者结合起来，能大量减小测试向量的开发。文中提出一种存储器接口验证解决方案，通过对仿真验证结果和代码覆盖率的统计分析，证明采用该方法能高效地检查出设计的缺陷，缩减了验证花费的时间。