覆盖矩阵反馈的演化测试程序生成方法  

Coverage Matrix based Evolutionary Test Program Generation for Microprocessor Verification

作　　者：张良[1,2] 佟冬[1,2] 程旭[1,2] 王克义[1,2] 

机构地区：[1]北京大学深圳研究生院,深圳518055 [2]北京大学微处理器研发中心,北京100871

出　　处：《计算机辅助设计与图形学学报》2011年第3期456-464,共9页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家"八六三"高技术研究发展计划(2006AA010202)

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

关 键 词：功能验证 演化算法 分组 测试程序生成 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]