[sv-ac] RE: assertion control system tasks

From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
Date: Thu Nov 25 2010 - 03:14:59 PST

Hi Manisha,

In the last meeting of the Working Group it was decided that it should be allowed to work on issues closely related to the issues from the approved list. Since we are allowed to work on assertion system tasks enhancements the issue you are bringing is from the same category. However, we should double check it with the WG before we start discussing your enhancement.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Kulshrestha, Manisha
Sent: Thursday, November 25, 2010 1:01 PM
To: sv-ac@eda.org
Subject: [sv-ac] assertion control system tasks

Hi,

Currently assertion control system tasks control all kinds of assertions (assert, cover and assume) and there is no way to choose any specific type. Sometimes it is useful to be able to control only certain types e.g. sometimes user want to only run asserts and no covers as they are not interested in coverage. It is not possible to achieve this with current set of functions. Proabably by adding a new argument to existing functions, we can achieve this enhanced functionality.

Dimitry, I am just wondering if it is possible to include this enhancement in the current PAR ? I'll file a mantis but it would be good to consider it in this PAR.

Thanks.
Manisha

--
This message has been scanned for viruses and
dangerous content by MailScanner, 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.
Received on Thu Nov 25 03:16:19 2010

This archive was generated by hypermail 2.1.8 : Thu Nov 25 2010 - 03:16:23 PST