RE: [sv-ac] Draft 3 Review

Wow, you're right. We need a better effect there-I had to zoom to 300% to see this clearly. :)

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