%0 Journal Article
%T 使用局部建模的微处理器测试程序自动生成方法
%A 张良
%A 易江芳
%A 佟冬
%A 程旭
%A 王克义
%J 电子学报
%P 1639-1644
%D 2011
%X 模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,加速验证收敛.
%K 功能验证
%K 模型检验
%K 局部建模
%K 测试程序生成
%U http://www.ejournal.org.cn/CN/abstract/abstract1201.shtml