Re: [sv-ac] Draft 3 Review

Hi Erik,

In the past, I have struck out more text than necessary just so it would
be more obvious that there was a small change taking place. That is one
strategy for handling situations like this.

Neil

On 11/15/11 08:41, Seligman, Erik wrote:
> Wow, you’re right. We need a better effect there—I had to zoom to 300%
> to see this clearly. J
>
> So I withdraw my comment.
>
> *From:*Bresticker, Shalom
> *Sent:* Monday, November 14, 2011 9:48 PM
> *To:* Seligman, Erik; sv-ac@eda-stds.org
> *Subject:* RE: [sv-ac] Draft 3 Review
>
> Hi, Erik.
>
> If you look very carefully, you will see that the hyphenated places have
> a red cross-out on top of the hyphen. The draft is a marked-up version,
> not the final way the document looks after all markups have been applied.
>
> Regards,
>
> Shalom
>
> *From:*Seligman, Erik
> *Sent:* Monday, November 14, 2011 11:47 PM
> *To:* sv-ac@eda-stds.org
> *Cc:* Bresticker, Shalom
> *Subject:* RE: [sv-ac] Draft 3 Review
>
> I reviewed my assigned sections. I found one issue:
>
> -Mantis 3720 seems to settle on spelling nondetermin* without the
> hyphen. Yet in spots marked ‘3720’ in chapter 17 of this draft, the
> hyphenated spelling ‘non-deterministic’ is used. Searching the LRM, I
> can find instances of both the hyphenated and non-hyphenated versions.
> So I think 3720 is not actually implemented yet. For example, on p.444:
>
> Checker variables may have an optional *rand *qualifier. In this case,
> they are called /free variables/; free variables may behave
> non-deterministically
>
> Shalom, are you fully certain you checked the right version before
> adding the note to
> http://www.verilog.org/mantis/bug_view_advanced_page.php?bug_id=3720 ?
>
> Draft 3 is ready for review. You are requested to review Draft 3
> sections and the implemented Mantis items as listed below. Please, confirm.
>
> *Name*
>
>
>
> *Mantis*
>
>
>
> *Sections*
>
> Eduard Cerny
>
>
>
> 3766
>
>
>
> 14, 17 - 17.3
>
> Ben Cohen
>
>
>
> 2578
>
>
>
> A
>
> Dana Fisman
>
>
>
> 3135
>
>
>
> F
>
> Tapan Kapoor
>
>
>
> 37, 39
>
> Jacob Katz
>
>
>
> 3191
>
>
>
> 16-16.8
>
> Dmitry Korchemny
>
>
>
> 3722, 2556
>
>
>
> 16.13.15 - 16.15.5
>
> Scott Little
>
>
>
> 2732
>
>
>
> 22, Annex B, C, P
>
> Manisha Kulshrestha
>
>
>
> 20
>
> Anupam Prabhakar
>
>
>
> 2412
>
>
>
> 16.9
>
> Erik Seligman
>
>
>
> 3385
>
>
>
> 17.4 - End
>
> Samik Sengupta
>
>
>
> 16.10 - 16.13.14
>
> Tom Thatcher
>
>
>
> 2722
>
>
>
> 16.15.6 - End
>
> 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* <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.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.