RE: [sv-bc] nested modules under generate construct

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Thu Feb 21 2008 - 03:25:48 PST
Unfortunately, it is late to change that now, due to back-compatibility
reasons.
The reason I heard when I asked that question is that some people are
allergic to the localparam keyword and want to see the keyword
parameter.
 
Shalom


________________________________

	From: danielm [mailto:danielm@aldec.com.pl] 
	Sent: Thursday, February 21, 2008 12:54 PM
	To: Bresticker, Shalom; 'Arturo Salz'; sv-bc@server.eda.org
	Subject: RE: [sv-bc] nested modules under generate construct
	
	
	Maybe better approach is to forbid both classes and modules
under generate - this feature is worthless. Classes and modules may use
type parameters to became a template.
	What are the benefits of allowing such constructs under
generate?
	 
	DANiel 
	 
	PS: 
	Why dont allow only localparams in packages, generate blocks and
compilation scopes, and print errors for parameters?
	 

________________________________

	From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Bresticker, Shalom
	Sent: Thursday, February 21, 2008 10:50 AM
	To: Arturo Salz; sv-bc@server.eda.org
	Subject: RE: [sv-bc] nested modules under generate construct
	
	
	Aha, the old "describe parameters in the local parameter
subclause" trick!
	 
	(The idea of parameters that aren't, is a crime against humanity
of inconsistent and poor language design started by 1364-2001 and made
much worse in SV!)
	 
	Unfortunately, even after Mantis 1851, the LRM still does not
say there that parameters in generate blocks and compilation scopes are
local parameters. Even in 6.20.4, the wording should have been "shall be
synonyms". I'll file a Mantis issue on that.
	 
	Going back to my original points:
	 
	I think  26.2 should be revised to include
module/program/interface declarations and timeunits declarations in the
list of constructs that may not appear in generate blocks.
	 
	Regarding parameter declarations, that should be removed from
the list, since they can appear even if their meaning is like
localparams. Similarly, Clause 25 mentions parameter declarations in
packages. Remember that the forbidden construct list came from 1364,
where they indeed could not appear.
	 
	Shalom


________________________________

		From: Arturo Salz [mailto:Arturo.Salz@synopsys.com] 
		Sent: Thursday, February 21, 2008 6:06 AM
		To: Bresticker, Shalom; Brad Pierce; sv-bc@eda.org
		Subject: RE: [sv-bc] nested modules under generate
construct
		
		

		In the last sentence of section 6.20.4:

		 

		Unlike nonlocal parameters, local parameters can be
declared in a generate block, in a package, or in a

		compilation-unit scope. In these contexts, the parameter
keyword can be used as a synonym for the

		localparam keyword.

		 

		            Arturo

		 

		
________________________________


		From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org]
On Behalf Of Bresticker, Shalom
		Sent: Wednesday, February 20, 2008 7:42 PM
		To: Brad Pierce; sv-bc@eda.org
		Subject: RE: [sv-bc] nested modules under generate
construct

		 

		Where does the LRM say that?

		 

		Shalom

			 

			Recall that within generate the 'parameter'
keyword is a synonym for the 'localparam' keyword.

	
---------------------------------------------------------------------
		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. 

	
---------------------------------------------------------------------
	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. 

---------------------------------------------------------------------
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, and is
believed to be clean.
Received on Thu Feb 21 03:44:56 2008

This archive was generated by hypermail 2.1.8 : Thu Feb 21 2008 - 03:45:51 PST