Canonical Forms of Dataflow Optimization - 2021.2 English

1. Use only the following types of variables inside the dataflow region:
   1. Local non-static scalar/array/pointer variables.
   2. Local static hls::stream variables.
2. Function calls transfer data only in the forward direction.
3. Array or hls::stream should have only one producer function and one consumer function.
4. The function arguments (variables coming from outside the dataflow region) should only be read, or written, not both. If performing both read and write on the same function argument then read should happen before write.
5. The local variables (those that are transferring data in forward direction) should be written before being read.

The following code example illustrates the canonical form for dataflow within a function. Note that the first function (func1) reads the inputs and the last function (func3) writes the outputs. Also note that one function creates output values that are passed to the next function as input parameters.

void dataflow(Input0, Input1, Output0, Output1) {
  UserDataType C0, C1, C2;
  #pragma HLS DATAFLOW
  func1(read Input0, read Input1, write C0, write C1);
  func2(read C0, read C1, write C2);
  func3(read C2, write Output0, write Output1);
}

1. Initial value 0.
2. The loop condition is formed by a comparison of the loop variable with a numerical constant or variable that does not vary inside the loop body.
3. Increment by 1.

The following code example illustrates the canonical form for dataflow within a loop.

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