RE: [sv-ac] New version of 1995 (concurrent asserts in loops) ready for review

I was referring to the rest of the proposal. Can you refer me to another
place in the LRM relating to this so that I can look at it?
 
Thanks,
Shalom


________________________________

	From: Seligman, Erik 
	Sent: Wednesday, November 28, 2007 6:38 PM
	To: Bresticker, Shalom; 'sv-ac@server.eda.org'
	Subject: RE: [sv-ac] New version of 1995 (concurrent asserts in
loops) ready for review
	
	
	
	
	       
	[SB] 7. I don't think the rewrite would be equivalent if the
original code would change foo or bar during the execution of the loops
or if something else could change them.
	       
	[ES]        Actually, I think it would be-- if I understand
right, as we have assertions in procedural 'if' statements defined now,
the assertion would just use the sampled values of foo and bar anyway.
So intermediate values during the procedural code would not actually
affect it. 
	[SB] I looked at this a little, I felt it may not be dealt with
adequately by the rest of the text. It needs more looking at.
	

	By 'rest of the text', do you mean the texxt of this proposal,
or the current LRM text about conditional inferences for concurrent
assertions?  (I do think the LRM could use a few more examples to
illustrate sampled value issues with those conditional rewrites, but
that is somewhat beyond the domain of the current proposal.  Though
maybe since we're editing the same section we could shoehorn this fix in
as well?.)       

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