【摘要】 覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子模型独立运行基于覆盖矩阵反馈的演化测试程序生成进程.将文中方法应用到北大众志UniCore32定点处理器核的流水线控制相关机制的功能验证中,可以取得95.11%的功能覆盖率;与现有演化测试生成方法相比,在算法运行时间节省60.4%的情况下功能覆盖率提高了31.03%.更多还原

【Abstract】 Coverage directed test generation is a popular method in the area of functional verification of microprocessor.Existing evolutionary test program generation method can not achieve a good result when applied to complex functional coverage model.This paper proposes a method which divides global functional coverage model into a set of independent coverage sub-model,and then runs the process of coverage matrix based evolutionary test generation for each coverage sub-model.Experimental results on verifying the control dependence coverage model of PKUnity UniCore-2 microprocessor demonstrated that the optimal test programs generated by proposed method achieved 95.11% functional coverage;Comparing to existing method,the functional coverage is increased by 31.03% on average with a 60.4% running time saving.更多还原