RE: [sv-ec] randmization_call clearence

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Thu Aug 28 2008 - 03:19:01 PDT
This was addressed in Mantis 2279.
It should go into Draft 7.
 
Thanks,
Shalom


________________________________

	From: owner-sv-ec@server.eda.org
[mailto:owner-sv-ec@server.eda.org] On Behalf Of Daniel Mlynek
	Sent: Thursday, August 28, 2008 1:15 PM
	To: sv-ec@server.eda-stds.org
	Subject: [sv-ec] randmization_call clearence
	
	
	LRM in chapter 17 gives to definitions:

	    scope_randomize ::= [ std:: ] randomize ( [
variable_identifier_list ] ) [ with constraint_block ]

	    inline_constraint _declaration ::= class_variable_identifier
. randomize [ ( [ variable_identifier_list | null ] ) ]     with [ ( [
identifier_list ] ) ] constraint_block

	Those definition are not then used in annex A bnf there in only
randomize_call:

	    randomize { attribute_instance } [ ( [
variable_identifier_list | null ] ) ] [ with constraint_block ]

	IMHO in all of above there is a bit of incosistency. ANNEX a
covers both definiition from chapter 17 bu definition differs in t:
	- { attribute_instance }
	- obligatory of  parantheses: ( [ variable_identifier_list ] )
vs [( [ variable_identifier_list ] ) ]
	- null in arg list
	- with clause  with [ ( [ identifier_list ] ) ] constraint_block
	 
	Some of the difference was made surely on purpose - but really
all are ok?
	1. should attribute be allowed in all 3 definitions?
	2. should parantheses be not obligatory in all 3 definitions?
	3. should null be allowed in all 3 definitions?
	4. with [ ( [ identifier_list ] ) ] constraint_block be added
into annex A? with some footnote?
	 
	Mantis is down again so I cannot check if this was already
addressed
	 
	 
	DANiel

	-- 
	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 Aug 28 03:20:51 2008

This archive was generated by hypermail 2.1.8 : Thu Aug 28 2008 - 03:21:02 PDT