[P1800] Mantis items for review

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

P1800 Working Group,

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.

Neil

The proposal was approved by the Champions with friendly amendments.
Those friendly amendments were made by the committee.

1. 2353 SV-AC 'classes' missing from description
2. 2485 SV-AC terminology related to immediate and deferred assertions
3. 2722 SV-AC Errors in Figures 16-14, 16-15, and 16-16
4. 2291 SV-AC the description of $assertoff blurs assertions and attempts
5. 2871 SV-AC Clause 16 does not forbid assertion local variables within
                clocking event expressions

The resolution of duplicate was approved by the Champions.

6. 2481 SV-AC Need to swap F.3.4.6 and F.3.4.7
Received on Thu Dec 9 08:02:09 2010