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

Hi Francoise,

Summary:
    Mantis 757
       The sv-cc doesn't have permission to be working on mantis 757.
       The Technical Committees are limited to the list of mantis items that
       were shown in my email of November 1st. Mantis 757 is not on that
list.

    Mantis 3022
       Mantis 3022 is on the list of what the sv-cc is allowed to work on.
       The proposal of August 16th was approved by both the Champions
and the
       Working Group. A new proposal has been uploaded on November 16th,
even
       though the existing proposal has already been approved by the Working
       Group.

My decision:

Mantis 757
    I will not be adding it to the agenda. The Working Group was quite
clear
    in their instructions on what the Technical Committees were allowed to
    work on. There is a similar situation in the sv-ac.

Mantis 3022
    It will be added to the agenda for the NEXT Champions meeting. It
will not
    be on the agenda for tomorrow. There are several other mantis items
that
    have been moved to the resolved state, I see no reason to move 3022
ahead
    of those.

    The mantis item needs to be updated with the results of the sv-cc
vote and
    it needs to be moved back to the resolved state.

Neil

On 11/16/11 10:08, Francoise Martinolle wrote:
> 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.