[sv-cc] SV-CC agenda for 04/02/2008

Our next SV-CC meeting is on 04/02/2008.  We will focus on SV-AC issues
this and next week.

The call-in information for this meeting is as follows:

   U.S.               866-807-0627
   International      203-955-5179
   Passcode           399143

Meeting will start at 11:30am EDT (3:30pm GMT), and last for 1.5 hours.

AGENDA

1.  Review Patent information

   Go to:
     http://standards.ieee.org/board/pat/pat-slideset.ppt

2.  Approval of the agenda

3.  Review minutes from last meeting (03/26/2008)

4.  Liaisons

   - Francoise to report on Champion issues
   - Anyone care to make a report?

5.  Consent Agenda


6.  Expedited Agenda Items


7.  New business

   - Review the SV-AC issues:
       1898 Explicit mappings from assertion system tasks to callbacks (Bassam Tabarra)
       2100 Synchronous aborts (Yaniv Fais)
       2237 VPI additions for 1667 (John Havlicek)
       2250 VPI changes for LTL operators(Erik Seligman)
       2246 VPI definitions of assertkill need modifications (Lisa Piper)
       2326 Case property statement VPI
   - Review other SV-AC issues (not on Erik's latest list, but on earlier one):
       1503 27.33 VPI diagram of propertyinst has no vpiArgument (Bassam Tabarra)
       1599 API and VPI changes for 0805 (Bassam Tabarra)
       1757 accept_on/reject_on (Doron Bustan)
       2005 Glitches with immediate assertions (Erik Seligman)
       2173 Add case construct for properties (Yaniv Fais)
   - vpiArray issue in Item 1942
   - Review Item 1465 (per Shalom's request)
   - Questions on our feedback for Item 2182
   - Others?

8.  Review SV-CC items with proposals:


9.  Review SV-CC items with proposals (Straw poll only):

   - Others?

10.  Review old business:

   - Francoise and Bassam to continue work on assignment patterns.
   - Francoise and Bassam to figure out what should happen when you get the
     size of a string constant.
   - Chas to update Item 1570.
   - Chas to ask the editor about Item 0417.
   - Steve to write a proposal for dealing with the inconsistencies with the
     protection properties.
   - Chas to talk with editor on re-arranging the VPI that is outside of the
     VPI sections.
   - Bassam, JimV, and Lisa Piper to work on issues found in Item 1503.
   - Chas to ask the editor for the framemaker for the Data Read API.
   - Chas to implement a "consent agenda" and an "Expedited Proposals" in agenda.
   - Chas to add an "Agenda Approval" to the agenda.
   - Chas to schedule another Data Read API meeting after DVCon.
   - Bassam to implement the friendly amendment to Item 1599.
   - Chas to ask John Havlicek to join the SV-CC meeting when we discuss SV-AC issues.
   - Chas to ask the SV-AC to fix the #defines in proposal for Item 2005.
   - Francoise to bring up the issues we found with Item 2250 at Champions meeting.
   - Chuck to update proposal for Item 1230 with three friendly amendments.
   - JimV to add friendly amendment to proposal for Item 2216.
   - Chas to enter Mantis Items for Krzysztof Konopko's questions
   - Chas to tell SV-AC that we are okay with Item 2005 provided the move the #define


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