RE: [sv-ac] Effect of assetion control system tasks

What does it mean to $assertoff an immediate assertion? For e.g
 
assert (bus.randomize() == 1) else $error("randomization failed");
 
Does $assertoff means it should stop randomizing (i.e. stop checking for
expression) or should it stop reporting error?
I think it should stop checking for the expression but then does it
imply to not
assert on an expression that has side effects?
 
Regards
Tej
 


________________________________

	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bassam Tabbara
	Sent: Wednesday, February 14, 2007 12:40 PM
	To: Kulshrestha, Manisha; sv-ac@server.eda-stds.org
	Subject: RE: [sv-ac] Effect of assetion control system tasks
	
	
	Yes they should -- same goes for VPI control.
	 
	Thx.
	-Bassam.
	 

________________________________

	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Kulshrestha, Manisha
	Sent: Wednesday, February 14, 2007 12:34 PM
	To: sv-ac@eda-stds.org
	Subject: [sv-ac] Effect of assetion control system tasks
	
	
	Hi,
	 
	Do assertion control system tasks affect immediate assertions ?
It is not very clear from the LRM. The immediate assertion section only
has the following statement: "Note: The assertion control system tasks
are described in 24.9."
	 
	Thanks.
	Manisha

	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 
	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.