摘要
为加快多制式视频后处理芯片的验证进度,以约束随机化和功能覆盖率收敛技术为指导,提出基于类定向测试的芯片验证方法,给出定向测试中的权重修正过程。仿真实验结果表明,该方法能够提高覆盖盲点被击中的概率、减少重复配置,使输入输出制式覆盖率快速收敛,验证效率比传统方法提升60%~70%。
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.
出处
《计算机工程》
CAS
CSCD
2012年第15期251-253,257,共4页
Computer Engineering
基金
国家自然科学基金资助重点项目(61036004)
国家自然科学基金资助项目(61076024)
关键词
验证进度
约束随机化
覆盖率收敛技术
类定向测试
权重修正
覆盖盲点
verification progress
constrained randomization
Coverage Convergence Technology（CCT）
resembling directed test
weight correction
blind spots of coverage
