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