[sv-ec] event default value for not existing associative array entry

From: Daniel Mlynek <danielm@aldec.com.pl>
Date: Wed Apr 20 2011 - 01:09:34 PDT

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