Re: [sv-ac] RE: Call to vote. Due October 4

>
> SVDB 2328 _X__Yes ___No
>
> http://www.eda-stds.org/mantis/view.php?id=2328
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=4481&type=bug
>
>
>
> SVDB 2386 _X__Yes ___No
>
> http://www.eda-stds.org/mantis/view.php?id=2386
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=4417&type=bug
>
>
>
> SVDB 2904 _X__Yes ___No
>
> http://www.eda-stds.org/mantis/view.php?id=2904
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=4567&type=bug
>
>
>
> SVDB 3134__X_Yes ___No
>
> http://www.eda-stds.org/mantis/view.php?id=3134
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=4563&type=bug
>
>
>
> SVDB 3135__X_Yes ___No // BUT MAKE CORRECTIONS as shown below:
>
> http://www.eda-stds.org/mantis/view.php?id=3135
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=4566&type=bug
>
[Ben] Please make the corrections below. Delete the "which", add "a" and
"that"

... When the nexttime property is evaluated on *a *cycle *which* *that *is
not a tick of the clock of the nexttime property then an alignment to the
tick of the clock of the nexttime property should be applied before the
above description. ...

...When the always property is evaluated on *a *cycle *which* *that *is is
not a tick of the clock of the always property then an alignment to the tick
of the clock of the always property should be applied before the above
description....

> Minor correction: “Note thus that nexttime[0] and s_nexttime[0] acts as
> alignment operators.”
>
> Should read: “Note thus that nexttime[0] and s_nexttime[0] act as alignment
> operators.”
>
>
>
> Also, should “When the nexttime property is evaluated on cycle …” be “When
> the nexttime property is evaluated on a cycle…” Similarly in the text for
> always.
>
>
>
> best regards,
>
> ed
>
>
>
> --
> 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.