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

>
> Mantis 2328 _?__ Yes ____ No****
>
> http://www.eda-stds.org/mantis/view.php?id=2328****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5319&type=bug
>
Friendly amendment:
 The default sampled value of the triggered event property *(see 15.5.3)* and
the sequence methods triggered and
matched is 1’b0.

> ****
>
> ** **
>
> 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=5285&type=bug****
>
> ** **
>
> Mantis 2578 ___ Yes ____ No
>
w |=non P1 implies P2 iff w |= non P1and w |=non P2. should it be ?
*w |=non P1 implies P2 iff w |= P1and w |=non P2.*

> ****
>
> http://www.eda-stds.org/mantis/view.php?id=2578****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5326&type=bug****
>
> ** **
>
> Friendly amendment: (mentioned previously by Erik) ****
>
> “underlying evaluation attempts of property_expr2 is nonvacuous.” è“underlying evaluation attempt of property_expr2
> is nonvacuous.”****
>
> ** -
>
> Mantis 3033 __X__ Yes ___ No****
>
> http://www.eda-stds.org/mantis/view.php?id=3033****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5325&type=bug****
>
> ** **
>
>
>
> 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=5328&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=5281&type=bug****
>
> ** **
>
> --
>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.