[sv-ac] RE: 3035_checker_sampling_100802_dk.docx

Hi Anupam,

Please, see my answers below.

Thanks,
Dmitry

-----Original Message-----
From: Prabhakar, Anupam [mailto:anupam_prabhakar@mentor.com]
Sent: Tuesday, August 17, 2010 8:18 AM
To: Korchemny, Dmitry; Bisht, Laurence S; ben@systemverilog.us; Eduard Cerny; Havlicek John-R8AAAU; Samik Sengupta; thomas.thatcher@Oracle.com
Subject: RE: 3035_checker_sampling_100802_dk.docx

Hi Dmitry,

A couple of comments on this.

- this change is not backward compatible (I am not sure if this would be
an issue)
[Korchemny, Dmitry] Unfortunately, it is, but it is the essence of this proposal - to change the existing definition. Hope it is not too late.

- as per your proposal sampled value is used only when an input appears
on the RHS of an assignment - what about use in a 'if' expression -
should that be sampled ? Like

        always @$global_clock
        begin
                if (flag > 1)
                        counter <= counter + step;
        end

[Korchemny, Dmitry] Currently procedural control statements are not allowed in checkers. When we define them (this enhancement is in out to-do list), we will have to specify that the expressions in control statements are sampled as well, with the common exceptions - automatic variables, etc. Such a definition, of course, will be problematic for modeling required for deferred assertions in checkers. One possible workaround is to use functions and let statements instead of procedural control statements in checkers where sampling should be avoided. The expected usage model is that the modeling code will be mostly used for concurrent assertions in checkers.

Anupam

-----Original Message-----
From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Thursday, August 12, 2010 12:00 PM
To: Bisht, Laurence S; ben@systemverilog.us; Eduard Cerny; Havlicek
John-R8AAAU; Prabhakar, Anupam; Samik Sengupta;
thomas.thatcher@Oracle.com
Subject: 3035_checker_sampling_100802_dk.docx

 Hi all,

I am attaching a draft of the proposal on checker formal argument
sampling for initial review.

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