RE: [sv-bc] release/deassign with variables driven by continuous assignments

Dave,
 
I agree with your conclusion. But I think the text in 6.5 is unclear. It
should say something to the effect that if the variable is driven by a
continuous assignment, then as you say, deassign/release of  the
variable will cause an immediate re-evaluation of the continuous
assignment.
 
Actually, is it legal to do a procedural continuous assignment to a
variable driven by a continuous assignment? I thought not. And if not,
then that entire part of the text in 10.6.1 should be deleted.
 
Note that the extra text in 10.6.1 and 10.6.2, "or the next time a
continuous assignment driving the variable is evaluated," was added by
the editor in the LRM merge in an attempt to update the 1364 text to
SystemVerilog. The editor added his question on the side from the very
beginning, so it is not his fault that this text has remained till now.
 
Thanks,
Shalom
 


________________________________

	From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Rich, Dave
	Sent: Thursday, October 11, 2007 6:59 AM
	To: sv-bc@server.eda.org
	Subject: [sv-bc] release/deassign with variables driven by
continuous assignments
	
	

	In section 10.6.1 there is a question from the editor: Does the
result of a cont. assign to a variable update immediately when the
variable is released? 

	 

	The answer is in 6.5  "A release statement shall not change the
variable until there is another procedural assignment or shall schedule
a reevaluation of the continuous assignment driving it." and probably
should have been moved to 10.6

	 

	So the text in 10.6.1 and 10.6.2 is incorrect. It will schedule
an evaluation upon release, not wait for the next event that causes an
evaluation.

	 

	I thought someone, Shalom perhaps, already made up a list of
editor's questions as a mantis item, but I could not find it.

	 

	Dave

	 

	 


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