使用局部建模的微处理器测试程序自动生成方法

CORC > 北京大学 > 信息科学技术学院

	使用局部建模的微处理器测试程序自动生成方法; Test Program Generation for Microprocessor Verification Using Local Modeling Strategy
	张良 ; 易江芳 ; 佟冬 ; 程旭 ; 王克义
刊名	电子学报
	2011
关键词	功能验证模型检验局部建模测试程序生成
英文摘要	模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,加速验证收敛.; 国家“863”高技术研究发展计划重点项目; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 7; 1639-1644; 39
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/226346]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	张良,易江芳,佟冬,等. 使用局部建模的微处理器测试程序自动生成方法, Test Program Generation for Microprocessor Verification Using Local Modeling Strategy[J]. 电子学报,2011.
APA	张良,易江芳,佟冬,程旭,&王克义.(2011).使用局部建模的微处理器测试程序自动生成方法.电子学报.
MLA	张良,et al."使用局部建模的微处理器测试程序自动生成方法".电子学报 (2011).