SystemC HLS合成错误

SystemC HLS Synthesis Error

本文关键字:错误 HLS SystemC      更新时间:2023-10-16

@E [SYNCHK-77]顶部函数'method_coupling' (src/method_coupling.cpp:82)没有输出。可能原因有:(1)输出参数按值传递;(2)从未编写预期输出(参数或全局变量);(3)存在无限循环

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

我的模块如下:

#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双数组),然后我使用启用信号开始矩阵乘法操作。当10x10数组相乘后,我在末尾触发一个done信号。

我可以完全看到错误如何表明我有无限while循环,因此我现在使用while(flag == 0)而不是while true循环。

我认为你必须先检查一下你的代码。我不是SystemC专家,但我认为有很多东西是无法综合的。例如,你不能在HLS中使用SC_THREAD进行合成。如果您希望合成您的代码,您应该以"硬件"的方式进行编码。