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

第7期 电 子 学 报 VOI．39No．7 2011年7月 A(汀-AEU￡CrRONICA 2011 SINICA Jul． 使用局部建模的微处理器测试程序自动生成方法 张 良，易江芳，佟冬，程旭，王克义 (1．北京大学深圳研究生院，广东深圳518055；2．北京大学微处理器研究开发中心，北京100871) 摘要：模拟仿真方法是当前微处理器功能验证的主要方法，然而在验证工作后期需要耗费大量的时间来检验 余下复杂的功能点，验证收敛速度缓慢．针对该问题，本文在覆盖率增长缓慢时，引入结合模型检验引擎的测试程序生 成方法．该方法首先采用局部建模策略为处理器构建抽象设计模型，然后使用模型检验引擎读入该模型并产生测试生 成指导规则，最后，随机测试生成器依据指导规则产生大量测试程序作为模拟器输入，完成功能验证工作．以北大众志 UniCore32定点处理器核的功能验证为例评估本文方法，结果表明，使用该方法可以快速完成对未覆盖功能点的验证， 加速验证收敛． 关键词： 功能验证；模型检验；局部建模；测试程序生成 中图分类号：TP302文献标识码： A 文章编号：0372．2112(2011)07．1639-06 Test Generationfor Verification P嘲ralll Microprocessor Local Using ModelingStrategy ZHANG Xu，WANG Hang，YIJiang-fang，TONGDong，CHENG Ke-yi Graduate (1．ShmghmSdwo／．Pa,／醒V,,／,M／tr，Shemhen，Qm删撕518055，()lff．／m； 2．,ltbotrw忍Ⅻ融and成倒删蛐ofPddngun／Ⅻ／o,，蜥100871，∞m) theverification A|Ⅺt旧cI：Simulationisthe used thelateof majortechniquefor弘oc踟verification．In pfoce鹤，S缸lulaliotl alotof timeand n胬DuK：esto residual functional slowsdownthevedfica- requires exp廿t computer verify omtp5catedpoints．which tion ill蚋)d峨sa basedOffmodel tOaddressthis ab- progress．Thispaper test辱舶蒯∞method checkingengHz problem．First，all swact focusesOntheseuncovered isconsauoedlocal mic∞皿Ⅸ煳model functional珥)ir吐s using modetingstrategy．Second，model checkerreadsthisabstractmodeland test