[P1800] Technical Committee status

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Thu Oct 23 2008 - 07:59:46 PDT
Hi All,

The Technical Committee status is attached.

Neil


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



Mantis Summary:
--------------

- 41 mantis items in the "completed" state

   sv-ac 23
   sv-bc  0
   sv-cc  2 
   sv-ec  9
   sv-sc  7

- 4 mantis items in the "editor" state  

  2005  sv-ac
  1900  sv-sc
  1757  sv-ac
  1826  sv-bc

- 3 mantis items in the "resolved" state

  2486 sv-ac
  2478 sv-ac
  2468 sv-cc

- 2 mantis items in the "review" state

  1995 sv-sc 
   985 sv-cc 


Committee status: 
----------------

sv-ac
   2486 Scope of Annex F definition of "specify" is not clear.

	This is an editorial issue approved by the committee.
	Some text is being moved and slightly reworded due to moving it. 
	It is in the resolved state....

   2478 Clock flow subclause is not consistent with multiclocked 
	property definition

	This issue is not editorial, but it is a show stopper, since without 
        the changes suggested there the LRM will be contradictory [Dmitry].

	There are ~6 lines of text and 4-lines of examples that are being
	struck out to correct the discrepancy.
 
	Unanimously approved by sv-ac 2008-10-06 (8y/0n/0a)

sv-sc
   Haven't met since August 19

   1995 - was left in the review state
	- a duplicate of 2398 
	- can now be closed since 2398 has been approved

sv-bc
   1826 in the Editor state -- keywords

sv-cc
   2226
      - was brought inline with draft 7
      - was approved by the committee
      - has since been incorporated into draft 7a

   2468
      Some #defines (4 of them) are missing from sv_vpi_user.h
      On 09/10/2008 the SV-CC PASSED this proposal (unanimous).

    985 
      Approved by WG (August 30, 2007) - contingent on a change from sv-cc
      Jim uploaded the change
      Waiting on approval from sv-cc to move to editor.
      The proposal contains a few minor text changes.

sv-ec
   Haven't met since July 21

sv-xc
   Inactive

Champions
   Haven't met since August 21
Received on Thu Oct 23 08:01:49 2008

This archive was generated by hypermail 2.1.8 : Thu Oct 23 2008 - 08:01:56 PDT