Können Ereignisse als Referenz in Systemverilog übergeben werden?

Question

Wenn ich eine Aufgabe aufrufen und ein Ereignis durch Verweis übergeben, wird es nicht in der Aufgabe erkannt werden, nachdem das Ereignis ausgelöst wurde:

mit diesem Prüfstand

event e; 

    fork 
    test_ev(e); 
    begin 
     #1ms; 
     ->e; 
    end 
    join 

    ... 

    task ev(ref event e); 
     @(e) 
     do_something; // this will never happen 
    endtask 

Herumspielen: http://www.edaplayground.com/x/5YS7, es, dass einige scheinen würde Simulatoren wie die Ref-Ereignis und einige nicht. Es wird keine Kompilierungswarnung ausgegeben, aber die Anweisung @ (..) wird niemals übergeben.

Es scheint ein gültiger Systemverilog zu verwenden, gibt es einen Vorbehalt, den ich vermisse?

Answer 1

Es ist nicht notwendig, eine Ereignisvariable als Referenz zu übergeben - es ist bereits eine Referenz.

Das Problem hier ist, dass SystemVerilog zwei Konstrukte in ein einzelnes Schlüsselwort kludged. In Verilog war eine event einfach eine wertlose Variable, die Sie mit einem Trigger -> ändern und darauf warten konnten, dass sie sich wie jede andere Variable änderte.

SystemVerilog erweiterte den event-Datentyp so, dass er sich mehr wie eine Klassenvariable verhält. Außer dass ein event keinen Konstruktor benötigt, erstellt jede Ereignisdeklaration automatisch ein Ereignisobjekt. Dadurch werden Ereignisse rückwärts mit Verilog kompatibel gehalten. Wenn Sie eine Zuweisung von einer Ereignisvariablen zu einer anderen Ereignisvariablen vornehmen, kopieren Sie ein Handle in ein Ereignisobjekt. Dies entspricht dem Kopieren einer Klassenvariablen - Sie kopieren nur das Handle, nicht das Objekt.

Um den Code zu ändern, ersetzen Sie ref durch input.

Answer 2

Übergeben Sie das Ereignis als task ev(event e) übergeben Sie es auch als Verweis, wie es mit Klassenobjekten passiert. Es macht keinen Sinn, Ereignisse nach Wert zu übergeben (d. H. Es zu kopieren und der Funktion ein neues Ereignis zu geben), da Ereignisse Daten nicht wirklich speichern. Ich bin mir nicht sicher, ob dies explizit in der LRM aufgeführt ist, aber IMO ist es nur gesunder Menschenverstand.

Werkzeuge, bei denen Ihr Block nicht ausgelöst wird, behandeln Ereignisse als Grundelemente und übergeben sie als Wert. Ich würde Unterstützungsfälle dafür einreichen.