检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:陈星[1] 史再峰[1] 姚素英[1] 张之圣[1]
出 处:《计算机工程》2012年第15期251-253,257,共4页Computer Engineering
基 金:国家自然科学基金资助重点项目(61036004);国家自然科学基金资助项目(61076024)
摘 要:为加快多制式视频后处理芯片的验证进度,以约束随机化和功能覆盖率收敛技术为指导,提出基于类定向测试的芯片验证方法,给出定向测试中的权重修正过程。仿真实验结果表明,该方法能够提高覆盖盲点被击中的概率、减少重复配置,使输入输出制式覆盖率快速收敛,验证效率比传统方法提升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.
关 键 词:验证进度 约束随机化 覆盖率收敛技术 类定向测试 权重修正 覆盖盲点
分 类 号:TP391[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.217.200.151