RE: [sv-ac] uploaded updated proposals for 1361

Hi Manisha,

 

I reviewed the word document "action_control_task_14.doc".  I did not
see the clarifications mentioned below, but my other comments are there.
Thanks.

 

Lisa

 

________________________________

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com] 
Sent: Wednesday, June 06, 2007 5:07 AM
To: Lisa Piper; sv-ac@eda-stds.org
Subject: RE: [sv-ac] uploaded updated proposals for 1361

 

Hi,

 

No, these tasks do not affect the statistics counters.

 

Yes, the $assertfailoff shall impact the default failure message also.
I'll try to make it more clear in the proposal.

 

Thanks.

Manisha

 

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Wednesday, June 06, 2007 2:12 AM
To: Kulshrestha, Manisha; sv-ac@eda-stds.org
Subject: RE: [sv-ac] uploaded updated proposals for 1361

 

Manisha,

 

A couple more questions:

 

1.	do these have any affect on statistics counters maintained by
the tool?  I am guessing not.
2.	does $assertfailoff (and similar VPI's) impact the printing of a
default failure message?      I am guessing it does, but really not
sure.

 

Lisa

 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Kulshrestha, Manisha
Sent: Saturday, June 02, 2007 1:06 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] uploaded updated proposals for 1361

 

Hi,

 

I have aligned the proposal to draft3. Also, I have uploaded Word docs
(2007 and 2003 versions) along with pdf file as pdf file is not perfect.
I think this proposal is ready to be voted in sv-ac. Also, probably we
need to send it to sv-cc as it has some API changes.

 

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.