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

Hi Manisha,

I agree with your comment. I just missed this point and followed after concurrent assertions. In some cases it could me meaningful to assign automatic variables to checker variables, but it does not pay off because it requires addressing nasty semantics problems. I did have such an example in my original proposal. I uploaded the updated proposal to Mantis.

Thanks,
Dmitry

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Tuesday, August 17, 2010 12:46 PM
To: ben@systemverilog.us; Korchemny, Dmitry
Cc: sv-ac@eda.org
Subject: RE: [sv-ac] Draft for 3035 (Checker argument sampling) uploaded

Hi Dimitry,

I think the original restriction that the automatic variables can only be used in static concurrent assertions should still be valid. The way checkers are the defined, only static concurrent assertions can be executed in the context of procedural code, rest of the code is executed as if the checker is instantiated outside of procedural code.

You have added text about usage of automatic variable in checker variable assignment. Do you have an example where automatic variable can be used on the right hand side of this assignment ?

Thanks.
Manisha

________________________________
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of ben cohen
Sent: Monday, August 16, 2010 7:58 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

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