[sv-ec] class dynamic member as $monitor argument

LRM does not say explicitly what can be used as argument to $monitor
task There are some controversial cases - ie dynamic arrays, dynamic
arrays items, class dynamic member
Consider the case:

    class C;
       int a;
       function void foo;
         $monitor ($time, a);
       endfunction

    endclass
    module top;
       C c=new;

    initial begin;
       c.foo();
       #1
       c.a++;
       #1
       c.a++;
       #1;
    end

    endmodule

is it legal. IMHO LRM should be explicit. Now LRM disallows for monitor
only local automatic variables - so one cas assume that all but
aoutomatic variables are ok

DANiel
Received on Tue Jul 10 01:25:51 2012