[sv-ac] RE: Mantis 3295: assertion control system tasks

Also, this proposal refers to "assert", "cover", and "assume" as "directives".
This is not consistent with the terminology in Clause 16.

Shalom

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bresticker, Shalom
Sent: Wednesday, June 22, 2011 11:58 AM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Mantis 3295: assertion control system tasks

Hi,

I have not been following this issue closely, but I looked at the proposal now, and I want to ask whether there is a reason not to combine the assert_task and and assert_action_task BNFs.

Similarly, is there a reason not to combine Tables 20-8 and 20-9?

Also, the titles of Tables 20-5 to 20-7 refer to "assertion_control_tasks", but it looks like they are specific to $assertcontrol.

Regards,
Shalom

Shalom Bresticker
Intel LAD DA, Jerusalem, Israel
+972 2 589 6582 (office)
+972 54 721 1033 (cell)
http://www.linkedin.com/in/shalombresticker

---------------------------------------------------------------------
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<http://www.mailscanner.info/>, 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.