Leon2微处理器流水线相关验证

• 作者: 张杨 王竹平
• 来源期刊: 现代电子技术
• 关键词: Leon2 功能验证 流水线相关 测试用例
• 年，卷（期）: 2010,（20）
• 页码范围: 39-42
• 分类号: TN911-34|TP331
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2010.20.013

摘要

微处理器的功能验证成为设计验证的瓶颈,指令集的组合验证对流水线处理器具有重要的意义.Leon2流水线相关验证找出了流水线相关的测试向量集,实现了测试程序的自动生成,构造自动化程度较高的验证平台.与指令随机组合测试的方法相比,有针对性地验证了引起流水线相关的情况,同时测试程序达到了较高的流水线状态覆盖率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王竹平		13	79	4.0	8.0
2	张杨		1	6	1.0	1.0