规范形式 - 2023.2 简体中文

Vitis HLS 通过转换区域来应用 DATAFLOW 最优化。为了提升生成的数据流网络的可预测性，AMD 建议在此区域内部（称为“规范区域”）使用规范格式来编写代码。数据流最优化有 2 种主要的规范形式：

1. 适用于未内联的子函数的函数规范形式。这些子函数本身即可作为函数区域内的数据流或循环区域内的数据流。请注意，在规范形式内不包含变量初始化（包括构造函数自动执行的变量初始化）或者将表达式按值传递到进程。Vitis HLS 会尽可能实现生成的数据流，但如果代码未遵循规范格式，那么您应始终检查 GUI 的数据流查看器和协同仿真时间线轨迹，以确保数据流和达成的性能都与期望相符。

   void dataflow(Input0, Input1, Output0, Output1)
   {
    #pragma HLS dataflow
    UserDataType C0, C1, C2;       // UserDataType can be scalars or arrays
    func1(Input0, Input1, C0, C1); // read Input0, read Input1, write C0, write C1 
    func2(C0, C1, C2);             // read C0, read C1, write C2
    func3(C2, Output0, Output1);   // read C2, write Output0, write Output1
   }

2. 循环主体内的数据流仅包含一个函数，此函数中除循环外不含任何其他代码。对于 for 循环（内部函数未内联），整型循环变量应包含：
   1. 循环头文件中声明的初始值（设置为 0）。
   2. 循环边界为包含该循环的函数的非负数常量或标量实参。
   3. 按 1 递增。
   4. 数据流编译指示需位于循环内，如下所示。

   void dataflow(Input0, Input1, Output0, Output1)
   {
       for (int i = 0; i < N; i++)
       {
       #pragma HLS dataflow
           UserDataType C0, C1, C2;       // UserDataType can be scalars or arrays
           func1(Input0, Input1, C0, C1); // read Input0, read Input1, write C0, write C1
           func2(C0, C0, read C1, C2);    // read C0, read C0, read C1, write C2   
           func3(C2, Output0, Output1);   // read C2, write Output0, write Output1
       }
   }