Hi Francoise,
Could you comment on mantis 1646.
Do you still think there could be an issue with the sv-cc?
The proposal was removed since the resolution is "won't fix".
The changes that were being proposed have already been made
in the LRM. Perhaps your concern has to do with the mantis
item which contains similar functionality to what was being
proposed by this mantis item. I don't see a reference to
that mantis item.
Neil
On 06/15/11 01:18, Korchemny, Dmitry wrote:
> I deleted all proposal files to avoid confusion.
>
>
>
> Dmitry
>
>
>
> *From:* Bresticker, Shalom
> *Sent:* Wednesday, June 15, 2011 11:17
> *To:* Korchemny, Dmitry; neil.korpusik@oracle.com
> *Cc:* sv-ac@eda-stds.org; sv-cc@eda-stds.org
> *Subject:* 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* <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.Received on Wed Jun 15 13:30:49 2011
This archive was generated by hypermail 2.1.8 : Wed Jun 15 2011 - 13:30:57 PDT