RE: [sv-bc] Parameter assignment questions (revised per footnote 41)

In param_assignment, the left square bracket should enclose the equals sign as well.
In type_assignment, the first "= data_type" should be deleted.
So you are correct.
The file describing the changes for Mantis 907 is in http://www.eda.org/mantis/file_download.php?file_id=2583&type=bug.
 
Good catches.
 
Shalom


________________________________

	From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org] On Behalf Of Greg Jaxon
	Sent: Tuesday, May 06, 2008 6:53 PM
	To: SV_BC List
	Subject: [sv-bc] Parameter assignment questions (revised per footnote 41)
	
	
	§6.20.1, ¶9 & ¶11 may  have picked up some typos when the "default-less parameters" feature was added.
	Can anyone confirm the exact intention here?
	
	param_assignment ::=
	       parameter_identifier { unpacked_dimension } = [ constant_param_expression ]41
	
	type_assignment ::=
	       type_identifier = data_type [ = data_type ]41
	
	

	41.	In a param_assignment it shall be illegal to omit the constant_param_expression except within a parameter_declaration in a parameter_port_list.  In a type_assignment it shall be illegal to omit the data_type except within a parameter_declaration in a parameter_port_list. 

	I'm guessing that data_type cannot appear twice in a type_assignment, and that the = in a param_assignment comes and goes with the optional constant_param_expression.
	
________________________________


	This BNF also raises another question that may need a semantic note:
	Does the unpacked_dimension after a parameter_identifier  impart some implicit data type to that parameter?
	Specifically in the following, can values of any type and shape override Moneypenny and Bond?
	
	module Ian #( Moneypenny, Bond[0:7] ) ( inout integer frequency );
	
	If Bond is "shapen, not typed", what forms and types of expression can legally supply its value? 
	
	Greg Jaxon
	
	
	-- 
	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.