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.