[sv-ec] virtual methods issues - disable on virtual, virtual method with static life time

Below code presents two issues of virtual methods - LRM does not define how
it they should work . Description in comments
 
class B;
     virtual task static   t(input i, output o);
        int y;
        o = i;
    endtask
endclass
 
class A extends B;
     virtual  task static  t(input i, output o);
        int y;
        o = 2*i;
    endtask
endclass
 
module top;
        B b;A a=new;
        initial  begin
            b=a;
            disable b.t; //which method would be disabled, does disable take
polimorphism into account?
            b.t.i=10; //which method port would be assigned - does such
assignment take polimorphism into account? ()
            b.t.y=10; //which method port would be assigned - does such
assignment take polimorphism into account? ()
        end
endmodule
 
 
DANiel



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