返回项目列表先看 GitHub
建议起步
分类：验证工具状态：编辑判断 · 维护中适合：工程师
核心速览
- 目标：CV32E40S 核心的设计验证环境
- BSP：负责为核心与 UVM 环境编译、汇编和链接测试程序
- UVM 结构：environment class 及配套基础设施位于 env 目录
- 流程划分：仿真、testbench、测试用例和形式验证分别位于独立目录
- 维护依据：2026 年 7 月 27 日默认分支合入 Sail 中断生成器及 CLINT mtime/mtimecmp 支持；维护活动不等于验证覆盖完整
延伸资源
1星标
3分叉
Assembly仓库主要语言（GitHub）
分类
验证工具
标签
OpenHWRISC-VVerificationUVM TestbenchFormal VerificationSecurity DVCore DVAssemblySecurityDV
适合人群
工程师
验证类型
UVM 测试平台形式验证
贡献活跃度低活跃度
15
贡献者
1
待处理 Issues
0
近期提交（4 周）
0
开放中 PR
数据更新于 2026年10月12日
已核实的产业采用、贡献方与技术血缘、教学使用、演讲资料、技术文章及生态关联会依据具名来源逐步补充。
相关项目
CV32E40S
CV32E40S 是一款面向安全型嵌入式系统的紧凑四级顺序执行 32 位 RISC-V 核心。它沿用 CV32E40P 技术路线，并增加 Machine/User 特权模式、增强型物理内存保护、抗篡改机制和 Xsecure 扩展。该项目适合评估重视隔离与保护能力的 MCU 设计；它关注的是安全防护，并不是 CVA6-Safe 所代表的锁步与容错方案。
CORE-V Verification
core-v-verif 是 CORE-V 处理器共享的功能验证基础设施，汇集可复用 UVM 组件、仿真 Makefile、验证库、工具脚本、第三方依赖及 DV 计划，并设有 CV32E40P、CV32E40X、CV32E40S 的专用目录。验证工程师可以先了解共用方法，再选择对应核心的流程。验证 CVA6 应进入 CVA6 仓库自身的 verif 目录：当前 core-v-verif 源码树没有 CVA6 专用目录，但 CVA6 相关环境可以复用其中的共享组件。