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