Assertions are not an area I am well versed in today, so I don't want to express opinions on some of them. Still, 3478: The described case seems to be part of a more general case, which is any net that has multiple drivers. You would like to be able to see the information about each individual driver. Since tools already implement this by a "Show Drivers" command, I don't see why it is so difficult. The advantage is being able to see the information from within the language. When I was writing testbenches, that capability would sometimes have been very useful. Another special case, almost the same as the inout port, is where two nets are connected by a bidirectional transistor primitive (tran) and you want to see what is driven from each side of the primitive. However, it should be transferred to SV-BC. 5064 and 5065 seem relatively easy to do, so it would be a shame not to do them. Shalom From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry Sent: Friday, November 21, 2014 13:47 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. --------------------------------------------------------------------- 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 Mon Dec 1 06:35:01 2014
This archive was generated by hypermail 2.1.8 : Mon Dec 01 2014 - 06:35:05 PST