摘要: 为加快多制式视频后处理芯片的验证进度,以约束随机化和功能覆盖率收敛技术为指导,提出基于类定向测试的芯片验证方法,给出定向测试中的权重修正过程。仿真实验结果表明,该方法能够提高覆盖盲点被击中的概率、减少重复配置,使输入输出制式覆盖率快速收敛,验证效率比传统方法提升60%~70%。
关键词:
验证进度,
约束随机化,
覆盖率收敛技术,
类定向测试,
权重修正,
覆盖盲点
Abstract: In order to cover all the combinations of input and output standard quickly and speed up the verification progress of multi-standard video post processing chip, a verification method of chips based on resembling directed test is proposed by using Constrained Random test(CRT) and Coverage Convergence Technology(CCT) as the guidance, then the essay specifies the process of weight correction in resembling directed test. The simulation data and experimental results show that this approach can improve the rate of hitting the blind spots of coverage, and reduce the repetition of configuration. Accordingly, the coverage of the combinations of input and output standard converges fast, and the efficiency of verification increases by 60% to 70% compared with traditional method.
Key words:
verification progress,
constrained randomization,
Coverage Convergence Technology(CCT),
resembling directed test,
weight correction,
blind spots of coverage
中图分类号:
陈星, 史再峰, 姚素英, 张之圣. 基于类定向测试的多制式视频后处理芯片验证[J]. 计算机工程, 2012, 38(15): 251-253,257.
CHEN Xing, SHI Zai-Feng, TAO Su-Yang, ZHANG Zhi-Ku. Verification for Multi-standard Video Post Processing Chip Based on Resembling Directed Test[J]. Computer Engineering, 2012, 38(15): 251-253,257.