RE: [sv-champions] Agenda for Champions conference call Nov 16th

From: Francoise Martinolle <fm@cadence.com>
Date: Mon Nov 14 2011 - 16:21:17 PST

 
I can attend as well.
Francoise
    '

-----Original Message-----
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Rich, Dave
Sent: Monday, November 14, 2011 10:12 AM
To: Neil Korpusik; sv-champions@eda.org
Subject: RE: [sv-champions] Agenda for Champions conference call Nov 16th

I can attend the first 90-minutes

Dave
Mentor Graphics

-----Original Message-----
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Neil Korpusik
Sent: Thursday, November 10, 2011 6:36 PM
To: sv-champions@eda.org
Subject: Re: [sv-champions] Agenda for Champions conference call Nov 16th

Champions,

I would like to move the conference call from Wednesday Nov 16 to Thursday Nov 17. This will allow Shalom to attend.

Please let me know if this will work for you.

Neil

On 11/09/11 16:39, Neil Korpusik wrote:
> 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.
Received on Mon Nov 14 16:20:50 2011

This archive was generated by hypermail 2.1.8 : Mon Nov 14 2011 - 16:20:50 PST