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

Hi Ben,

I don't think that $stable(s.triggered) is useful per se, but it is useful when you pass it as an argument to a checker, especially when you write a library checker. Consider an example when a checker gets a request and a grant as its arguments and does some checking. E.g., it may check that the request should remain stable during several cycles. The corresponding actual argument may be a Boolean or a sequence. Therefore inside a checker we will have something similar to:

let req = req_seq.triggered;

and later

assert property (...$stable(req)...);

Regards,
Dmitry

From: ben cohen [mailto:hdlcohen@gmail.com]
Sent: Friday, May 20, 2011 06:47
To: Eduard Cerny
Cc: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: 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> [mailto: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<mailto: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=bug following 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.
---------------------------------------------------------------------
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, and is
believed to be clean.