什么是数字电路验证
验证在芯片开发流程中的位置
验证的挑战与目标
基于仿真的验证
形式化验证
静态时序分析
验证的层次化结构
如何制定验证计划
验证范围定义
功能覆盖点提取
验证矩阵
随机化基础
约束块
随机化策略
权重分布
动态约束
覆盖组
覆盖点
交叉覆盖
覆盖选项
覆盖驱动的验证
立即断言
并发断言
断言序列
断言属性
SVA语法
UVM架构
UVM树
工厂模式
配置机制
phase机制
uvm_component
uvm_object
uvm_agent
uvm_env
uvm_test
sequence与sequencer
sequence机制
sequence宏
virtual sequence
transaction
TLM端口
TLM FIFO
analysis port
reg_model
reg_block
reg_field
前门与后门访问
testbench架构
driver设计
monitor设计
scoreboard设计
参考模型的作用
实现方式
与DUT的对比
检查器设计
覆盖率收集
覆盖率分析
覆盖率驱动的测试生成
收敛策略
波形调试
日志分析
断点调试
反标调试
常见问题排查
VIP的概念
VIP开发规范
VIP集成
VIP配置
低功耗设计简介
电源域
电压岛
低功耗验证策略
UPF
门级仿真目的
SDF反标
时序检查
X态传播
门级仿真调试
形式化验证基础
属性检查
等价性检查
模型检查
应用场景
STA基础
时序路径
约束
时序报告分析
时序收敛
版本控制
问题追踪
验证度量
团队协作
验证流程改进
脚本自动化
Makefile
回归自动化
报告生成
CI/CD集成
基于断言的验证
基于覆盖的验证
基于属性的验证
验证2.0
实际项目验证案例
常见验证陷阱
最佳实践
经验总结
仿真器
波形查看器
覆盖率工具
调试工具
形式化工具
AI在验证中的应用
验证云化
开源验证工具
验证的未来发展