c++ - SystemC HLS综合错误

Question

@E [SYNCHK-77] 顶级函数“method_coupling”(src/method_coupling.cpp:82)没有输出。可能的原因有: (1) 输出参数是按值传递的； (2) 从未写入预期的输出(参数或全局变量)； (3) 存在死循环。

当我尝试使用 vivado HLS 合成 SystemC block 时收到上述错误。不幸的是，我找不到关于此错误的任何文档，我希望有人能描述发生了什么。

我的模块如下:

#include "systemc.h"

#define NUM_REGIONS 10

SC_MODULE(method_coupling){
sc_in<bool> en;
sc_in<bool> clock;
sc_in<bool> reset;
sc_in<double> a;
sc_in<double> in_0;
sc_in<double> in_1;
sc_out<double> out[NUM_REGIONS];
sc_out<bool> done;
sc_in<bool> valid_data0;
sc_in<bool> valid_data1;

double input_0[NUM_REGIONS][NUM_REGIONS];
double input_1[NUM_REGIONS][NUM_REGIONS];

sc_fifo<double> fifo_input_0;
sc_fifo<double> fifo_input_1;
float sum;

int flag;

void init_0(){
    while(true){
        wait();
        if(valid_data0.read() == 1) fifo_input_0.write(in_0.read());

    }
}

void init_1(){
    while(true){
        wait();
        if(valid_data1.read() == 1) fifo_input_1.write(in_1.read());

    }
}

void do_coupling() {
    int i;
    for(i=0;i<NUM_REGIONS;i++){
        out[i].write(0);
    }
    flag = 0;
    while(flag == 0){
        wait();
        if(reset.read() == 1){
            int i;
            for(i = 0 ; i < NUM_REGIONS; i++){
                out[i].write(0);
            }
            done.write(0);
        }
        else if(en.read() == 1){
            int i,j;
            done.write(0);
            for(i=0; i<NUM_REGIONS;i++){
                for(j=0; j<NUM_REGIONS;j++){
                    if(!(input_0[i][j] = fifo_input_0.read())) cout << "fifo0 is empty" << endl;
                    if(!(input_1[i][j] = fifo_input_1.read())) cout << "fifo1 is empty" << endl;
                }
            }

            for(i = 0 ; i < NUM_REGIONS; i++){
                sum = 0;
                for(j = 0; j < NUM_REGIONS; j++){
                    sum += input_0[i][j]*input_1[i][j];
                    wait();
                }
                out[i].write(a.read()*sum);
                wait();
            }
            done.write(1);
            flag = 1;
            break;
        }
    }
}

SC_CTOR(method_coupling): fifo_input_0 ("fifo_input_0", NUM_REGIONS*NUM_REGIONS), fifo_input_1 ("fifo_input_1", NUM_REGIONS*NUM_REGIONS) {
    SC_THREAD(do_coupling){
        //for(int i= 0; i<NUM_REGIONS; i++){
        //  sensitive << out[i];
        //}
        sensitive << en << reset << done << clock.pos();
    }
    SC_THREAD(init_0){
        sensitive << valid_data0 << clock.pos();
    }
    SC_THREAD(init_1){
        sensitive << valid_data1 << clock.pos();
    }
}

};

我正在将数据读入 fifo(特别是两个 10x10 double 阵列)，然后使用启用信号开始矩阵乘法运算。当 10x10 数组相乘后，我在最后发出完成信号。

我完全明白错误是如何暗示我有无限循环的，因此我现在使用 while(flag == 0) 而不是 while true 循环。

Answer 1

我认为您必须先检查您的代码。我不是 SystemC 专家，但我认为有很多东西是不可综合的。例如，您不能在 HLS 中使用 SC_THREAD 进行综合。如果您希望综合您的代码，您应该以“硬件”方式对其进行编码。