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

摘要：

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

关键词：Leon2、功能验证、流水线相关、测试用例

所属期刊栏目：33

分类号：TN911-34;TP331

在线出版日期：2011-01-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：39-42