01
时序分析基础
建立时间与保持时间的概念、时序路径分类、时钟抖动与偏移
⏱️ 基础时钟
02
SDC约束入门
时钟定义、输入延迟约束、输出延迟约束、伪路径与多周期路径
📐 约束SDC
03
断言基础
SystemVerilog断言(SVA)概述、立即断言与并发断言、断言层次结构
⚡ 断言SVA
04
序列与属性
序列定义与操作符、属性定义与操作符、蕴含操作符(overlap与非overlap)
🔗 序列属性
05
断言编写实战
常见协议断言(握手、FIFO、总线)、断言覆盖率收集、断言调试技巧
🛠️ 实战覆盖率
06
时序收敛策略
关键路径优化、流水线插入、寄存器重定时
⚙️ 收敛优化
07
跨时钟域(CDC)检查
同步器设计、CDC验证方法、常见CDC错误
🔄 CDC同步
08
静态时序分析(STA)工具
PrimeTime使用入门、报告解读、时序例外处理
📊 STAPrimeTime
09
形式化验证基础
属性检查、模型检查、与动态仿真的对比
🧠 形式化验证
10
综合与布局布线中的时序
综合策略、时钟树综合、布线后时序优化
🏭 综合布局布线
11
低功耗时序分析
多电压域时序、电平转换器、电源关断时序
🔋 低功耗电压域
12
片上变化(OCV)分析
OCV概念、derate因子设置、统计STA
📉 OCV统计
13
时序库与工艺角
Liberty库结构、PVT角分析、最差/最好情况分析
📚 库PVT
14
复位电路时序
异步复位同步释放、复位树分析、复位断言
🔄 复位同步释放
15
存储器接口时序
DDR接口时序、读写平衡、眼图分析
💾 DDR眼图
16
高速串行接口时序
SerDes原理、抖动分析、误码率(BER)与时序裕量
⚡ SerDes抖动
17
时钟门控检查
门控时钟的建立/保持时间、门控使能信号检查
🚪 门控时钟
18
异步FIFO验证
格雷码指针、空满标志生成、深度计算
📦 FIFO格雷码
19
断言重用策略
断言库设计、参数化断言、不同项目间的复用
♻️ 重用参数化
20
覆盖率驱动的断言
功能覆盖率与断言覆盖率结合、覆盖点定义、交叉覆盖率
📈 覆盖率交叉
21
时序约束管理
约束版本控制、约束与RTL同步、自动化约束生成
📋 约束版本
22
后仿真时序检查
SDF反标、后仿真配置、时序违规调试
🔬 后仿真SDF
23
功耗感知时序分析
动态功耗与时序关系、IR Drop对时序的影响
⚡ 功耗IR Drop
24
老化与可靠性时序
NBTI/PBTI效应、热载流子注入、时序退化模型
🧓 老化可靠性
25
机器学习在时序中的应用
时序预测、自动时序修复、智能约束优化
🤖 机器学习AI
26
时序与物理设计协同
布局规划对时序的影响、拥塞与绕线时序
🏠 物理设计拥塞
27
高级断言特性
`assert`/`assume`/`cover`区别、`expect`语句、`wait`语句
🎯 高级assert
28
时序验证流程自动化
脚本化STA、回归测试、报告自动生成
🤖 自动化脚本
29
常见时序问题案例
保持时间违规修复、建立时间违规修复、时钟偏斜处理
🔧 案例修复
30
未来趋势
AI辅助时序优化、开源时序工具、3D IC时序挑战
🚀 趋势3D IC