LRM says that for non-existing associative array entry event default
value is NULL (Table 7-1---Value read from a nonexistent associative
array entry)
On the other hand default event value for uninitialized event is new
event. (Table 6-7---Default values)
As a result below code should not print ok
module top;
event y[int];
initial #3 ->y[5] ;
always #1 @(y[5]) $display("OK");
endmodule
Maybe entries in both tables should be the same to have consistent
behaviour in both cases.
I've thought that this was already posted on SV-EC but I could not find
a mail nor mantis entry.
DANiel
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Apr 20 01:09:44 2011
This archive was generated by hypermail 2.1.8 : Wed Apr 20 2011 - 01:10:00 PDT