返回项目列表先看 GitHub
cv32e40x-dv 是 CV32E40X 的专用设计验证环境。它将测试软件编译、UVM 基础设施、仿真、顶层 testbench、测试用例和形式验证分别组织，使工程师可以从一项 RTL 修改快速定位到相应验证区域。验证核心本体或自定义扩展接口时，应将它与 CV32E40X RTL 仓库和 core-v-verif 的共享组件配合使用。
建议起步
分类：验证工具状态：编辑判断 · 维护中适合：工程师
核心速览
- 目标：CV32E40X 核心的设计验证环境
- BSP：负责编译、汇编和链接核心测试程序
- UVM 结构：environment class 及配套基础设施位于 env 目录
- 流程划分：仿真、顶层 testbench、测试用例和形式验证分别位于独立目录
- 集成关系：共享验证组件由 CORE-V 验证生态提供
延伸资源
19星标
11分叉
Assembly仓库主要语言（GitHub）
分类
验证工具
标签
OpenHWRISC-VVerificationUVM TestbenchFormal VerificationCore DVFormalAssemblyDV
适合人群
工程师贡献者
验证类型
UVM 测试平台形式验证
贡献活跃度低活跃度
18
贡献者
4
待处理 Issues
0
近期提交（4 周）
1
开放中 PR
数据更新于 2026年10月12日
已核实的产业采用、贡献方与技术血缘、教学使用、演讲资料、技术文章及生态关联会依据具名来源逐步补充。
相关项目
CV32E40X
CV32E40X 是一款面向计算型嵌入式系统的紧凑四级顺序执行 32 位 RISC-V 核心。它最突出的能力是 CORE-V-XIF：设计者可以把自定义指令放在外部协处理器中实现，而不必直接修改 CPU 流水线内部逻辑。该核心适合研究领域专用加速与指令扩展集成，但使用者也应了解，它目前被视为技术上较成熟，却没有继续朝 TRL-5 目标推进。
CORE-V Verification
core-v-verif 是 CORE-V 处理器共享的功能验证基础设施，汇集可复用 UVM 组件、仿真 Makefile、验证库、工具脚本、第三方依赖及 DV 计划，并设有 CV32E40P、CV32E40X、CV32E40S 的专用目录。验证工程师可以先了解共用方法，再选择对应核心的流程。验证 CVA6 应进入 CVA6 仓库自身的 verif 目录：当前 core-v-verif 源码树没有 CVA6 专用目录，但 CVA6 相关环境可以复用其中的共享组件。