Re: [sv-ac] RE: Call to vote: Due August 29

>
> Mantis 2476 _X__ Yes ____ No****
>
> http://www.eda-stds.org/mantis/view.php?id=2476****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5355&type=bug****
>
> ** **
>
> Mantis 2578 _X__ Yes ____ No****
>
> http://www.eda-stds.org/mantis/view.php?id=2578****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5343&type=bug****
>
> **
>
> Mantis 3033 ____ Yes ____ No // I need more time. ****
>
> http://www.eda-stds.org/mantis/view.php?id=3033****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5349&type=bug****
>
> ** **
>
> I think we still have problems in the bulleted list in 17.3.1. We say
> ‘the following applies for static concurrent assertions in the checker’ at
> the top—we should remove the word ‘concurrent’, since we talk about deferred
> assertions too. But more importantly, I think each of the three bullet
> points should discuss the situations for concurrent and deferred assertions:
> having the first two apply just to concurrent and the third apply to both
> makes the section a bit confusing.****
>
> ** **
>
> Mantis 3113 _X__ Yes ____ No****
>
> http://www.eda-stds.org/mantis/view.php?id=3113****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5331&type=bug****
>
> ** *Friendly amendment: don't split the comment line; put in s separate
> line below unless it will fit in one line in the final document *
>
*Is there a way of telling if it will fit in one line in the file LRM? *
a1: assert property (@(posedge clk) delay_example(x, y, 3, $, 2)); *// this
is legal*
*int z, d;*
4
a2: assert property (@(posedge clk) delay_example(x, y, z, $, d)); *// this
is illegal, z and d are not elaboration-time constants *

>
>
**
>
> Mantis 3206 _X__ Yes ____ No****
>
> http://www.eda-stds.org/mantis/view.php?id=3206****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5357&type=bug****
>
> ** **
>
> Mantis 3385 _X__ Yes ____ No****
>
> http://www.eda-stds.org/mantis/view.php?id=3385****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5352&type=bug****
>
> ** **
>
> ** **
>
> ---------------------------------------------------------------------
> 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* <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.