RE: [sv-ac] Call to vote: Due May 30

Hi Manisha,

Please, see my comments below. I uploaded the updated version: http://www.eda-stds.org/mantis/file_download.php?file_id=5114&type=bug.

Thanks,
Dmitry

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

Mantis 2556 __ X __ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=2556
http://www.eda-stds.org/mantis/file_download.php?file_id=4965&type=bug

Mantis 3069 __ X __ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=3069
http://www.eda-stds.org/mantis/file_download.php?file_id=5091&type=bug

Friendly ammendments:

1. In the note related to backwards-incompatibility, it should be rephrased as:

In the 2009 definition only one global clocking declaration was allowed in the elaborated design description, it could be specified in any module, interface or checker and referred from anywhere in the description.

Mantis 3213 ____ Yes __ X __ No

http://www.eda-stds.org/mantis/view.php?id=3213
http://www.eda-stds.org/mantis/file_download.php?file_id=5099&type=bug

Here are my commnets:

1. In 16.5.1, it says "An initial sampled value of an expression is defined recursively using values of its arguments as explained below in the definition of a sampled value of an expression. " Do we really need to make this clear. As long as intial sampled values of variables are defined, it is just obvious ??

[Korchemny, Dmitry] I think, this requires a clarification. E.g., what does initial sampled value of a && s.triggered means?

2. Sentences like "A sampled value of an expression ...", shouldn't it be 'The sampled ...' ?

[Korchemny, Dmitry] Fixed.

3. There are terms like "sampled value" and "preponed value" in italics, I do not see their usage anywhere. What is the reason for making them italic ?

[Korchemny, Dmitry] "Sampled value" is used in many places and typesetting it in italic at its introduction should be justified. I don't think that the introduction of "preponed value" is justified since it is not used indeed anywhere. I rewrote the sentence without "preponed value".

4. What is the reason for striking out "free checker variables" in section 16.5.3.

[Korchemny, Dmitry] I don't understand why free checker variables are not tied to a clock definition. I think it was inserted there by mistake.

5. The deleted section 16.6.2, does have more details. What was the reason for deleting it ? have the things in there have moved somewhere else ?

[Korchemny, Dmitry] This section in its current form is misleading:

"The variables that can appear in expressions shall be static design variables, function calls returning values of types described in 16.6.1, or local variables. Static variables declared in programs, interfaces, or clocking blocks can also be accessed. If a reference is to a static variable declared in a task, that variable is sampled as any other variable, independent of calls to the task."

The first statement is incomplete and out-of-date: what about automatic variables, checker variables, etc.? The term "design variable" is not defined anywhere. Function call is not a variable.

The last sentence does have some meaning, and in the previous versions of this proposal this statement it was kept, but following Ed's comments we decided to remove it as it makes more harm than good.

6. In section 16.9.3, there is new word added 'future', but this section does not have future value functions.

[Korchemny, Dmitry] Fixed.

7. In 16.10, instead of 'uses a sampled', it should be 'uses the sampled'.

[Korchemny, Dmitry] Fixed.

8. In 16.9.3, you have no restriction on using sequence methods in sampled value functions but later in 16.14.6, it says:

It shall be considered an error to use the sequence methods matched in sampled value functions (see 16.9.3).

[Korchemny, Dmitry] I fixed 16.9.3 to match 16.14.6.

9. In 16.15.6.1, "are used, rather than the sampled values. This contrasts with the assertion's expressions arguments, where sampled values are used. ..". I think a reference to the section where sampled values are defined will be good here also.

 [Korchemny, Dmitry] Done.

Mantis 3295 _ X ___ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=3295
http://www.eda-stds.org/mantis/file_download.php?file_id=5097&type=bug

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