[sv-cc] RE: Resolution of Mantis 1646

Hi,

Francoise may have been confused by the existence of proposal files on the Mantis page.

Shalom

From: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Wednesday, June 15, 2011 11:07 AM
To: neil.korpusik@oracle.com
Cc: sv-ac@eda-stds.org; sv-cc@eda-stds.org
Subject: [sv-cc] Resolution of Mantis 1646

Hi Neil,

I noticed that Mantis 1646: "Generate constructs within properties and sequences" is stuck at the Resolved status, and that it contains a note that before going back to the champions it should be reviewed by SV-CC. This decision looks strange to me. This proposal introduces generate statements in properties and sequences. The resolution of SV-AC was not to implement this feature because the required functionality has been achieved in checkers.

The note reads that this proposal may have consequences on the VPI model. IMO the proposal to drop a feature that has never been implemented cannot have any implication on the status of the existing API.

If you insist on reviewing it by SV-CC, I suggest to send it to SV-CC for review.

Thanks,
Dmitry
---------------------------------------------------------------------
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.