⚡ 电路验证自动化 · 脚本实战
📘 30章 · 从入门到项目
01
验证自动化概述
芯片验证流程、自动化脚本价值、Python/Tcl/Perl对比
02
Python环境搭建
解释器安装、虚拟环境、常用EDA验证库
03
文件系统操作
os/pathlib、批量重命名移动、日志管理
04
正则表达式基础
re模块、模式匹配、分组捕获、Log分析
05
CSV与Excel处理
csv/openpyxl、测试向量生成、报表导出
06
YAML与JSON配置
yaml/json库、参数化配置、用例管理
07
命令行参数解析
argparse/getopt、灵活控制仿真选项
08
进程管理与并行仿真
subprocess/multiprocessing、并行跑用例
09
仿真工具调用
VCS/Xcelium/Questa Python封装
10
日志解析与断言检查
自动提取Log错误/Warning/UVM信息
11
覆盖率数据合并
urg/verdi自动化合并、阈值检查
12
回归测试框架
Test Suite、用例调度、失败重跑
13
邮件与消息通知
smtplib、企业微信/钉钉机器人
14
数据库操作基础
sqlite3、存储测试结果与历史
15
数据库进阶
SQLAlchemy ORM、多表关联、趋势分析
16
Web Dashboard开发
Flask基础、回归结果实时刷新
17
REST API开发
Flask-RESTful、验证数据接口
18
Git版本控制集成
gitpython、自动打标签、ChangeLog
19
CI/CD集成
Jenkins/GitLab CI、自动触发回归
20
Docker容器化
Dockerfile、封装验证环境
21
波形自动化处理
FSDB/VCD解析、自动截取波形
22
形式化验证脚本
JasperGold/VC Formal、批量属性检查
23
功耗分析自动化
PrimeTime/PowerArtist、自动报告
24
时序分析自动化
PrimeTime/Tempus、时序违例检查
25
门级仿真自动化
Netlist脚本、SDF反标、后仿自动化
26
随机约束调试
自动收集随机种子、复现失败、MinDebug
27
验证计划管理
vPlan/Excel、自动追踪完成度
28
数据可视化
matplotlib/plotly、通过率趋势、Bug分布
29
大型项目实战
多模块验证、分布式回归、统一报告
30
课程总结与展望
最佳实践、AI辅助验证、持续学习路径