SC_THREAD 不会被其敏感列表触发

我正在 SystemC 中开发一个简单的 NAND 模块。根据规范，它应该有 4 ns 的延迟，所以我尝试用带有“wait”语句的过程来描述它，并且SC_THREAD， 如下：

//file: nand.h
#include "systemc.h"

SC_MODULE(nand2){
    sc_in<bool> A, B; 
    sc_out<bool> F; 

    void do_nand2(){
        bool a, b, f;
        a = A.read();
        b = B.read();
        f = !(a && b);
        wait(4, SC_NS);
        F.write(f);
    }

    SC_CTOR(nand2){
        SC_THREAD(do_nand2);
        sensitive << A << B;
    }
};

为了进行模拟，我创建了另一个模块来输出 NAND 的激励，如下所示：

//file: stim.h
#include "systemc.h"

SC_MODULE(stim){
    sc_out<bool> A, B;
    sc_in<bool> Clk;

    void stimGen(){
        wait();
        A.write(false);
        B.write(false);
        wait();
        A.write(false);
        B.write(true);
        wait();
        A.write(true);
        B.write(true);
        wait();
        A.write(true);
        B.write(false);
    }

    SC_CTOR(stim){
        SC_THREAD(stimGen);
        sensitive << Clk.pos();
    }
};

描述了这两个模块后，顶部模块（其中sc_main是）看起来像这样：

//file: top.cpp    
#include "systemc.h"
#include "nand.h"
#include "stim.h"

int sc_main(int argc, char* argv[]){
    sc_signal<bool> ASig, BSig, FSig;
    sc_clock Clk("Clock", 100, SC_NS, 0.5);

    stim Stim("Stimulus");
    Stim.A(ASig); Stim.B(BSig); Stim.Clk(Clk);

    nand2 nand2("nand2");
    nand2.A(ASig); nand2.B(BSig); nand2.F(FSig);

    sc_trace_file *wf = sc_create_vcd_trace_file("sim");
    sc_trace(wf, Stim.Clk, "Clock");
    sc_trace(wf, nand2.A, "A");
    sc_trace(wf, nand2.B, "B");
    sc_trace(wf, nand2.F, "F");

    sc_start(400, SC_NS);

    sc_close_vcd_trace_file(wf);

    return 0;
}

代码的编译和模拟没有错误，但是在可视化时.vcd在 gtkwave 中的文件中，输出 (F) 卡在 1，仅显示模拟开始时的延迟。

为了测试代码中是否有任何错误，我删除了“wait”语句并进行了更改SC_THREAD to SC_METHOD in the nand.h文件并再次模拟，现在得到了正确的结果，但当然没有延迟。

我究竟做错了什么？

最好使用SC_METHOD对于过程do_nand2，它对输入敏感。线程内部通常有一个无限循环，并且它会在整个模拟过程中运行。一个方法在被触发时从头到尾只运行一次。您主要使用线程来刺激或并发进程，并且线程可能对任何事件敏感，也可能不敏感。