RE: [sv-ac] Call to vote: Due August 22

Hi Manisha,

Please, see my comments below.

Thanks,
Dmitry

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Monday, August 22, 2011 12:23
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: RE: [sv-ac] Call to vote: Due August 22

Sending vote for 3033 only. Will send rest in a separate email:

Mantis 3033 ____ Yes _X___ No
http://www.eda-stds.org/mantis/view.php?id=3033
http://www.eda-stds.org/mantis/file_download.php?file_id=5325&type=bug

Here are my comments:

1. "If an actual argument contains any subexpression that is a const cast or automatic value from procedural code, then the corresponding formal argument shall be used only in static assertion statements (see 16.15.6) or static checker instances not be used in a continuous assignment or in the procedural code within the checker." Why is this part changing ?

[Korchemny, Dmitry] The original statement is incorrect. For example, these actual arguments can also be used in let, sequence, and property statements out of the procedural code.

What all is being included to use const cast/automatic variables now ?

[Korchemny, Dmitry] This should still be relevant. You cannot use an automatic variable as an actual argument, in a checker procedure. What will be its scope after rewriting?

Also the following sentence "whenever a static assertion statement in the checker or a statically instantiated subchecker is added to the pending procedural assertion queue (see 16.15.6.1 and 17.3.1)." , now that checkers can only be instantiated statically inside another checker, is it required to state it ? Also, this checker which is instantiated in another checker, may not be a subchecker. In fact I did not find any other place where subchecker term is used.

[Korchemny, Dmitry] I agree. This statement is not relevant anymore. I removed it.

2. In 17.3.1, the rules for concurrent assertions should be extended for deferred assertions also.
[Korchemny, Dmitry] See my answer to Erik.

3. In 17.5, the paragraph "An always procedure in a checker body may contain deferred and concurrent assertions, nonblocking variable assignments (see 17.7.1) and a procedural timing control statement using an event control. All other statements shall not appear inside an always procedure." Should be striken. Currently it is in blue.

[Korchemny, Dmitry] Fixed.

4. In 17.5, the example shows that clk and rst are not sampled, but there is no text to support this exception.

[Korchemny, Dmitry] See the following statement in the paragraph preceding the example:

Except for the variables mentioned in the event control, all other expressions in always_ff procedures are sampled (see 16.5.1).

5. "The always procedure in checkers allowed by IEEE Std 1800-2009, but always_comb, always_latch, and always_ff were forbidden. " has 'was' missing.

[Korchemny, Dmitry] Fixed.

6. Message: DELETE subclause 17.3.2 Nested checker instantiations" should be color coded as it is not visible.

[Korchemny, Dmitry] We don't color code instruction words. I added a color coded note to the editor.

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