第1章
综合与约束概述
综合流程介绍 · 约束的作用 · 综合与后端的关系
基础概念
第2章
时序约束基础
时钟定义 · 时钟分组 · 生成时钟 · 时钟延迟与不确定性
时钟SDC
第3章
输入输出延迟约束
set_input_delay · set_output_delay · 虚拟时钟 · 外部路径建模
IO边界
第4章
时序例外约束
set_false_path · set_multicycle_path · set_max_delay · set_min_delay
例外时序
第5章
环境约束与DRC
set_load · set_drive · set_fanout_load · 操作条件 · 线负载模型
环境DRC
第6章
综合策略与优化
top-down vs bottom-up · compile_ultra · retiming · 寄存器合并
策略优化
第7章
约束冲突分析
冲突类型（重叠/矛盾/冗余） · 检测方法 · 解决策略
冲突调试
第8章
综合报告解读
时序报告 · 面积报告 · 功耗报告 · 约束报告 · QoR报告
报告分析
第9章
综合与约束实战
RTL综合流程 · 约束编写规范 · 综合脚本示例 · 常见问题排查
实战脚本
第10章
综合与约束进阶
多时钟域处理 · 异步FIFO约束 · 低功耗综合 · 物理综合
进阶多时钟
第11章
综合工具入门
Design Compiler · Synplify · Yosys · 工具选择
工具DC
第12章
Tcl脚本基础
Tcl语法 · 变量 · 列表 · 控制流 · 过程 · 文件操作
Tcl脚本
第13章
DC综合脚本编写
DC启动 · 读取设计 · 约束设计 · 编译 · 输出结果
DC脚本
第14章
综合库文件解析
库文件结构 · 时序模型 · 线负载模型 · 操作条件
库建模
第15章
时序路径分析
建立时间 · 保持时间 · 时钟偏斜 · 时序路径类型
时序STA
第16章
时钟树综合基础
时钟树概念 · 时钟树结构 · 时钟树约束 · 时钟树优化
CTS时钟
第17章
功耗综合技术
动态功耗 · 静态功耗 · 门控时钟 · 多阈值电压 · 功耗优化
功耗低功耗
第18章
形式验证基础
等价性检查 · 逻辑锥 · 对比点 · 验证流程
验证形式化
第19章
综合与验证协同
综合后仿真 · 网表仿真 · 形式验证 · 时序验证
协同验证
第20章
约束管理最佳实践
约束文件组织 · 版本控制 · 约束复用 · 约束检查
管理最佳实践
第21章
多模式多角分析
MMMC概念 · 模式定义 · 角点定义 · 约束组合
MMMC多角
第22章
综合中的DFT
扫描链插入 · BIST · 边界扫描 · ATPG
DFT可测试性
第23章
层次化综合
模块划分 · 黑盒处理 · 接口约束 · 顶层集成
层次化集成
第24章
综合优化技巧
面积优化 · 速度优化 · 功耗优化 · 综合时间优化
优化技巧
第25章
约束调试技巧
时序违例分析 · 约束错误定位 · 报告解读 · 调试流程
调试约束
第26章
综合与布局协同
物理综合 · 布局感知综合 · 拥塞预估 · 布线预估
布局物理
第27章
先进工艺综合挑战
FinFET工艺 · 低电压设计 · 工艺角变化 · 老化效应
先进工艺挑战
第28章
综合脚本自动化
Makefile集成 · 流程自动化 · 回归测试 · 报告汇总
自动化脚本
第29章
综合与约束案例分析
实际项目案例 · 常见错误 · 解决方案 · 经验总结
案例实战
第30章
综合与约束未来趋势
AI辅助综合 · 云综合 · 开源工具 · 敏捷设计
趋势前沿