⚠️ 请启用JavaScript以使用交互跳转，以下为静态目录：
- 01 断言基础
- 02 立即断言
- 03 并发断言基础
- 04 序列基础
- 05 序列进阶
- 06 属性基础
- 07 属性进阶
- 08 断言中的函数与任务
- 09 断言绑定
- 10 断言覆盖率
- 11 断言调试
- 12 断言与功能覆盖率
- 13 多时钟域断言
- 14 形式验证
- 15 断言重用
- 16 总线协议(上)
- 17 总线协议(下)
- 18 FIFO验证
- 19 状态机验证
- 20 握手协议
- 21 流水线验证
- 22 低功耗验证
- 23 复位验证
- 24 中断验证
- 25 DMA验证
- 26 DDR控制器
- 27 以太网协议
- 28 PCIe协议
- 29 UART协议
- 30 实战项目