[P1800] Documents for today's P1800 WG meeting

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

P1800 Working Group,

Below are the results of the Champion's email vote which ended on Sept 29, 2010.
There were 8 others that were sent back to the technical committees (not
shown in this list).

We would like to get approval for those Mantis items that have been approved
by both the Technical Committees and the Champions. A summary of the Mantis
items is shown below.

All of these resolutions were unanimously approved by both the Champions
and the Technical Commitees, except for the following 2, which each had one
abstain in the SV-AC.

   2485 1 abstain in sv-ac
   2571 1 abstain in sv-ac

Neil

The Resolution of being a duplicate was unanimously approved by the Champions.

1. 2022 SV-EC index value width extension for associative arrays
2. 2018 SV-EC Is a queue an array or not?
3. 1740 SV-EC Item 1457 did not correct section 10.5.3
4. 2525 SV-BC Allow hierarchical references in $unit scope
5. 0154 SV-BC Jeita 29: Dual Data Rate needed in always_ff
6. 0931 SV-BC BNF should be hyperlinked
7. 2080 SV-EC "::" is ambiguous in parameterized classes
8. 1672 SV-EC 18.9: "type" should be "option"
9. 0802 SV-EC Assigning too many elements to a queue

The Resolution of "no change required" was unanimously approved by
the Champions.

10. 2734 SV-BC Mechanism to initialize an array to a constant value
11. 2533 SV-BC Equivalent to what?
12. 1222 SV-BC clarify explicitly whether a module may instantiate itself
13. 0968 SV-BC The 'list package' is not a package (D.1)
14. 1678 SV-AC Clarify that rewriting algorithm doesn't replace name resolution
15. 2754 SV-AC P1800-2009 : Can clock change in conditional branch of 'if' operator
16. 2095 SV-AC Clarify meaning of distribution as condition for "disable iff"

The proposal was unanimously approved by the Champions.

17. 2571 SV-AC confusing assertion clock inference rule
18. 2451 SV-EC Omitting body defaults
19. 1349 SV-EC fork/join_none: what if parent thread terminates without blocking statement?
20. 2956 SV-EC clarify class 'process' definition (9.7 vs 18.13.3, 18.13.4, 18.13.5)
21. 2950 SV-EC virtual method prototype matching
22. 2494 SV-AC 37.44 Assertion diagram missing restrict
23. 2558 SV-AC Restriction inside checker construct
24. 2732 SV-AC Clarify timing diagram in Figure 16-4. Future value change
25. 2949 SV-EC LRM is silent about the semantics of referencing a clocking block output

In the email vote which closed on September 29, 2010 the Champions
unanimously agreed that this issue has already been fixed.

26. 2574 SV-BC class_scope parameter identifier missing in ps_parameter_identifier
27. 1685 SV-BC 6.3.2 should be clarified as allowing string literals
28. 1223 SV-BC red hyperlinked BNF?
29. 1204 SV-BC Add lists of figures, tables, syntaxes
30. 1162 SV-BC A.1.4: list_of_port_declarations BNF rule
31. 1029 SV-BC some 1364 examples use 1800 keywords
32. 0991 SV-BC 2, 12: improving syntax boxes