01
FPU概述
RISC-V浮点扩展介绍 · FPU在处理器中的作用 · 验证的重要性
基础概念
02
验证环境搭建
Verilog测试平台结构 · 时钟与复位生成 · DUT实例化
环境Verilog
03
浮点指令集
F扩展指令详解 · D扩展指令详解 · 指令编码格式
指令集编码
04
激励生成器
随机指令生成 · 约束随机化 · 定向测试用例
激励随机
05
参考模型
软件浮点库对比 · C模型集成 · Golden Reference设计
模型C
06
比较器设计
结果比对策略 · 异常标志检查 · 舍入模式验证
比较检查
07
覆盖率收集
代码覆盖率 · 功能覆盖率 · 交叉覆盖率
覆盖率度量
08
断言应用
SVA基础 · 协议断言 · 数据通路断言
断言SVA
09
回归测试
自动化脚本 · 回归环境搭建 · 结果分析
回归自动化
10
性能验证
吞吐量测试 · 延迟测量 · 流水线冲突检测
性能流水线
11
边界测试
NaN处理 · 无穷大运算 · 非规格化数
边界特殊值
12
异常测试
无效操作 · 除零异常 · 上溢/下溢
异常错误
13
舍入模式测试
RNE · RTZ · RDN · RUP · RMM
舍入模式
14
融合乘加测试
FMA指令验证 · 精度要求 · 特殊场景
FMA精度
15
比较指令测试
浮点比较 · 有序/无序比较 · 信号量处理
比较条件
16
转换指令测试
浮点与整数互转 · 格式转换 · 舍入控制
转换整数
17
加载存储测试
浮点寄存器文件 · 对齐访问 · 异常处理
访存对齐
18
多周期指令测试
除法 · 平方根 · 迭代算法验证
多周期迭代
19
流水线交互测试
数据冒险 · 控制冒险 · 转发逻辑
流水线冒险
20
中断与异常
浮点异常处理 · 精确异常 · 恢复机制
中断异常
21
随机验证
大规模随机测试 · 种子管理 · 失败复现
随机种子
22
形式化验证
属性检查 · 数学证明 · 等价性检查
形式化证明
23
低功耗验证
时钟门控 · 电源域切换 · DVFS场景
低功耗时钟
24
后仿验证
SDF反标 · 时序检查 · 门级仿真
后仿时序
25
FPGA原型验证
综合策略 · 上板调试 · 性能评估
FPGA原型
26
调试技巧
波形分析 · 日志系统 · 断点调试
调试波形
27
自动化报告
HTML报告生成 · 通过率统计 · 趋势分析
报告自动化
28
验证计划
验证点分解 · 优先级划分 · 资源估算
计划管理
29
团队协作
版本控制 · 代码审查 · 知识库建设
协作Git
30
项目实战
完整FPU验证项目 · 从规划到交付 · 经验总结
实战项目