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

Manisha,
Re 3069, I think the old standard allowed only one global clocking syntactically, not in the elaborated description. Am I wrong?

--------------------------------
Jacob M. Katz | jacob.katz@intel.com<mailto:jacob.katz@intel.com> | Work: +972-4-865-5726 | iNet: (8)-465-5726

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Kulshrestha, Manisha
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 ??

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

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 ?

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

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 ?

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

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

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

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.

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