使用systemverilog的wait(event.triggered)遇到的疑惑

半机器蔡

最近无意中翻到了路桑写的书里面对于wait(event.triggered)的一条限制，有点颠覆了自己的认知，原话大致是”对于线程多次通知的需求，应使用@，而无法使用wait(event.triggered)。这是由于，当一个event被触发时，它的状态使event.triggered一直保持为true(1'b1)“。

为此自己还特意做了一个小实验，实验内容大致是这样，
        fork
            begin
                #100ns;
                ->sync;
                `uvm_info("thread1","----- sync event trigger -----",UVM_NONE);
            end
            begin
                for(int k=0;k<3;k++)begin
                    #90ns;
                    wait(sync.triggered);
                    `uvm_info("thread2","----- get event -----",UVM_NONE);
                end
            end
            begin
                for(int i=0;i<3;i++)begin
                    #10ns;
                    wait(1);
                    `uvm_info("thread3","----- get event -----",UVM_NONE);
                end
            end
        join

实验结果如下，打印完这几句以后，仿真就hang住了，看起来像是hang在wait(sync.tiggered)的地方。倘若按照路桑这哥们的说法，事件sync触发然后被wait(sync.triggered)捕捉到以后，sync.triggered的状态就一直为1了，那么就会像thread3一样，thread2接下来就会继续执行剩余的两次，但是事实并非如此。所以到底是我理解错了，还是这书上的东西写错了，有没有同仁指点一下？
        [thread3] ----- get event -----
        [thread3] ----- get event -----
        [thread3] ----- get event -----
        [thread1] ----- sync event trigger -----
        [thread2] ----- get event -----

半机器蔡

   

dullman 发表于 2020-11-21 01:44
我不知道书上是怎么写的，实际应该是：一个event被触发，event.triggered变成TRUE，并一直保持到这个timesl ...

嗯，这也是解决了race问题的本质

半机器蔡

   

saipolo 发表于 2020-11-21 11:38
我只讲一点，用forever begin wait(1== evt.triggered);  end仿真会卡死，而用forever begin @evt;  end就 ...

呵呵，这个就要取决于自己怎么看带官方手册和书籍了，我的看法是官方发布的手册可以看作是字典，有需要的时候就去查，但是既然是字典的东西，肯定就是全而杂。别人写的书可以看作是经验总结，既然是总结，肯定就难免存在笔误或者见解上的差异。一个优秀的工程师应该是遵循“去其糟粕取其精华”的原则，然后消化为自己适用的东西。路桑这本书我个人觉得确实写得不太好，大段大段贴源码，或者是翻译手册，真正属于自己的见解并不是很多。