[sv-champions] Agenda for July 10th meeting

Hi Champions,

The agenda for our next meeting is attached.
There are 10 mantis items for review, one of which is a duplicate
and one requires no changes.

Neil




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


 
               Toll Free Dial In Number: (866)839-8145
Int'l Access/Caller Paid Dial In Number: (215)446-3660
                            ACCESS CODE: 9301228


List of Mantis items for the next Champions meeting.
July 10, 2008. 8-10am PDT.


1.  2431  SV-AC  Addressing editor issue regarding \equiv operator definition
    - Fixed
    - Unanimously aproved by sv-ac by voice vote 2008-06-30: 5y/0n/0a

2.  2173  SV-BC  Add case construct for properties.
    - Fixed
    - Unanimously approved by the SV-AC 2008-03-20: Voice vote 5y/0n/0a
    - Champions sent it to sv-bc for review
    - SV-BC provided feedback 
    - It was updated with SV-BC feedback and aligned to draft 6
      Re-approved by the sv-ac by voice vote 2008-06-30: 5y/0n/0a
    - June 30, Dmitry sent email to sv-bc notifying them of the change 

3.  2326  SV-AC  add VPI diagrams for property case
    - Fixed
    - Unanimously approved by the sv-ac 2008-03-20: Voice vote 5y/0n/0a
    - The SV-CC reviewed this on 04/09/2008 and PASSED it (unanimous).
    - The proposal was deferred by the Champions in the April 24th, 2008
      conference call until 0002173 is completed.
    - aligned with Draft6. Approved by voice vote 2008-06-30: 5y/0n/0a

4.  2327  SV-AC  2173 adds property case, need to add vacuity definition and 
		 multi clocking behavior in it
    - Fixed
    - SV-AC unanimously approved 2008-03-20: Voice vote 5y/0n/0aS
    - The proposal was deferred by the Champions in the April 24th, 2008
      conference call until 0002173 is completed. 
    - aligned to Draft6 was approved by voice vote 2008-06-30: 5y/0n/0a

5.   742  SV-CC  Need VPI info on parameters that are types
    - Fixed
    - On 06/04/2008 the SV-CC PASSED this proposal (unanimous).

6.  1076  SV-BC  Misuse of term reg in 17.2.4.4 (1364)
    - No change required
    - On June 23, 2008 the SV-BC unanimously approved resolving this issue 
      with no further action as it was addressed during the merge of the 1364 
      and 1800 LRMs. 

7.  2127  SV-BC  Clarify event scheduling of sequential UDPs
    - Duplicate
    - On June 23, 2008 the SV-BC unanimously approved resolution of this issue 
      with no further action as it is a duplicate of 0001062.

8.  2360  SV-BC  Missing Initialization Vector spec for Encryption breaks 
             portability for all CBC algorithms
    - Fixed
    - On June 9, 2008 the SV-BC unanimously approved the proposal with
      the friendly amendments noted here on the SV-BC reflector:

	 http://www.eda-twiki.org/sv-bc/hm/8738.html [^]

      This feedback is also captured in Shalom's bug note (0007007) 
       dated June 7, 2008.

9.  2054  SV-CC  Draft 3a, Section 40 - Deprecate Data Read API
    - Fixed
    - The SV-CC PASSED this on 03/26/2008
      3 opposed: Michael, Francoise, Ghassan
      1 abstain: Bassam
      6 in favor: Abi, John, Chuck, Jim, Steve, Anil
    - The proposal was approved by the Champions in the April 10th, 2008
      conference call with friendly amendments.
      There was one abstain. (Brad - doesn't know enough about it)
    - The proposal was updated.
    - On 05/21/2008 the SV-CC approved the latest proposal for this issue. 
      (unanimous)

10. 2094  SV-CC  Need to extend VPI to handle class specializations
    - Fixed
    - The SV-CC PASSED this on 03/26/2008 (unanimous)
    - The proposal was unanimously approved by the Champions in the
      April 10th, 2008 conference call with friendly amendments.
    - On 05/21/2008 the SV-CC approved the latest proposal for this issue. 
      (unanimous)



The following Mantis item is in the resolved state. 
It is ready for the Working Group. No additional action is required by 
the Champions.

2143  SV-CC  How should VPI handle index expressions with side effects?