Re: [sv-ac] RE: Call to vote: Due July 25

Mantis 3213 __X__ Yes ____ No****

http://www.eda-stds.org/svdb/view.php?id=3213
Friendly amendment:
However,

   -

      when When a past or a future value of an active free checker variable
      is referenced by a sampled value function (see 16.9.3 and 16.9.4), this
      value is sampled in the Postponed region of the corresponding
past or future
      clock tick;
      -

      whenWhen a past or a future value of an automatic variable is
      referenced by a sampled value function, the current value of the
automatic
      variable is taken instead.

On Mon, Jul 25, 2011 at 7:43 AM, Little Scott-B11206
<B11206@freescale.com>wrote:

> Mantis 3213 __X__ Yes ____ No****
>
> http://www.eda-stds.org/svdb/view.php?id=3213****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5227&type=bug****
>
> ** **
>
> I gave the proposal another full read and had some friendly amendments.***
> *
>
> ** **
>
> In the first paragraph of 16.5.1. I believe that “The value of an
> expression sampled in their context…” should be “The value of an expression
> sampled in theirits context…”****
>
> ** **
>
> In the first REPLACE/WITH on page 7, I believe that the following phrase
> would be improved if changed as suggested below, “(see 16.5.1 for the
> definition of sampling in past clock ticks, and the description of $past
> below, offor how past values are evaluated.). ****
>
> ** **
>
> In the first REPLACE/WITH on page 10, the final sentence states, “This
> assertion evaluation attempt uses these saved values for the rest of the
> evaluation.” Can we strike “the rest of”? Is any evaluation done prior to
> the capture of these values?****
>
> ** **
>
> In the second REPLACE/WITH on page 10, I find the phrase “the assertion’s
> expressions arguments” awkward. Could it be reworded, “expression arguments
> in assertions”?****
>
> ** **
>
> In the first REPLACE on page 11, I would prefer (see 16.5.1 for the
> definition of the sampled value)****
>
> ** **
>
> In the final REPLACE/WITH on page 11, I would prefer “A sampled value of an
> active checker variable is defined as its current value as explained in (see
> 16.5.1).****
>
> --
> 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.