Re: [sv-ac] Recommended Items to Work and Study on the Next P1800 Revision

Dmitry and all,
I uploaded mantis_4571 that discussed the issues and provides 2 promising
solutions.
Please review and comment for the next meeting.
http://www.eda-stds.org/svdb/view.php?id=4571
Thanks,
Ben

On Sun, Dec 28, 2014 at 4:43 AM, Korchemny, Dmitry <
dmitry.korchemny@intel.com> wrote:

>  Hi all,
>
>
>
> Per Karen request, I will call a meeting next Monday to discuss the
> feasibility of 4571.
>
>
>
> Thanks and Happy Holidays,
>
> Dmitry
>
>
>
> *From:* Karen Pieper [mailto:karen_l_pieper@yahoo.com]
> *Sent:* Saturday, December 27, 2014 00:06
> *To:* Korchemny, Dmitry; IEEE P1800 Working Group (ieee1800@eda.org) (
> ieee1800@eda.org)
> *Cc:* 'sv-ac@eda.org'
> *Subject:* Re: [sv-ac] Recommended Items to Work and Study on the Next
> P1800 Revision
>
>
>
> Can the SV-AC please start the study on the feasibility of 4571, and
> advise at the P1800 review meeting what is known, likely schedule
> requirements, and suggested path forward?
>
>
>
> Thanks,
>
>
>
> Karen
>
>
>
>    ------------------------------
>
> *From:* "Korchemny, Dmitry" <dmitry.korchemny@intel.com>
> *To:* "IEEE P1800 Working Group (ieee1800@eda.org) (ieee1800@eda.org)" <
> ieee1800@eda.org>
> *Cc:* "'sv-ac@eda.org'" <sv-ac@eda.org>
> *Sent:* Thursday, December 25, 2014 6:30 AM
> *Subject:* [sv-ac] Recommended Items to Work and Study on the Next P1800
> Revision
>
>
>
> *SV-AC: Recommended Items to Work and Study on the Next P1800 Revision*
>
>
>
> Following internal discussions, SV-AC recommends to work on the following
> mantis items:
>
>
>
> ·        3057: Make local variables a first class language construct in
> SVA
>
> ·        5063: Allow tools to infer assertion statement type
>
> ·        5064: Create standard package to define constants used in
> assertion-related stuff
>
> ·        5065: Create standard package to define implementation for
> commonly used properties
>
> ·        5067: Allow variables in delays and repeat operators
>
>
>
> SV-AC recommends to study the feasibility of the proposal:
>
> ·        4571: For next 1800: Probing property local variables for
> sharing across boundaries
>
>
>
> SV-AC requests from SV-CC to address the proposal:
>
> ·        2182: Ballot comment 56: Elaborate VPI diagrams for checkers
>
>
>
> SV-AC recommends to create a cross-P1800 group to study the following
> proposal and to elaborate recommendations for the future work:
>
> 5068: concurrent assertions in classes
>
>
>
> Also, SV-AC recommends to work on errata and clarification items.
>
>
>
> Regards,
>
> 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.