Re: [sv-ac] RE: New version of 3213 uploaded

>
> ..16.9.3: $stable(s.triggered) will change value depending whether it is
> called in the active or observed region. Is it not a race between the
> update of s.triggered and the use of it? Should there be a sentence that
> says something about ordering the evaluations?
>

Ed,
Good point. What's you're saying can be shown in this example (for
discussion purposes)
always begin : testcase1
 wait (s1.triggerred);
*// Now in Observed region *
 x=$stable(s.triggered);
end

always begin : testcase2
@ (posedge clk)
*// Now in active region *
 x=$stable(s.triggered);
end

>
>
LRM changes:

> The situation is different when the argument of $stable is s.triggered,
> where s is a named sequence. The sampled value of s.triggered is its current
> value, and $stable(s.triggered) compares the current value of
> $stable(s.triggered)with its value from the Postponed region of the previous
> clock tick.
>
 In testcase, current value ==1
 In testcase2, current value==0
Question: Is $stable(s.triggered) useful?
Ben

>
>
> *From:* owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] *On Behalf Of *Korchemny,
> Dmitry
> *Sent:* Thursday, May 19, 2011 10:41 AM
> *To:* 'sv-ac@eda-stds.org'
> *Subject:* [sv-ac] New version of 3213 uploaded
>
>
>
> Hi all,
>
>
>
> I uploaded the new version of 3213
> http://www.eda-stds.org/mantis/file_download.php?file_id=5053&type=bugfollowing Scott’s and Anupam’s comments.
>
>
>
> 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* <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.