01
综合概述
什么是逻辑综合 · 综合在数字IC设计流程中的位置 · 综合的输入与输出
基础概念
02
RTL代码风格
可综合的RTL代码风格 · 不可综合的语法结构 · 同步与异步设计
RTL风格
03
综合工具入门
Design Compiler基本流程 · 启动DC · 读取设计文件 · 设置约束
DC流程
04
时序约束入门
时钟定义 · 输入延迟 · 输出延迟 · 时序例外 (false_path, multicycle_path)
时序约束
05
综合策略
面积优先与速度优先 · 层次化综合与扁平化综合 · 综合优化选项
策略优化
06
网表基础
门级网表的结构 · 标准单元库 · 网表格式 (Verilog, EDIF)
网表格式
07
网表质量检查
扇出检查 · 扇入检查 · 组合逻辑深度 · 时钟门控检查
质量检查
08
静态时序分析入门
建立时间与保持时间 · STA基本概念 · PrimeTime工具简介
STA时序
09
时序报告解读
slack · WNS · TNS · 关键路径分析 · 修复时序违例的思路
报告时序
10
功耗分析入门
动态功耗与静态功耗 · 功耗分析工具 · 低功耗设计技术
功耗低功耗
11
面积分析与优化
面积报告解读 · 资源共享 · 逻辑优化
面积优化
12
测试综合
扫描链插入 · ATPG基础 · BIST技术
测试DFT
13
综合脚本编写
Tcl脚本基础 · DC脚本实战 · 自动化综合流程
Tcl脚本
14
综合后仿真
门级仿真 · SDF反标 · 仿真常见问题
仿真后仿
15
跨时钟域处理
CDC问题 · 同步器设计 · 综合中的CDC约束
CDC跨时钟
16
复位策略
同步复位与异步复位 · 复位树综合 · 复位毛刺处理
复位策略
17
时钟门控
时钟门控原理 · 综合中的时钟门控插入 · 门控时钟检查
门控时钟
18
多电压域设计
电压域划分 · 电平转换器 · 综合中的多电压处理
多电压低功耗
19
综合优化技巧
重定时 · 流水线插入 · 操作符共享
优化技巧
20
网表等价性检查
Formality工具 · LEC流程 · 调试技巧
LEC等价性
21
物理综合
布局感知综合 · 物理约束 · 与后端工具的交互
物理后端
22
综合库文件
Liberty文件结构 · 时序模型 · 功耗模型
库Liberty
23
综合中的工艺映射
工艺库选择 · 映射策略 · 延迟计算
工艺映射
24
综合约束管理
约束文件组织 · 多模式多角约束 · 约束调试
约束管理
25
综合报告分析
面积报告 · 时序报告 · 功耗报告 · 综合日志解读
报告分析
26
综合流程自动化
Makefile/脚本管理 · 回归测试 · 版本控制
自动化流程
27
综合与后端衔接
网表交付 · 物理约束传递 · ECO流程
后端ECO
28
综合中的常见错误
语法错误 · 约束冲突 · 综合异常 · 解决方法
错误调试
29
综合实战案例
一个简单CPU的综合流程 · 从RTL到网表的完整实践
实战CPU
30
课程总结与进阶
综合技术趋势 · 学习资源推荐 · 职业发展建议
总结进阶