RE: [sv-ac] Draft for 3035 (Checker argument sampling) uploaded

Hi Ben,

Please, see my comments below.

Thanks,
Dmitry

From: ben cohen [mailto:hdlcohen@gmail.com]
Sent: Monday, August 16, 2010 5:27 AM
To: Korchemny, Dmitry
Cc: sv-ac@eda.org
Subject: Re: [sv-ac] Draft for 3035 (Checker argument sampling) uploaded

How does this mantis solve your initial issue:
module m (...);
logic a;
always_comb begin
a = '1;
a1: assert #0 (a);
check c1(a);
a = '0;
end
// ...
endmodule
checker check(x);
a1: assert #0 (x);
endchecker

[Korchemny, Dmitry] Since the checker arguments are not sampled anymore, a, the actual argument of x has a value 1 and the assertion a1 in the checker will pass.

Alos, change the "which" to "that
Each subexpression of the right-hand side of a checker variable assignment [which] that does not contain a checker variable is sampled.
[Korchemny, Dmitry] Done.
On Sun, Aug 15, 2010 at 1:11 AM, Korchemny, Dmitry <dmitry.korchemny@intel.com<mailto:dmitry.korchemny@intel.com>> wrote:
Hi all,

I uploaded a draft of the proposal 3035 (More flexible definition of checker argument sampling).
http://www.eda-stds.org/mantis/view.php?id=3035
http://www.eda-stds.org/mantis/file_download.php?file_id=4456&type=bug

This version is slightly different than the version I sent earlier to the "checker output arguments" working group.

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.
---------------------------------------------------------------------
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.