电子学报2011，Vol.39Issue(7)：1639-1644,6.
使用局部建模的微处理器测试程序自动生成方法
Test Program Generation for Microprocessor Verification Using Local Modeling Strategy
摘要
Abstract
Simulation is the major technique used for processor verification. In the late of the verification process,simulation requires a lot of expert time and computer resources to verify residual complicated functional points, which slows down the verification progress.This paper introduces a test generation method based on model checking engine to address this problem.First,an abstract microprocessor model focuses on these uncovered functional points is constructed using local modeling strategy. Second,model checker reads this abstract model and automatically produces test generator directives. Finally, these directives guide random test generator to generate test programs that cover the specified functional points. Experiments on verifying PKUnity UmCore32 microprocessor demonstrated that this method spent little time to cover these uncovered coverage tasks and increased the verification efficiency.关键词
功能验证/模型检验/局部建模/测试程序生成Key words
functional verification/model checking/local modeling/test program generation分类
信息技术与安全科学引用本文复制引用
张良,易江芳,佟冬,程旭,王克义..使用局部建模的微处理器测试程序自动生成方法[J].电子学报,2011,39(7):1639-1644,6.基金项目
国家“863”高技术研究发展计划重点项目(No.2006AA010202) （No.2006AA010202）
