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

作     者：张杨 王竹平 ZHANG Yang;WANG Zhu-ping

作者机构：西安微电子技术研究所陕西西安710054 

出 版 物：《现代电子技术》 (Modern Electronics Technique)

年 卷 期：2010年第33卷第20期

页      码：39-42页

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

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

学科分类：11[军事学] 0810[工学-土木类] 1105[1105] 08[工学] 081002[081002] 110503[110503] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.16652/j.issn.1004-373x.2010.20.029

馆 藏 号：203503040...