[P1800] Documents for today's meeting

FYI,

The documents are attached.

Neil

-- 
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
July 1, 2011. There were 4 others that were sent back to the technical
committees (not shown in this list). There are also some additional mantis
items that were approved by the Champions in previous email votes. Those
are now ready for Working Group approval.

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 Committees.

4 of 6 Champions participated in this email vote.
Surrendra and Stu did not participate.

Neil

 
The Resolution of being a duplicate was unanimously approved by the
Champions in the email vote which ended on July 1, 2011.

1. 3279 SV-EC Enhance method override rules to allow covariant typing

The Resolution of "no change required" was unanimously approved by the
Champions in the email vote which ended on July 1, 2011.

2. 210 SV-BC Allow use of generate in module port list

The proposal was unanimously approved by the
Champions in the email vote which ended on July 1, 2011.

3. 2556 SV-AC Explicit package scope indication is not allowed for checkers

The Resolution of "no change required" was unanimously approved by the
Champions in the email vote which ended on February 7, 2011.

4. 1756 SV-AC The LRM does not indicate how the control tasks
               $asserton/off/kill affect verification statements in initial
               blocks
5. 3123 SV-CC Exact mapping between SV and C data types not clearly defined.
               (still has a proposal attached to it).

The Resolution of being a duplicate was unanimously approved by the
Champions in the email vote which ended on February 7, 2011.

6. 3036 SV-AC Explicitly allow unpacked data types for arguments of assertion
               system functions

The Resolution of "won't fix" was was not approved by the Champions in the email
vote which ended on October 30, 2010. After further clarification from the
TC chair the Champions agreed with the resolution.

7. 1646 SV-AC Generate constructs within properties and sequences