[sv-ac] event triggered in concurent assertion

LRM specifies that using event in concurent assertion is forbidden - but how
about using triggered property? LRM do not precise that.
 
module top;
    bit precond;
    event e;
    assert property (@(posedge clk) precond |-> e.triggered);
endmodule
 
 
 
DANiel

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.