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

Hi Manisha,

 

I think they should, though this is indeed not clear from the LRM. The
main problem I can see here is a potential race condition between the
assertion and $assertom/off statement, but in any case the immediate
assertions are subject to race conditions. We need to open a mantis to
clarify this.

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Kulshrestha, Manisha
Sent: Wednesday, February 14, 2007 10:34 PM
To: sv-ac@server.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, and is
believed to be clean.