CDC 实战课程
30章 · 从入门到项目
📘
跨时钟域设计仿真验证
1
CDC基础
概念·亚稳态
什么是跨时钟域、同步与异步电路、亚稳态的本质与危害。
2
单比特同步器
双锁存器
双锁存器同步器原理、代码实现、仿真波形分析。
3
多比特同步器
握手·FIFO
多比特同步的挑战、握手协议同步、FIFO同步。
4
异步FIFO
格雷码·空满
格雷码指针、空满标志生成、深度计算与仿真。
5
CDC验证方法论
断言SVA
形式化验证与动态仿真、断言(SVA)在CDC中的应用。
6
CDC工具链
SpyGlass·Questa
SpyGlass CDC、Questa CDC工具使用入门。
7
时钟门控与CDC
使能同步
门控时钟的同步问题、使能信号的跨时钟域处理。
8
复位CDC
异步复位同步释放
异步复位同步释放、复位域划分与验证。
9
数据总线CDC
AXI握手
AXI总线跨时钟域、握手协议实现。
10
CDC验证计划
覆盖率驱动
覆盖率驱动验证、功能点分解与测试用例设计。
11
仿真环境搭建
SV TB架构
SystemVerilog Testbench架构、时钟与复位生成。
12
断言(SVA)进阶
蕴含·序列
蕴含操作符、序列与属性、CDC相关断言模板。
13
覆盖率模型
功能·交叉
功能覆盖率、代码覆盖率、交叉覆盖率在CDC中的应用。
14
随机化验证
约束·边界
约束随机测试、权重控制、边界值测试。
15
低功耗CDC
电压域·隔离
电压域切换、电源门控、隔离单元的验证。
16
多路径同步
扇出·歪斜
扇出问题、路径延迟匹配、时钟歪斜影响。
17
CDC错误注入
亚稳态·毛刺
人为制造亚稳态、毛刺注入、验证鲁棒性。
18
后仿真CDC
SDF反标
SDF反标、时序反标、后仿真的CDC检查。
19
UVM在CDC中
sequence驱动
UVM环境搭建、sequence驱动CDC测试。
20
CDC与DFT
扫描链·ATPG
扫描链测试中的CDC问题、ATPG约束。
21
高速接口CDC
DDR·SerDes
DDR、SerDes接口的跨时钟域处理。
22
CDC文档规范
计划·报告
验证计划文档、报告模板、评审清单。
23
常见CDC Bug
工业案例
来自工业界的真实案例复盘。
24
CDC性能优化
延迟·吞吐
延迟优化、吞吐量提升、面积权衡。
25
多核与NoC CDC
缓存一致性
片上网络、多核同步、缓存一致性。
26
CDC与安全
故障注入
故障注入攻击、安全关键系统的CDC验证。
27
AI加速器CDC
神经网络
神经网络加速器中的跨时钟域设计。
28
CDC自动化脚本
Python/Tcl
Python/Tcl脚本实现CDC检查自动化。
29
CDC验证指标
MTBF·失效率
MTBF计算、失效率分析、质量度量。
30
综合项目实战
完整流程
从规格到验证的完整CDC项目流程。