Question

@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阵列成倍增加时，我会在最后提出一个完成信号。

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

Answer 1

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

SystemC HLS综合错误

1 个答案: