| 基于RISC-V指令集的向量控制模块验证实现 |
| |
| 引用本文： | 王承智,王冬升,李光杰,郝锋,张光达. 基于RISC-V指令集的向量控制模块验证实现[J]. 智能安全, 2023, 2(1): 37-45 |
| |
| 作者姓名： | 王承智 王冬升 李光杰 郝锋 张光达 |
| |
| 作者单位： | 国防科技创新研究院,国防科技创新研究院,国防科技创新研究院,国防科技创新研究院,国防科技创新研究院 |
| |
| 基金项目： | 国家自然科学基金项目(62104259,61802427);青年人才托举工程(2020-JCJQ-QT-038) |
| |
| 摘 要： | RISC-V指令集架构具有永久开源、指令集精简且高效、处理器微架构模块化、架构扩展性强等特点,在云计算、边缘计算、车载智能计算等领域的应用日渐广泛,其向量扩展部件可以大幅度提高计算机的运算效率,减少不必要的硬件开销。随着处理器运算能力增强和寄存器位数扩展等硬件的进一步发展,向量部件已成为处理器芯片架构中的常用技术,可用来增强处理器性能。向量控制模块是向量部件的核心控制单元,具有时序关系复杂、规范难以描述等特点。本文针对向量控制模块特点,优化设计验证流程,构建高效率验证平台,以功能覆盖率和代码覆盖率为牵引量化验证进度。通过RISC-V向量控制模块验证,有效提升向量控制模块的可靠性,降低流片风险,减轻子系统级验证和系统级验证负担,使之专注于互联、交互响应和接口验证。
|
| 关 键 词： | RISC-V 向量控制模块 验证 功能覆盖率 代码覆盖率 |
| 收稿时间： | 2022-12-15 |
| 修稿时间： | 2023-01-02 |
Verification Implementation of Vector Control Module Based on RISC-V Instruction Set |
| |
| WANGCHENGZHI,WANGDONGSHENG,LIGUANGJIE,HAOFENG and ZHANGGUANGDA. Verification Implementation of Vector Control Module Based on RISC-V Instruction Set[J]. ARTIFICIAL INTELLIGENCE SECURITY, 2023, 2(1): 37-45 |
| |
| Authors: | WANGCHENGZHI WANGDONGSHENG LIGUANGJIE HAOFENG ZHANGGUANGDA |
| |
| Affiliation: | Defense Innovation Institute,Defense Innovation Institute,Defense Innovation Institute,Defense Innovation Institute |
| |
| Abstract: | |
| |
| Keywords: | RISC-V vector control module verification functional coverage code coverage |
|
| 点击此处可从《智能安全》浏览原始摘要信息 |
|
点击此处可从《智能安全》下载免费的PDF全文 |
|
