01
RISC-V与验证概述
指令集架构简介 · 开源处理器核生态 · 验证重要性 · 验证方法学
概述基础
02
验证环境搭建
Linux环境 · 工具链安装 · Verilator/Icarus · Git基础
环境工具
03
RTL设计与仿真基础
Verilog回顾 · 微架构简介 · 仿真流程 · 波形调试
RTL仿真
04
指令集验证基础
RV32I详解 · 指令仿真 · 正确性检查 · 汇编测试
指令汇编
05
随机指令生成
约束随机测试 · 指令生成器 · 操作数随机化 · 非法指令
随机生成
06
直接测试用例设计
边界条件 · 特殊寄存器 · 异常中断 · CSR测试
用例边界
07
验证计划制定
功能点分解 · 覆盖率定义 · 用例优先级 · 进度跟踪
计划管理
08
UVM验证方法学入门
UVM概念 · 树形结构 · driver/monitor/scoreboard · 序列
UVM方法学
09
基于UVM的RISC-V验证环境
环境架构 · 接口封装 · 参考模型 · 自动比对
UVM环境
10
指令级验证
单指令功能 · 指令组合 · 数据冒险 · 控制冒险
指令冒险
11
存储子系统验证
指令缓存 · 数据缓存 · 写缓冲 · Cache一致性
存储Cache
12
异常与中断验证
异常类型与优先级 · 处理流程 · 中断控制器 · 嵌套中断
异常中断
13
多核与一致性验证
多核架构 · 缓存一致性 · 原子操作 · 内存屏障
多核一致性
14
性能验证
IPC测试 · 分支预测 · Cache命中率 · 性能计数器
性能IPC
15
形式化验证入门
形式化基础 · 断言编写 · 属性检查 · 模型检查
形式化断言
16
覆盖率驱动验证
代码覆盖率 · 功能覆盖率 · 收集方法 · 驱动测试
覆盖率驱动
17
回归测试与CI集成
回归策略 · 自动化框架 · Jenkins/GitLab CI · 报告
CI回归
18
RISC-V兼容性测试
riscv-tests · riscv-dv · CoreMark/Dhrystone
兼容性基准
19
功耗验证
功耗分析 · RTL估算 · 门控时钟 · DVFS验证
功耗低功耗
20
复位与启动验证
复位序列 · Boot ROM · 启动流程 · 多核同步
复位启动
21
调试接口验证
JTAG/Debug Module · 断点单步 · 调试寄存器 · 外部调试器
调试JTAG
22
安全特性验证
PMP验证 · 模式隔离 · 安全启动 · 侧信道防护
安全PMP
23
FPGA原型验证
开发板选型 · 综合实现 · 调试技巧 · 软硬件协同
FPGA原型
24
后仿真验证
门级仿真 · 时序仿真 · SDF反标 · 调试技巧
后仿时序
25
验证IP开发
自定义VIP · 总线功能模型 · 协议检查器 · 断言IP
VIPBFM
26
脚本与自动化
Python/Tcl · 日志分析 · 结果比对 · 批量管理
脚本自动化
27
验证项目管理
团队协作 · 版本控制 · Bug管理 · 文档编写
管理流程
28
开源验证工具实践
Verilator高级 · cocotb · PyUVM · 开源波形工具
开源工具
29
RISC-V向量扩展验证
RVV简介 · 向量单元验证 · 数据流测试 · 性能验证
向量RVV
30
综合项目实战
完整验证项目 · 计划到签收 · 全流程总结 · 经验分享
项目实战