1

我正在尝试在 SystemC 中模拟一个带有 CABA（循环精确/位精确）模型的模块，该模型添加了两个数字。它有以下信号：

模块addition_CABA

  • a: 输入加号。
  • b: 输入加号。
  • clk：时钟输入。
  • valida: 输入信号，当输入和b可用时变为 1 。
  • result: 包含a+的结果的输出信号b。
  • ready: 准备就绪时变为 1 的输出信号result。

为了测试这个模块的结果是否正确，我创建了一个testbench具有以下信号的模块：

模块testbench

  • result_tbaddition_CABA：从模块接收结果信号的输入信号。
  • ready_tb: 接收addition_CABA模块就绪信号的输入信号。
  • clk_tb：时钟输入信号。两个模块都是一样的。
  • rst_tb：复位输入信号。两个模块都是一样的。
  • a_tb: 将数字 a 发送到addition_CABA模块的输出信号。
  • b_tb: 将数字 b 发送到addition_CABA模块的输出信号。
  • valid_tbaddition_CABA：向模块发送有效信号的输出信号。

我正在做的测试如下：

  • 在该模块testbench中，会生成一对随机数来为a和赋值b。
  • 模块在一些时钟周期后计算结果。
  • 测试台直接进行加法运算，并将其与模块产生的结果进行比较。
  • 这些动作在一个重复五次的循环中。

我遇到的问题是，当我运行模拟时testbench给出了正确的结果，并addition_CABA显示了结果，但在一些时钟周期之后，所以比较是在两个不同的数字之间。此外，当程序结束时，我有一条Segmentation fault (core dumped)消息。我想弄清楚的是如何指示testbench等待结果准备好（使用信号ready_tb），以便它可以与正确的数字进行比较。我while(!ready_tb.read()) wait();在开始测试之前尝试了一个条件，但是这样做时程序结束并且模拟永远不会开始。

在main.cpp文件中，我只是在模块之间进行连接，生成时钟并将rst信号设置为0. 下面是我的代码：

加法_CABA.h

#include <systemc.h>
//Module which adds two numbers
SC_MODULE(addition_CABA){
    sc_in< sc_uint<8> > a;
    sc_in< sc_uint<8> > b;
    sc_in<bool> clk;
    sc_in<bool> valid;
    sc_in<bool> rst;
    sc_out<bool> ready;
    sc_out< sc_uint<8> > result;

    int addcaba(int a, int b){
        int c;
        c = a+b;
        wait(3);
        return c;
    }

    void loop();

    SC_CTOR(addition_CABA){
        SC_CTHREAD(loop, clk.pos());
        async_reset_signal_is(rst, true);
    }

};

加法_CABA.cpp

void addition_CABA::loop(){

    ready.write(0);
    result.write(0);

    if(rst){
        ready.write(0);
        result.write(0);
    }   

    else{

        while(1){
            while (!valid.read()) wait();

            result.write(addcaba(a.read(),b.read()));
            ready.write(1);

            wait();
            ready.write(0);
        }

    }
}

测试台.h

#include <systemc.h>

SC_MODULE(testbench){

    sc_in< sc_uint<8> > result_tb;
    sc_in<bool> ready_tb;
    sc_in<bool> clk_tb;
    sc_in<bool> rst_tb;

    sc_out< sc_uint<8> > a_tb;
    sc_out< sc_uint<8> > b_tb;
    sc_out<bool> valid_tb;

    void test();

    SC_CTOR(testbench){
        SC_CTHREAD(test, clk_tb.pos());
        async_reset_signal_is(rst_tb, true);
    }   

};

测试台.cpp

void testbench::test(){

    uint8_t c = 0;
    int k = 0;

    if (rst_tb){
        c = 0;
        k = 0;
        cout << "\nReset on!\n" << endl;
    }

    else{
        //while(!ready_tb.read()) wait(); //when using this condition the simulation never starts
            while(k < 5){
                a_tb.write( (1 + rand() % (128-1)) );
                b_tb.write( (1 + rand() % (128-1)) );

                valid_tb.write(1);
                sc_start(10, SC_NS);

                valid_tb.write(0);
                sc_start(10, SC_NS);

                cout << "\nTest number " << k+1 << endl;
                cout << "\ta = " << a_tb.read() << " and b = " << b_tb.read() << endl;
                cout << "\tAddition of " << a_tb.read() << " and " << b_tb.read();
                cout << " = " << result_tb.read() << endl;

                c = a_tb.read() + b_tb.read();

                if ( result_tb.read() != c ){
                    cout << "Real result = " << a_tb.read() + b_tb.read();
                    cout << " and result with module = " << result_tb.read() << endl;  
                    cout << "Wrong result\n" << endl;
                    //  exit(1);
                }

                else cout << "Result OK\n" << endl;
                k++;
        }   
    }
}
4

1 回答 1

2

问题的根本原因如下：

  1. 函数中的仿真时间main.cpp太短（10 ns，我修改为500 ns）。
  2. 由于 testbench 模块中的测试函数是一个SC_CTHREAD，它必须在一个无限循环中。之前的实现是完全错误的，我认为这也是Segmentation fault (core dumped)消息的根本原因。

此外，重复测试五次的循环不是必需的，因为迭代次数与模拟时间有关（在main.cpp函数中设置）。以下是testbench.cpp更正的代码：

void testbench::test(){

    uint8_t c = 0;
    int k = 0;

    if (rst_tb){
        c = 0;
        k = 0;
        cout << "\nReset on!\n" << endl;
    }

    else{
        while(1){   
                a_tb.write( (1 + rand() % (128-1)) );
                b_tb.write( (1 + rand() % (128-1)) );

                valid_tb.write(1);
                wait();
                valid_tb.write(0);
                wait();

                while(!ready_tb.read()) wait();//This condition waits until ready_tb = true to continue the simulation

                cout << "\nTest number " << k+1 << endl;
                cout << "\ta = " << a_tb.read() << " and b = " << b_tb.read() << endl;
                cout << "\tAddition of " << a_tb.read() << " and " << b_tb.read();
                cout << " = " << result_tb.read() << endl;

                c = a_tb.read() + b_tb.read();

                if ( result_tb.read() != c ){
                    cout << "Real result = " << a_tb.read() + b_tb.read();
                    cout << " and result with module = " << result_tb.read() << endl;  
                    cout << "Wrong result\n" << endl;
                    exit(1);
                }

                else cout << "Result OK\n" << endl;

                k++;
        }   
    }
}
于 2016-06-10T23:46:03.910 回答