01
精度验证概述
什么是精度验证 · 为什么需要精度验证 · 在芯片设计流程中的位置
概念基础
02
精度验证环境搭建
Linux环境准备 · Python环境配置 · 常用EDA工具安装 (VCS、Verdi)
环境工具
03
精度验证基础概念
定点数与浮点数 · 量化误差 · 舍入模式 · 溢出处理
理论数值
04
精度验证数据类型
SystemVerilog real类型 · 固定精度类型 · 自定义精度类型
SV类型
05
精度验证参考模型
参考模型的作用 · 如何构建参考模型 · 与DUT的对比
建模验证
06
精度验证测试平台
UVM基础 · 精度验证组件 · scoreboard设计 · monitor设计
UVMTB
07
精度验证激励生成
随机激励 · 定向激励 · 边界条件激励 · 异常激励
激励测试
08
精度验证比较策略
绝对误差比较 · 相对误差比较 · ULP比较 · 混合比较策略
比较度量
09
精度验证覆盖率
代码覆盖率 · 功能覆盖率 · 精度覆盖率 · 交叉覆盖率
覆盖率质量
10
精度验证调试技巧
波形调试 · 日志分析 · 断点调试 · 自动化调试脚本
调试脚本
11
精度验证脚本自动化
Python脚本管理 · Makefile构建 · 回归测试自动化
自动化CI
12
精度验证报告生成
HTML报告 · Excel报告 · PDF报告 · 可视化图表
报告可视化
13
精度验证案例分析 Ⅰ
加法器 · 乘法器 · 除法器精度验证
案例算术
14
精度验证案例分析 Ⅱ
FFT · CORDIC · 滤波器精度验证
DSP案例
15
精度验证案例分析 Ⅲ
神经网络加速器 · 激活函数精度验证
AI量化
16
精度验证标准与规范
IEEE 754标准 · ISO 26262要求 · 行业最佳实践
标准规范
17
精度验证与功耗优化
精度与功耗权衡 · 动态精度调整 · 低精度计算
功耗优化
18
精度验证与面积优化
精度与面积权衡 · 资源共享 · 查找表优化
面积硬件
19
精度验证与性能优化
精度与性能权衡 · 流水线设计 · 并行计算
性能架构
20
精度验证工具链
开源工具 (Verilator、Icarus) · 商业工具 (VCS、Xcelium)
工具生态
21
精度验证数据管理
数据版本控制 · 数据存储格式 · 数据可视化
数据管理
22
精度验证团队协作
Git工作流 · 代码审查 · 知识库建设
协作DevOps
23
精度验证持续集成
CI/CD流水线 · 自动回归 · 质量门禁
CI/CD自动化
24
精度验证高级话题 Ⅰ
随机舍入 · 收敛性分析 · 统计精度验证
高级统计
25
精度验证高级话题 Ⅱ
混合精度验证 · 自适应精度 · 精度感知编译
混合精度编译
26
精度验证高级话题 Ⅲ
形式化精度验证 · 等价性检查 · 模型检查
形式化验证
27
实战项目一：浮点加法器
基于UVM的浮点加法器精度验证
UVM项目
28
实战项目二：FFT精度分析
基于Python的FFT精度分析
PythonFFT
29
实战项目三：神经网络量化
神经网络量化精度验证
AI量化
30
总结与展望
常见问题汇总 · 未来趋势 · 学习路径建议
总结路线