01
HLS约束概述
什么是HLS约束？为什么需要约束？约束在HLS流程中的位置。
基础概念
02
时钟约束详解
时钟周期、时钟不确定性、时钟组、虚拟时钟的定义与配置。
时钟时序
03
I/O约束详解
输入延迟、输出延迟、I/O时序模型、片外驱动与负载建模。
I/O接口
04
时序例外约束
多周期路径、假路径、最大/最小延迟约束的设定与冲突场景。
例外时序
05
约束冲突类型
时钟域冲突、I/O时序冲突、资源竞争冲突、控制逻辑冲突。
分类诊断
06
约束冲突的根本原因
设计意图不明确、约束过于激进、约束遗漏、工具理解偏差。
根因分析
07
时钟域冲突（上）
跨时钟域同步器缺失、异步FIFO深度不足导致的约束失效。
CDC异步
08
时钟域冲突（下）
时钟门控与使能信号处理不当、多周期路径跨时钟域误判。
门控多周期
09
I/O时序冲突（上）
输入延迟约束与内部逻辑不匹配、输出延迟约束过紧。
输入输出
10
I/O时序冲突（下）
双向端口约束冲突、多驱动源竞争、I/O标准不匹配。
双向标准
11
资源竞争冲突
共享内存/BRAM的读写冲突、多端口访问仲裁、DSP资源复用冲突。
BRAMDSP
12
控制逻辑冲突
状态机编码冲突、流水线深度与握手信号不匹配、复位策略冲突。
FSM流水线
13
约束冲突诊断方法
HLS报告解读（时序报告、资源报告、约束检查报告）。
报告诊断
14
Vivado HLS约束冲突分析工具
使用report_timing、report_clock_interaction定位问题。
工具Vivado
15
约束冲突的仿真验证
RTL协同仿真、时序仿真、形式化验证在约束检查中的应用。
仿真验证
16
约束冲突解决策略（上）
调整时钟周期与相位、优化I/O延迟约束参数。
策略时钟
17
约束冲突解决策略（中）
添加或修改时序例外、使用set_multicycle_path与set_false_path。
例外MCP
18
约束冲突解决策略（下）
重构设计逻辑、插入流水线、调整资源分配。
重构流水线
19
多周期路径约束冲突
set_multicycle_path的setup/hold关系、路径启动与锁存沿理解。
MCP建立/保持
20
假路径约束冲突
set_false_path的误用与滥用、异步信号处理的正确约束方法。
假路径异步
21
最大/最小延迟约束冲突
set_max_delay/set_min_delay的适用范围、与时钟约束的交互。
max_delaymin_delay
22
时钟组约束冲突
set_clock_groups的异步/互斥/独立模式选择、跨时钟域路径处理。
时钟组异步
23
综合与布局布线后的约束冲突
预综合与后综合约束差异、物理综合对约束的影响。
综合布局布线
24
增量编译中的约束冲突
增量流程中约束变更导致的不一致性、ECO约束处理。
增量ECO
25
团队协作中的约束冲突
多人维护约束文件的合并冲突、版本控制策略。
协作版本控制
26
约束冲突自动化检查
Tcl脚本编写约束检查器、集成到CI/CD流程。
自动化CI/CD
27
案例实战（一）
一个典型的跨时钟域约束冲突——从报告到修复的全过程。
实战CDC
28
案例实战（二）
I/O时序约束冲突——DDR接口约束调试实录。
实战DDR
29
案例实战（三）
资源竞争与多周期路径冲突——高性能计算模块优化。
实战高性能
30
HLS约束最佳实践
约束编写规范、检查清单、常见陷阱总结与未来趋势。
规范最佳实践