[sv-ac] RE: Manti 3295 and 3206

Hi Dimitry,

I have updated the proposal (attached here) taking care of 3206 also. There are notes for the editor picking different parts based on 3206 approval. Please upload these files.

Thanks.

Manisha

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Friday, November 25, 2011 1:13 AM
To: sv-ac@eda-stds.org; Kulshrestha, Manisha
Cc: Bresticker, Shalom
Subject: FW: Manti 3295 and 3206

Hi Manisha,

I think, Shalom is right. If you agree with his comment, I suggest to prepare an updated version that we could discuss and possibly vote next week. We can, of course, say that $assertcontrol does not distinguish between different kinds of deferred assertions; then no fix is required. However, I think it is cleaner to distinguish between different kinds of deferred assertions. Since 3206 has not been approved yet by the champions and the working group we should have a conditional version of the proposal – in case 3206 is approved.

Thanks,

Dmitry

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bresticker, Shalom
Sent: Thursday, November 24, 2011 17:06
To: sv-ac@eda-stds.org
Cc: sv-champions@eda.org
Subject: [sv-ac] Manti 3295 and 3206

Hi,

Mantis 3295 defines different assertion_type values for Simple Immediate assertions (2) and Deferred Immediate assertions (4).

Mantis 3206 will specify a new type of Deferred Immediate assertions: "Final Deferred", whereas the existing type will be "Observed Deferred".

Should 3295 make the same distinction?

If not now, changing in a future version will not be backwards compatible.

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. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.