[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, and is
believed to be clean.