全部教程
按学习路径分组,从基础语法到验证方法论。
SystemVerilog 基础
查看全部数据类型、过程块、接口与断言等 SystemVerilog 核心语法。
- 01为什么是 SystemVerilog:从 Verilog 到验证语言→
- 02基础语法:模块、字面量与打印输出→
- 03跑通你的第一个仿真:EDA Playground、波形与 $finish→
- 04数据类型:logic、reg、wire 的区别→
- 05更多数据类型:2 态与 4 态、枚举、结构体与 typedef→
- 06数组:packed/unpacked、动态数组、关联数组与队列→
- 07运算符与过程语句→
- 08过程块:initial、always_comb、always_ff、always_latch→
- 09任务与函数:SystemVerilog 中的可复用行为→
- 10面向对象入门:SystemVerilog 中的类与对象→
- 11面向对象进阶:继承、多态与虚方法→
- 12随机化与约束:rand、randc 与 constraint 块→
- 13接口与 Modport:信号的打包与组织→
- 14进程与进程间通信:fork-join、事件、信号量与邮箱→
- 15断言:即时断言与并发断言(SVA 基础)→
- 16包与作用域:动手搭建一个小型 Testbench→
UVM 基础
查看全部UVM 组件、TLM 通信、Sequence 与 Factory 机制。
UVM 高阶用法
查看全部多 Agent 协同、Virtual Sequence 与寄存器抽象层(RAL)。
验证方法论
查看全部验证工程师的实战经验:测试规划思维、覆盖率驱动的判断力与调试直觉。
- 01一页看懂覆盖率:Functional 与 Code Coverage 的区别→
- 02深入 Functional Coverage:bins、Cross 与配置项→
- 03Code Coverage:Line 与 Branch→
- 04Code Coverage:Toggle→
- 05Code Coverage:FSM→
- 06覆盖率驱动验证:闭合这个环→
- 07什么是验证计划,为什么它要放在最前面→
- 08从 Spec 到功能清单→
- 09场景分类法:合法、边界、非法、并发→
- 10基于风险的优先级:先写什么→
- 11作为活文档的验证计划:可追溯性→
- 12失败到底出在哪:先查这四个地方→
- 13读懂失败的特征→
- 14诊断方法:隔离、插桩、假设、确认→
- 15把 Bug 写下来,闭合这个环→
高阶 SVA
查看全部深入 sequence 与 property:蕴含操作符、协议级断言与 bind。