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<mailto:dmitry.korchemny@intel.com>> To: "IEEE P1800 Working Group (ieee1800@eda.org<mailto:ieee1800@eda.org>) (ieee1800@eda.org<mailto:ieee1800@eda.org>)" <ieee1800@eda.org<mailto:ieee1800@eda.org>> Cc: "'sv-ac@eda.org'" <sv-ac@eda.org<mailto: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, and is believed to be clean.Received on Sun Dec 28 04:44:13 2014
This archive was generated by hypermail 2.1.8 : Sun Dec 28 2014 - 04:44:13 PST