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

Agreed.

Nor is there any actual need for a forward nettype declaration.  Forward typedefs are only actually needed for declaring mutually recursive data types, such as two classes that each contain a handle of the other class type.  Since there is no way to declare a handle or pointer that refers to a net, there is no way to create such a recursive type that includes a nettype.

I brought up in committee the possibility of nettype parameters.  However, attention was focused on getting the basics of nettypes defined first.


From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Bresticker, Shalom
Sent: Thursday, October 30, 2014 3:30 AM
To: Datta, Kausik; sv-bc@eda.org
Subject: [sv-bc] RE: SV 2012: Is forward typedef of nettype supported in SV

No.
Both typedefs and type parameters use the data_type BNF, which does not include nettypes.

Shalom

From: owner-sv-bc@eda.org<mailto:owner-sv-bc@eda.org> [mailto:owner-sv-bc@eda.org] On Behalf Of Datta, Kausik
Sent: Thursday, October 30, 2014 09:22
To: sv-bc@eda.org<mailto:sv-bc@eda.org>
Subject: [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<http://www.mailscanner.info/>, and is
believed to be clean.

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.

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