[sv-bc] SV 2012: Is forward typedef of nettype supported in SV

Hi,
I have the following queries:


1.      Can NetType be used as forward typedef?

2.      Can NetType be passed in type parameter?

Forward typedef and parameterized type are useful way to declare generic type in SV which can be resolved later. Does this mechanism hold true for NetType also?
Exmaple 1:
...
typedef T;
T obj;
...
nettype logic T;
...

Example 2:
module bot #(type T1, type T2)
                      (input T1 in, output T2 out);
//...
endmodule

module top();
    typedef logic T2;
    nettype logic T1;

    T1 p;
    T2 q;

    bot #(T1, T2) b1 (p, q);
endmodule

Thanks
Kausik



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