Intel®高层次综合编译器专业版: 最佳实践指南

下载 PDF
ID 683152
日期 12/04/2023
Public
文档目录
文档目录 x
1. Intel® HLS Compiler Pro版最佳实践指南 2. 编码和编译组件的最佳实践 3. FPGA概念 4. 接口最佳实现 5. 循环的最佳实践 6. fMAX瓶颈最佳实践 7. 存储器架构最佳实践 8. 任务系统最佳实践 9. 数据类型最佳实践 10. 高级故障排查 A. Intel® HLS Compiler Pro版最佳实践指南存档 B. Intel® HLS Compiler Pro版最佳实践指南文档修订历史
1. Intel® HLS Compiler Pro版最佳实践指南 x
1.1. Intel® HLS Compiler待弃用
3. FPGA概念 x
3.1. FPGA架构概述 3.2. FPGA硬件设计概念 3.3. 硬件设计方法
3.1. FPGA架构概述 x
3.1.1. 自适应逻辑模块(ALM) 3.1.2. 数字信号处理(DSP)模块 3.1.3. 随机存取存储器 (RAM) 块
3.1.1. 自适应逻辑模块(ALM) x
3.1.1.1. 查找表（LUT） 3.1.1.2. 寄存器
3.2. FPGA硬件设计概念 x
3.2.1. 最大频率(fMAX) 3.2.2. 延时 3.2.3. 流水线 3.2.4. 吞吐量 3.2.5. 数据通路 3.2.6. 控制通路 3.2.7. 占用
3.3. 硬件设计方法 x
3.3.1. 源代码如何成为自定义硬件数据通路 3.3.2. 调度(Scheduling) 3.3.3. 将并行模型映射到FPGA硬件 3.3.4. Memory Types（存储器类型）
3.3.1. 源代码如何成为自定义硬件数据通路 x
3.3.1.1. 将源代码指令映射到硬件 3.3.1.2. 映射数组及其对硬件的访问
3.3.2. 调度(Scheduling) x
3.3.2.1. 动态调度 3.3.2.2. 数据通路集群 3.3.2.3. 集群之间握手
3.3.3. 将并行模型映射到FPGA硬件 x
3.3.3.1. 数据并行性 3.3.3.2. 任务并行性
3.3.3.1. 数据并行性 x
3.3.3.1.1. 同时执行独立操作 展开循环 条件语句 3.3.3.1.2. 流水线
3.3.3.1.2. 流水线 x
3.3.3.1.2.1. 组件内的流水线循环 3.3.3.1.2.2. 流水线跨组件调用
3.3.4. Memory Types（存储器类型） x
3.3.4.1. 组件存储器 3.3.4.2. 外部存储器
4. 接口最佳实现 x
4.1. 为组件选择适合的接口 4.2. 可变延时MM主接口的LSU控制 4.3. 避免指针混淆
4.1. 为组件选择适合的接口 x
4.1.1. 指针接口 4.1.2. Avalon® 存储器映射主接口（Host Interface） 4.1.3. Avalon® 存储器映射从存储器（Agent Memories ） 4.1.4. Avalon® 存储器映射从存储器（Agent Register ） 4.1.5. Avalon® Streaming（流）接口 4.1.6. Pass-by-Value接口
5. 循环的最佳实践 x
5.1. 在循环中调用硬件以重复使用 5.2. 并行化循环 5.3. 构建Well-Formed（结构良好）的循环 5.4. 最小化循环携带的依赖性 5.5. 避免复杂循环退出条件 5.6. 将嵌套循环转换为单个循环 5.7. 将if-Statements放置在循环嵌套中尽可能最低的范围 5.8. 在尽可能深的范围内声明变量 5.9. 提升Loop II以提高fMAX 5.10. 控制循环交叉存取
5.2. 并行化循环 x
5.2.1. 流水线循环 5.2.2. 展开循环（Unroll Loop） 5.2.3. 实例：循环流水线和展开
6. fMAX瓶颈最佳实践 x
6.1. 平衡目标fMAX和目标II
7. 存储器架构最佳实践 x
7.1. 实例：覆盖组合式存储器架构 7.2. 实例：覆盖Banked存储器架构 7.3. 合并存储器减少面积 7.4. 实例：指定局部存储器地址的Bank选择位
7.3. 合并存储器减少面积 x
7.3.1. 实例：从深度方向合并存储器 7.3.2. 实例：从宽度方向合并存储器
8. 任务系统最佳实践 x
8.1. 并行执行多个循环 8.2. 共享昂贵计算块 8.3. 实现层次设计 8.4. 平衡任务系统中的容量
8.4. 平衡任务系统中的容量 x
8.4.1. 启用 Intel® HLS Compiler来推断数据通路缓冲区容量要求 8.4.2. 必要时对设计明确添加缓冲容量
9. 数据类型最佳实践 x
9.1. 避免隐式数据类型转换 9.2. 使用ac_int数据类型时避免负位移
10. 高级故障排查 x
10.1. 仅在仿真中出现的组件失败 10.2. 组件的结果质量较差
1. Intel® HLS Compiler Pro版最佳实践指南
2. 编码和编译组件的最佳实践
3. FPGA概念
4. 接口最佳实现
5. 循环的最佳实践
6. fMAX瓶颈最佳实践
7. 存储器架构最佳实践
8. 任务系统最佳实践
9. 数据类型最佳实践
10. 高级故障排查
A. Intel® HLS Compiler Pro版最佳实践指南存档
B. Intel® HLS Compiler Pro版最佳实践指南文档修订历史

3.3.3.1.1. 同时执行独立操作

如将源代码指令映射到硬件中所述，编译器可以自动识别独立操作并在硬件中同时执行这些操作。

这种同时执行独立操作与流水线相结合，就是在FPGA上实现数据并行的方式。

下图展示了加法器和乘法器的实例，当它们在单独的输入上进行操作时被调度成同时执行：

图 11. 生成的硬件数据通路中的自动向量化


该向量化类似于超标量处理器（superscalar processor）如何利用指令级并行，但这种向量化在编译时静态发生，而非在运行时（runtime）动态发生。

由于确定的指令级并行发生在编译时，因此对生成的硬件数据通路进行依赖项检查不会产生硬件或运行时成本。此外，FPGA灵活的逻辑和路由意味着只有FPGA的可用资源（如，ALM和DSP）才能限制可同时发生的独立操作的数量。

展开循环

您可以使用循环属性展开设计中的循环。循环展开减少了执行的迭代次数，但代价是增加了同时执行循环的多个迭代相对应的硬件资源消耗。

展开后，硬件资源按调度中的描述进行调度。

Intel® HLS Compiler从来不会尝试自动展开源代码中的任何循环。您必须始终使用相应的预处理指令来控制循环展开。请参阅 Intel® High Level Synthesis Compiler参考收 中的 循环展开(unroll 预处理指令) 了解详情。

条件语句

Intel® HLS Compiler尝试尽可能消除条件或分支语句。

有条件执行的代码在硬件中具有predicated（可断定）性。可断定性增加了同时执行操作时获得更好性能的可能性。此外，删除分支允许编译器对设计应用其他优化。

图 12. 条件语句

该实例中，函数foo可无条件运行。不能无条件运行的代码（例如，存储器分配）保留一个条件。



相关信息
二级标题