Re: [sv-ac] Feedback request

From: Ben Cohen <hdlcohen@gmail.com>
Date: Mon Nov 24 2014 - 10:00:49 PST
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