Hi, It seems there is no VPI definition for checkers in the LRM. I see there is a proposal http://www.eda-stds.org/mantis/view.php?id=2182 for this. It seems a deficiency that needs to be fixed. Please include it also. Warm regards, Tapan "You must be the change you want to see in the world" : Mahatma Gandhi From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry Sent: Friday, November 21, 2014 5:17 PM 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 Wed Nov 26 07:15:42 2014
This archive was generated by hypermail 2.1.8 : Wed Nov 26 2014 - 07:16:15 PST