RE: [sv-champions] Agenda for Champions conference call Nov 17th (new date)

Neil,

can you add 3022, 757 to the list, we just passed those in the CC committee today.
3022 was previously passed by the champions but we found some problems with it
and provided a new proposal for it.

Francoise
    '

-----Original Message-----
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Neil Korpusik
Sent: Monday, November 14, 2011 9:17 PM
To: sv-champions@eda.org
Subject: [sv-champions] Agenda for Champions conference call Nov 17th (new date)

1-866-682-4770 // toll free number (US)
    8967895 // conference code
    5999 // security pass code

1809452571 // toll free number (Israel)
    8967895 // conference code
    5999 // security pass code

Hi Champions,

The upcoming Champions conference call has been moved to this Thursday Nov 17, 2011 at 8am (PST). The contact information is shown above.

The agenda has not changed from when I sent out the first email. Please review the mantis items in the order given below. That will help ensure that there is more overlap in case someone doesn't have time to review them all before the meeting.

Ready for the Champions (12)
----------------------------
1. 3608 SV-BC Resolution of dotted names needs to mention parameters and nets 2. 1231 SV-CC Wrong cross reference in DPI Clause 26.2.2 3. 2506 SV-EC Non-trivial coverage space shapes and joint conditions 4. 1356 SV-EC Multiple inheritance 5. 3278 SV-EC virtual method type rules 6. 2505 SV-EC class select: what is allowed after the dot?
7. 3564 SV-AC Sec 9.2.2.2.1 needs to clarify whether variables read in an 8. 2328 SV-AC Review and relax restrictions on data types in assertions 9. 3033 SV-AC Enhance checker modeling capabilities 10. 3213 SV-AC Update definition of sampled value 11. 2845 SV-EC virtual interface type checking versus interface type that had 12. 2987 SV-EC Soft Constraints

Neil

-------- Original Message --------
Subject: [sv-champions] Agenda for Champions conference call Nov 16th
Date: Wed, 09 Nov 2011 16:39:24 -0800
From: Neil Korpusik <neil.korpusik@oracle.com>
Reply-To: neil.korpusik@oracle.com
To: sv-champions@eda.org <sv-champions@eda.org>

Hi Champions,

Based on the updated schedule that was put in place at the last Working Group meeting, there will be a Champion's conference call on November 16th, 8am-10am Pacific time. Contact information will be sent out by this Friday.

The final agenda won't be set until this Friday. As of today, the following set of mantis items is up for review. This agenda won't change unless one of the Technical Committees moves a mantis item from the Feedback state to the Resolved state by this Friday.

Ready for the Champions (12)
----------------------------
3608 SV-BC Resolution of dotted names needs to mention parameters and nets
1231 SV-CC Wrong cross reference in DPI Clause 26.2.2
2506 SV-EC Non-trivial coverage space shapes and joint conditions are difficult
1356 SV-EC Multiple inheritance
3278 SV-EC virtual method type rules
2505 SV-EC class select: what is allowed after the dot?
3564 SV-AC Sec 9.2.2.2.1 needs to clarify whether variables read in an
2328 SV-AC Review and relax restrictions on data types in assertions
3033 SV-AC Enhance checker modeling capabilities
3213 SV-AC Update definition of sampled value
2845 SV-EC virtual interface type checking versus interface type that had been
2987 SV-EC Soft Constraints

Below is the new schedule from the last Working Group meeting:

    Nov 1 - Champions email vote ends
    Nov 11 - Technical Committees done responding to Champions
    Nov 16 - Champions vote done
    Nov 23 - Technical Committees done responding to Champions
    Nov 30 - Last Champions vote
    Dec 1 - Working Group meets

Neil

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