使用局部建模的微处理器测试程序自动生成方法; 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). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论