📘 验证仿真 · 从零到一

🎯 实战手册 · 30章完整目录
友好色系
01 验证概述
功能验证 芯片设计流程 挑战与目标
02 验证方法论
黑盒/白盒/灰盒 基于断言 形式化验证
03 Verilog基础
模块与端口 数据类型 连续/过程赋值 阻塞与非阻塞
04 Verilog进阶
任务与函数 generate语句 参数化设计 状态机
05 SystemVerilog验证特性
logic类型 always_comb/ff interface struct/enum
06 面向对象编程基础
类与对象 封装/继承/多态 随机化
07 随机化与约束
rand/randc 约束块 solve...before dist分布
08 断言基础
立即断言 并发断言 SVA序列/属性 cover属性
09 功能覆盖率
covergroup coverpoint/cross bin设定 覆盖率选项
10 验证计划
验证计划内容 验证点提取 验证矩阵 策略制定
11 测试平台架构
Driver/Monitor Scoreboard Agent/Environment Test
12 UVM基础
UVM是什么 树形结构 uvm_component/object phase机制
13 UVM工厂机制
factory模式 type_id::create override机制 注册宏
14 UVM序列机制
sequence/sequencer sequence_item 启动与仲裁
15 UVM通信机制
TLM通信 put/get/peek analysis_port fifo通信
16 UVM配置机制
uvm_config_db set/get 配置层次 资源管理
17 UVM寄存器模型
reg_model/block adapter 前门/后门访问 镜像与预测
18 UVM实战环境搭建
完整UVM平台 组件连接 测试用例编写
19 仿真工具入门
VCS/Questa/Xcelium 编译与运行 波形查看
20 仿真调试技巧
波形调试 日志分析 断点调试 $display/$monitor
21 脚本自动化
Makefile基础 Tcl脚本 Python管理仿真 回归测试
22 回归测试管理
回归流程 用例管理 结果比对 覆盖率收集
23 覆盖率驱动验证
CDV流程 覆盖率分析 未覆盖点分析 验证收敛
24 断言验证实战
SVA实战 断言覆盖率 断言调试 断言复用
25 低功耗验证
低功耗设计简介 UPF/CPF基础 功耗状态验证 隔离与保持
26 形式化验证入门
形式化原理 属性检查 等价性检查 应用场景
27 验证IP复用
VIP概念 常见VIP(AXI/APB/AHB) 配置与使用
28 后仿真验证
门级仿真 SDF反标 时序检查 后仿真调试
29 验证管理
版本控制(Git) 问题追踪(Jira) 验证文档 团队协作
30 项目实战
从零开始验证项目 项目规划 验证执行 项目总结