RE: [sv-ec] why classes are skipped in name space definition in SV LRM

From: Steven Sharp <sharp_at_.....>
Date: Wed Aug 22 2007 - 10:59:36 PDT
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