[sv-champions] RE: [sv-ac] RE: Mantis 1900 comments - Part 2

OK.
 
Now, 1900 uses the term "regular variable" a lot. What does that mean? A
non-checker variable? If so, then I don't understand the sentence in
16.8.6, "As regular variables, checker variables can be packed or
unpacked aggregates of other types (see 6.5)."
 
Thanks,
Shalom
 

________________________________

	From: Korchemny, Dmitry 
	Sent: Thursday, February 07, 2008 10:23 AM
	To: Bresticker, Shalom; 'sv-ac@server.eda.org'
	Cc: 'sv-champions@server.eda.org'
	Subject: RE: [sv-ac] RE: Mantis 1900 comments - Part 2
	
	

	Hi Shalom.

	 

	I rewrote the sentence as:

	 

	"If a formal argument depends on a checker variable, its
corresponding actual argument shall be a checker variable or a formal
argument in another checker. If a formal argument is assigned a value in
an action block, its corresponding actual argument shall be a regular
variable."

	 

	Thanks,

	Dmitry

	
________________________________


	From: Bresticker, Shalom 
	Sent: Tuesday, January 29, 2008 2:05 PM
	To: Korchemny, Dmitry; 'sv-ac@server.eda.org'
	Cc: 'sv-champions@server.eda.org'
	Subject: RE: [sv-ac] RE: Mantis 1900 comments - Part 2

	 

	Hi,

		 

		[Korchemny, Dmitry] Fixed. What is the reason that
initial has statement_or_null, and not just statement?

		[SB]  Good question. It was changed in SV 3.1. I'll ask
why.

		 

		- "Each formal argument used in this way may be assigned
a value either in a checker body or in checker action blocks. If a
formal argument is written in the checker body, its corresponding actual
argument shall be a checker variable or a formal argument in another
checker."

		The 2nd sentence quoted specifies "written in the
checker body". Is the intent that the following restriction does not
apply to formal arguments assigned in action blocks?

		[Korchemny, Dmitry] Yes, the intent is that the
restriction does not apply to formal arguments assigned in action
blocks.

		[SB] This should be more explicit. In context, it is not
clear. 

		Thanks, Shalom

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