[sv-ac] RE: Mantis 3295: need a way to control only asserts/covers/assume directives

From: Kulshrestha, Manisha <Manisha_Kulshrestha@mentor.com>
Date: Tue Nov 29 2011 - 04:40:09 PST

Hi,

 

I am attaching updated version of the proposal here based on Dimitry and Sholom’s latest comments. Now, table 20-8 has changed (merged tables 20-8 and 28-9) and also vpi related stuff is new related to lock/unlock. Please review it.

 

Thanks.

Manisha

 

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Tuesday, November 29, 2011 1:05 PM
To: Kulshrestha, Manisha
Subject: Mantis 3295: need a way to control only asserts/covers/assume directives

 

Hi Manisha,

 

It looks to me that the tables describing VPI callbacks are missing entries with assertion lock/unlock. If it is so, also the corresponding defines should be added.

 

Minor comment:

In tables 20-8,9 assertion control system task names, such as $asserton, $assertcontrol, etc., should be typeset as code.

 

Thanks,

Dmitry 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Nov 29 04:41:34 2011

This archive was generated by hypermail 2.1.8 : Tue Nov 29 2011 - 04:41:58 PST