void multiply_by_2_buffer(int in[8], int out[8]) { for (int i = 0; i < 8; i++) { #pragma HLS PIPELINE out[i] = in[i] * 2; } }