Your examples need "endmodule" changed to "endclass" in a couple of cases. The namespace descriptions are not very rigorous. From an implementation viewpoint, if we need to be able to distinguish whether a name is a module/program/interface versus a type name, based on the syntactic context, I don't think there is any difference whether these are inside a module or not. >X-Authentication-Warning: server.eda-stds.org: majordom set sender to owner-sv-ec@eda.org using -f >From: "danielm" <danielm@aldec.com.pl> >To: "'Bresticker, Shalom'" <shalom.bresticker@intel.com>, <sv-ec@eda.org> >Subject: RE: [sv-ec] why classes are skipped in name space definition in SV LRM >Date: Wed, 22 Aug 2007 13:29:26 +0200 >MIME-Version: 1.0 >X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 >Thread-Index: Acfkm7VasHa8+rimQ9q5Tf3n+k29CwABWKAAAAM7a6A= >X-OriginalArrivalTime: 22 Aug 2007 11:29:26.0545 (UTC) FILETIME=[B2519810:01C7E4AF] >X-eda.org-MailScanner: Found to be clean, Found to be clean >X-Spam-Status: No, No >X-eda.org-MailScanner-Information: Please contact the ISP for more information >X-eda.org-MailScanner-From: owner-sv-ec@server.eda.org >X-pstn-levels: (S:36.48302/99.90000 R:95.9108 P:95.9108 M:97.0282 C:98.6951 ) >X-pstn-settings: 3 (1.0000:1.0000) s gt3 gt2 gt1 r p m c >X-pstn-addresses: from <danielm@aldec.com.pl> [145/6] >X-Received: By mx-sanjose2.Cadence.COM as l7MBRctH029839 at Wed Aug 22 04:27:38 2007 > >Thanks for yours reply, > >So both codes I've proposed in my 1st email should compile - because module >name is in definition name space, and user-defined name is in compilation >unit scope? > >But what seems inconsistent for me is that module name space is common for >nested module and nested user-defined types (oposite to compilation unit >space and definition space). > >Regarding to 19.3 e below code is illegal: > module top; > module a; > endmodule > class a; > endmodule > endmodule > >while below is legal > module a; > endmodule > class a; > endmodule > >am I correct? > >DANiel > > _____ > >From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] >Sent: Wednesday, August 22, 2007 11:49 AM >To: danielm; sv-ec@server.eda.org >Subject: RE: [sv-ec] why classes are skipped in name space definition in SV >LRM > > >Type names defined with typedef are included in what is called in 19.13 (of >1800-2005) "user-defined types". > >Classes are also considered to be a user-defined type. > >I personally think this should be more explicit. > >See more on this in Mantis 1847: http://www.eda.org/mantis/view.php?id=1847 > >Shalom > > > _____ > >From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On >Behalf Of danielm >Sent: Wednesday, August 22, 2007 12:06 PM >To: sv-ec@server.eda.org >Subject: [sv-ec] why classes are skipped in name space definition in SV LRM > > >LRM chapter 19.13. Name spaces - says nothing about classes (and type names >defined with typedef). It was forgotten to add rules for classes here or >classes are skiiped on purpose. > >I'm not sure if class name is in the same space like module name? > > >Is below code it legal or not? > class a; > int b; > endclass > > typedef a A; > > module a (); > A v; > endmodule > >Same question about typedef: >typedef int a; >module a; >endmodule > > >DANiel > > >-- >This message has been scanned for viruses and >dangerous content by <http://www.mailscanner.info/> MailScanner, and is >believed to be clean. > > >-- >This message has been scanned for viruses and >dangerous content by MailScanner, and is >believed to be clean. > Steven Sharp sharp@cadence.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed, 22 Aug 2007 13:59:36 -0400 (EDT)
This archive was generated by hypermail 2.1.8 : Wed Aug 22 2007 - 11:01:55 PDT