[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.