Hello Dmitry, * 3478: Make drivers of inout ports accessible n ** opinion * 5063: Automatic inference of assertion statement type n No opinion * 5064: Create standard package to define constants used in assertion-related stuff n Nice to have * 5065: Create standard package to define implementation for commonly used properties n Nice to have, assuming we are not extending the LRM; otherwise IMHO it warrants further discussion * 5067: Allow variables in delays and repeat operators n Important * 5068: concurrent assertions in classes n Nice to have, and I also believe that it's a huge topic and needs more discussion Thanks, Samik From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry Sent: Friday, November 21, 2014 6:47 AM To: sv-ac@eda.org Subject: [sv-ac] Feedback request Hi, You are requested to send your feedback on working on the following Mantis items in the next P1800 PAR by 1-Dec-2014, UTC: * 3478: Make drivers of inout ports accessible * 5063: Automatic inference of 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 * 5068: concurrent assertions in classes Your feedback should include one of the following marks for each item: * Important * Nice to have * Not important * No opinion along with any free text comments. You may also suggest additional enhancements not listed above, but they need to be filed as Mantis items first. There is no need to discuss any errata or clarification items. 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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Sun Nov 30 20:26:53 2014
This archive was generated by hypermail 2.1.8 : Sun Nov 30 2014 - 20:27:01 PST