-
题名基于RISC-V指令集的向量控制模块验证实现
- 1
-
-
作者
王承智
王冬升
李光杰
郝锋
张光达
-
机构
军事科学院国防科技创新研究院
-
出处
《智能安全》
2023年第1期37-45,共9页
-
基金
国家自然科学基金项目(62104259,61802427)
青年人才托举工程(2020-JCJQ-QT-038)
-
文摘
RISC-V指令集架构具有永久开源、指令集精简且高效、处理器微架构模块化、架构扩展性强等特点,在云计算、边缘计算、车载智能计算等领域的应用日渐广泛,其向量扩展部件可以大幅度提高计算机的运算效率,减少不必要的硬件开销.随着处理器运算能力增强和寄存器位数扩展等硬件的进一步发展,向量部件已成为处理器芯片架构中的常用技术,可用来增强处理器性能.向量控制模块是向量部件的核心控制单元,具有时序关系复杂、规范难以描述等特点.本文针对向量控制模块特点,优化设计验证流程,构建高效率验证平台,以功能覆盖率和代码覆盖率为牵引量化验证进度.通过RISC-V向量控制模块验证,有效提升向量控制模块的可靠性,降低流片风险,减轻子系统级验证和系统级验证负担,使之专注于互联、交互响应和接口验证.
-
关键词
RISC-V
向量控制模块
验证
功能覆盖率
代码覆盖率
-
Keywords
RISC-V
vector control module
verification
functional coverage
code coverage
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-