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> 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. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.