📘 IP验证自动化 · CI实战
🎓 30章 从入门到前沿
✓
系统化验证流程
⚡
持续集成流水线
🧩
UVM / SystemVerilog
🐍
脚本 & 容器化
01
IP验证流程概述
什么是IP验证
芯片开发位置
职责与挑战
02
验证方法论基础
断言验证
覆盖率驱动
随机化
形式化简介
03
验证计划制定
编写验证计划
验证点分解
功能覆盖率
模板
04
SystemVerilog基础回顾
数据类型
接口
类与对象
随机化
断言
05
UVM基础入门
UVM架构
树形结构
component/object
phase
06
UVM环境搭建
完整验证环境
sequence/driver
monitor/scoreboard
07
UVM序列与事务
sequence机制
item
library
virtual sequence
08
UVM配置机制
uvm_config_db
配置覆盖
资源管理
实战
09
UVM寄存器模型
reg_model
前门/后门
预测
镜像与更新
10
UVM覆盖率收集
功能覆盖率
covergroup
交叉覆盖率
合并
11
验证脚本自动化
Makefile
Tcl
Python
回归测试
12
回归测试管理
回归流程
用例管理
失败分析
报告生成
13
持续集成基础
CI/CD概念
Git版本控制
Jenkins/GitLab CI
流水线
14
验证环境容器化
Docker基础
构建镜像
容器化回归
资源管理
15
验证结果数据库
MySQL/PostgreSQL
结果存储
查询统计
可视化
16
验证报告自动化
HTML报告
ECharts/Plotly
邮件通知
归档
17
验证度量指标
通过率
覆盖率
仿真时间
资源利用率
质量模型
18
验证流程优化
并行仿真
分布式回归
云上验证
成本控制
19
验证环境复用
IP→SoC复用
组件标准化
接口封装
案例
20
低功耗验证
低功耗设计
UPF/CPF
验证方法
仿真检查
21
门级仿真
网表仿真
SDF反标
时序检查
调试技巧
22
形式化验证入门
原理
属性检查
等价性检查
工具
23
验证调试技巧
波形分析
日志分析
断点调试
问题排查
24
验证代码规范
命名规范
注释规范
代码审查
静态检查
25
验证文档管理
文档类型
Doxygen/Sphinx
版本管理
知识库
26
验证团队协作
Git工作流
代码评审
任务分配
沟通机制
27
验证流程审计
审计要点
流程合规
质量门禁
改进建议
28
验证工具链集成
EDA工具集成
开源工具
版本管理
环境一致性
29
验证流程案例实战
从零搭建IP验证
CI流水线
问题复盘
改进
30
验证前沿趋势
AI辅助验证
验证云化
开源生态
职业发展