[sv-ac] RE: Draft4 review

Hi Dmitry,

Below are my comments on the part I reviewed (Sec 17 - 17.3)

1. Section 17.3 (p.461), the paragraph starting " When a checker is instantiated, actual ... ": The second part of the paragraph is edited by both mantises 3033, 3213. The text seems to give precedence to 3212 but 3033 is implemented on top of 3213 as mentioned in its header. I believe thus the following should be ***deleted***:

"and each formal argument shall be assigned the sampled value of its actual argument (see 16.5.1 for the definition of sampled value) during the Preponed region of each time step, with the following exceptions and clarifications."

2. Section 17.3 (p.461) the 4 items following paragraph starting "When a checker is instantiated, actual .." are edited by both Mantises 3033 and 2093. Mantis 2093 is implemented on top of 3033, but does not take the exact text proposed by Mantis 3033 as the text to be replaced. This part is thus very confusing - I believe the intention is as follows:

- First item is fine as is (both changes are applied).

- Second item is fine as is (both changes are applied (though 2093 mistakenly override a change of 3033))

- Third item is fine (deleted by 3033, deletion maintained in 2093)

- Forth item is fine (deleted by 2093)

- There should be no Fifth item, it was part of the 4th item that is deleted by 2093. That is, the following should be ***deleted*** :

"A checker shall not be instantiated in a procedure of another checker."
Best,
Dana

PS
Section 17.3 (p.461) side note on paragraph starting "As in the case" refers only to Mantis 3033. It should refer to Mantis 2093 as well. Note: the LRM text here is perfectly fine. It is just the side note that is not accurate.

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Monday, January 16, 2012 7:24 AM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Draft4 review

Hi all,

Please, send the results of your review of Draft4 if you haven't done it already.

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, and is
believed to be clean.