On 5063: Automatic inference of assertion statement type I am changing my feedback to *"**nice to have*", but I* have concerns about usage,* as this will add complications to SVA and possible misunderstandings. Also, isn't this a tool issue rather than a language issue? This topic needs discussion at our next meeting. Thanks, Ben On Fri, Nov 21, 2014 at 3:47 AM, Korchemny, Dmitry < dmitry.korchemny@intel.com> wrote: > 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 Mon Nov 24 10:01:46 2014
This archive was generated by hypermail 2.1.8 : Mon Nov 24 2014 - 10:02:27 PST