基于指令模板的通用处理器约束随机指令生成方法
文献类型：期刊论文
| 作者 | 刘婧1; 王天成2 ; 王健2; 李华伟2
|
| 刊名 | 计算机工程
 |
| 出版日期 | 2015 |
| 卷号 | 41.0期号:010页码:309 |
| 关键词 | 功能验证 通用处理器 指令模板 指令生成 约束随机指令 |
| ISSN号 | 1000-3428 |
| 英文摘要 | 随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证。基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中。验证结果表明,该方法可得到90%的结构覆盖率。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/35645]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.湘潭大学 2.中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 刘婧,王天成,王健,等. 基于指令模板的通用处理器约束随机指令生成方法[J]. 计算机工程,2015,41.0(010):309. |
| APA | 刘婧,王天成,王健,&李华伟.(2015).基于指令模板的通用处理器约束随机指令生成方法.计算机工程,41.0(010),309. |
| MLA | 刘婧,et al."基于指令模板的通用处理器约束随机指令生成方法".计算机工程 41.0.010(2015):309. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。