01
HLS约束基础
什么是HLS约束？为什么需要约束？约束冲突的常见类型。
入门核心概念
02
时钟约束冲突
时钟定义不一致、多时钟域交叉、时钟抖动与不确定性。
时序时钟
03
接口约束冲突
AXI4-Stream接口时序不匹配、FIFO深度不足、握手信号错误。
接口AXI
04
资源约束冲突
DSP48块过载、BRAM端口冲突、LUT利用率过高。
资源BRAM
05
循环约束冲突
循环边界不可预测、流水线启动间隔(II)冲突、循环展开因子不匹配。
循环II
06
数组约束冲突
数组分区策略错误、数组映射资源冲突、双端口RAM访问冲突。
数组分区
07
数据流约束冲突
dataflow指令使用不当、通道深度不足、死锁问题。
数据流死锁
08
函数内联约束冲突
内联导致逻辑膨胀、递归函数约束失效、函数层级优化冲突。
内联递归
09
依赖关系约束冲突
读写依赖未满足、反依赖导致流水线停顿、输出依赖冲突。
依赖流水线
10
编译指令冲突
pragma与directive冲突、不同作用域指令覆盖、指令优先级问题。
pragma指令
11
顶层函数约束冲突
参数类型不匹配、返回类型约束错误、全局变量约束冲突。
顶层接口
12
定点数约束冲突
位宽定义不一致、量化模式冲突、溢出处理冲突。
定点量化
13
浮点数约束冲突
浮点IP核约束冲突、精度损失、延迟不匹配。
浮点IP
14
内存接口约束冲突
DDR3/DDR4时序约束错误、HBM接口带宽冲突、内存控制器配置冲突。
DDRHBM
15
流水线约束冲突
嵌套流水线冲突、流水线深度与资源权衡、流水线使能条件冲突。
流水线深度
16
循环合并约束冲突
循环边界不兼容、循环体依赖冲突、合并后II退化。
合并II
17
代码风格导致的约束冲突
指针别名问题、动态内存分配、递归函数。
风格指针
18
C/RTL协同仿真约束冲突
仿真模型不一致、时序偏差、RTL仿真器设置冲突。
仿真RTL
19
Vivado HLS vs Vitis HLS约束差异
指令集变化、默认行为差异、迁移注意事项。
迁移工具
20
约束优先级与覆盖规则
局部指令覆盖全局指令、pragma覆盖directive、默认约束行为。
优先级覆盖
21
综合策略与约束冲突
latency策略与约束冲突、resource策略与约束冲突、none策略适用场景。
策略综合
22
数组优化约束冲突
数组reshape与partition冲突、数组重组与数据依赖冲突。
reshapepartition
23
循环优化组合冲突
pipeline与unroll同时使用、dataflow与pipeline嵌套、loop_flatten与loop_merge。
组合优化
24
接口综合约束冲突
m_axi接口突发长度冲突、s_axilite接口地址映射冲突、axis接口数据打包冲突。
m_axiaxis
25
依赖分析错误
指针分析不准确、动态索引导致依赖模糊、函数调用链依赖误判。
分析依赖
26
约束调试工具使用
Vitis HLS报告分析、波形调试、约束冲突日志解读。
调试报告
27
常见约束冲突模式与解决方案
资源竞争模式、时序收敛模式、数据流死锁模式。
模式方案
28
大型项目约束管理
多文件约束一致性、版本控制中的约束管理、团队协作约束规范。
管理协作
29
性能与资源权衡
约束冲突时的优先级决策、面积与速度的平衡、功耗与性能的权衡。
权衡性能
30
实战案例
图像处理流水线约束冲突排查、AI加速器约束优化、通信协议实现约束调试。
实战案例