Institute of Computing Technology, Chinese Academy IR
| 基于指令模板的通用处理器约束随机指令生成方法 | |
刘婧1; 王天成2 ; 王健2; 李华伟2
| |
| 2015 | |
| 发表期刊 | 计算机工程
 |
| ISSN | 1000-3428 |
| 卷号 | 41.0期号:010页码:309 |
| 摘要 | 随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证。基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中。验证结果表明,该方法可得到90%的结构覆盖率。 |
| 关键词 | 功能验证 通用处理器 指令模板 指令生成 约束随机指令 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/35646 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [刘婧]的文章 |
| [王天成]的文章 |
| [王健]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [刘婧]的文章 |
| [王天成]的文章 |
| [王健]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [刘婧]的文章 |
| [王天成]的文章 |
| [王健]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论