[sv-ec] Meeting Monday February 14 2011, 11:00am - 1:00pmPST, and Minutes of Jan.17.2011 meeting

From: Mehdi Mohtashemi <Mehdi.Mohtashemi@synopsys.com>
Date: Fri Feb 11 2011 - 13:57:22 PST

1) The minutes of previous meeting, Jan17.2011 has been uploaded to sv-ec site.

  http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_January_17_2011_Minutes.txt

2) The SV-EC conference call meeting is held on Monday February 14, 2011,

Time: 11:00am - 1:00pm (GMT-08:00) Pacific Time (US & Canda).

Toll Free Dial In Number: (888)635-9997

***************************************

PARTICIPANT CODE: 0536987#

***************************************

International Access/Caller Paid Dial In

Number: (763)315-6815

Agenda:

1. Review IEEE patent policy

------------------------------------------------------

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

2. Approval of previous meetings minutes:

------------------------------------------------------

 December 6 2010 and January 17 2011 meetings

http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_December_6_2010_Minutes.txt

http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_January_17_2011_Minutes.txt

3. Updates from P1800 WG

---------------------------------------------------------------------------

    Participation and voting guidelines, other updates.

    Updates from IEEE Jieta meeting 1/27/2011, WG meetings: February 10 2011.

4. Continue Review and discussion of top 25 issues and categories:

------------------------------------------------------

    Review of the top 25 [+10+3]; 9 have been approved.

      696 Ballot Feedback Issue 225: Add parameterized tasks and functions
                  [Was passed in October in svbc, requested to review this in sv-ec]

     2506 [2953] Coverage [Scott]
     2993 Coverage Cross cover points across different cover groups [Arturo, Swapnajit]
     3002 Aspect Oriented Programming (AOP) features [Tom]
     3046 Dotted names within inlined constraints [Gord]
     3082 Daniels' top items [3075, 3076, 3077, 3078, 3079, 3080, 3081]
     3003 [2987, 2988] constraint composition [Jonathan, Tom, Ray, Arturo]
     2735 ballot comment #48, chaining.. [Arturo, Steven, Gord]
     2848 Is it legal to assign an interface containing class declaration to a virtual interface [Francoise]
                [hold for next few meetings: sv-bc is also looking at interfaces]
     1356 Interface Classes [Multiple inheritance] [Tom, Brandon] [next 3 are related to 1356; added per WG approval]
     3278 virtual method type rules [Francoise]
     3279 Enhance method override rules to allow covariant typing [Francoise]
     3293 Clarify $cast behaviour on class handles [Jonathan ]
    3001 Proper Polymorphic behavior of instantiation [Jonathan, Tom, Francoise]
     2999 Class Handle reference inside of Constraints [Tom, Ray, Arturo]
     1706 Meaning of static prefix for virtual interface assignments [Mark, Steven, Francoise]
     2488 Are virtual method calls legal within class constructors? [Steven, Francoise]
     2112 Remove restrictions on NBA assigments to class members [Dave, Steven]
     1442 Clocking blocks legal in modports, missing from text description in 20.9 [Steven]

     2900 - Associative array should consider the context of an lvalue to create an entry [Dave]
     3254 - 18.5.6 if-else constraints mistakenly uses the work "block" when it means "set" [Dave]

5. Next meetings February and March 2011

-----------------------------------------------------
      Monday February 14 2011 Regular biweekly
      Monday February 28 2011 Regular biweekly
      Monday March 14 2011 Regular biweekly
      Monday March 28 2011 Regular biweekly

==== for reference ==========================================================
=========== from January 17 2011 meeting ===================
   AI: 2848 Mehdi - hold this off for the next 3 or 4 sessions.
   AI: 1356 Tom/Team state the differences between extensions and inheritance.
============ from December 6 2010 meeting ===================
  AI: 2845 Francoise - update the proposal with these changes.
  AI: 2848 Francoise - update the proposal with these changes.
  AI: 1356 Tom - update the proposal with some of the issues being raised.
  AI: 1356 all - review the new proposal before the next meeting.

============ from November 22 2010 meeting ===================
  AI: 2848, 2845; Franocoise update the proposals.
  AI: 2505; Neil S., update the proposal.
  AI: 2506; put the proposal into the required format
  AI: everyone to review and be ready to discuss during next time.

============ from November 8 2010 meeting ===================
  AI: Minutes; Mehdi - will check for consistency between the left and right sides for
              the attendance.
  AI: for 1356 Multiple Inheritance (interface classes)
        Mehdi - will make a request to the WG on this. General statement about
               being allowed to work on mantis items that are affected.
  AI: Jonathan - NULL within $cast
  AI: Gord - the OVM people would like to have that. Covariant and
                  Contravarianct type extensions.
                  you allow method that do not allow exact type signature of over-written method,
                 but can return the objects of the type of original return type,
                 impact of that would be on Interface classes.
  AI: Gord - Overwriting of virtual method section
  AI: Tom - update the proposal (to number 4)

============ from October 25 2010 meeting ===================
  AI: 1356 Tom - update the proposal, make corrections and more normative text.
            All - provide more detailed feedback to Tom.
============ from October 11 2010 meeting ===================
  AI: related to 2505 All - should we allow enum constants to be accessed by the dot?
  AI: 2953 Mehdi - make 2953 a child of 2506
             Mehdi - make a request in this week's P1800 meeting to work on 2506
  AI: 2080, 1672, 802 Neil - update the mantis items (3 of them)
  AI: 251 Mehdi, leave mantis 251 open
  AI: 2794 Mehdi, reopen mantis item for feedback
             Jonathan: update
  AI: 2949 Jonathan: send email to Brad to get clarification on his feedback.
============ from September 27 2010 meeting ===================
  AI: 3003 Tom - will get feedback on specific examples. (see 18.7 for information on the with-clause)
  AI: 3003 Jonathan - will get an email discussion going.
============ from September 13 2010 meeting ===================
  AI: Coverage item Swapnajit - will provide a note for clarification, to be added to Mantis 1802
  AI: Coverage item Swapnajit - will put together a proposal for this issue.
       [related to 19.5.3 wildcard specification]
  AI: 2848 Francoise - Will do a write-up for this proposal.
  AI: 2845 Francoise - will try to write-up for this.

============ from August 30 2010 meeting ===================
   AI:2956 Mehdi making a note to the editor for adding cross reference.
  AI: 2794 Jonathan will make the friendly amendment.
  AI:3028 Jonathan create a proposal and upload it for more discussion and vote next meeting.

============ from August 16 2010 meeting ===================
  AI: 3028 Jonathan - write up the parallel proposals.
  AI: 2794 Jonathan - add text for the case where indices are x, z
  AI: 1442 Steven - check if Shalom's comments make this issue moot.
  AI: 1349 Steven: create the proposal for 1349
  AI: 2451 Steven put a proposal together.
  AI: 2993 Tom; will check internally to see if these meet their needs
  AI: 2993 Mehdi; upload the email as a note to the mantis item
  AI: 2993 Arturo; will donate their implementation.
============ from Aguust 2 2010 meeting ===================
 AI: 1706 Steven put together an email for bc to provide feedback on 4 options
      Mehdi can send to sv-bc
 AI: 2993 Swapnajit: add a note to the mantis item as to where we currently are in
        the process.
 AI: 2953 Ray - take a look at this one

============ from July 19 2010 meeting ===================
 AI:Tom get confirmation from users about exact intent of the original request for 3001
 AI: Francoise will add a note to the mantis item 2848
 AI: Gord will write up a proposal for 3046
 AI: Ray will add a bugnote 2999

---------------------------------------------
  [TO BE APPROVED] Summary table: Assigned Lead/Champions
---------------------------------------------
1 2848 Francoise
2 3002 Tom, Dave, Jonathan, Francoise, Arturo, Neil S., Cliff, Gord
3 3046 Gord, Franocise, Mark, Ray
4 1356 Tom [same with 3002]
5 3001 Jonathan, Tom, Francoise
6 2999 Tom, Ray, Arturo,
7 3003 [2987, 2988] Jonathan, Tom, Ray, Arturo,
8 3082 Daniel, Jonathan,
12 2735 Arturo, Steven, Gord,
13 1706 Mark, Steven, Francoise,
14 2488 Steven, Francoise,
15 2112 Dave, Steven,
19 2993 Tom, Ray, Swapnajit (cadence)
20 1442 Steven,
21 2506 [2953] [Coverage] Scott
25 2987 Jonathan (combining 2987, 2988, see 3003)
added [per WG approval related to 1356]
        3278 [Francoise] virtual method type rules
        3279 [Francoise] Enhance method override rules to allow covariant typing
        3293 [Jonathan ] Clarify $cast behaviour on class handles

APPROVED by sv-ec
--------------------------------------------------------
9 2845 Francoise, Mark, Alex Neil S., Gord?
10 2956 Steven,
11 2505 Neil S., Mark, Francoise
16 3028 Arturo, Ray, Neil S., Mehdi,
17 2950 Francoise,
18 2794 Jonathan, Steven
22 1349 Steven
23 2949 Jonathan, Steven
24 2451 Steven,

-------------------------------------
[next 10]
26 3006 Ray, Steven,
27 3004 Tom
28 2998 Tom
29 2117 Cliff??
30 No Mantis 6 could be linked with 2991 with sv-bc
31 2928 Ray, Arturo,
32 2787 ?? (Daniel)??
33 2972 ?? (Daniel)??
34 2996 Tom,
35 2988 already assigned (see 3003)
36 No Mantis 4 related to AOP (already covered)
--------------------------------------------------------------

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Feb 11 13:57:53 2011

This archive was generated by hypermail 2.1.8 : Fri Feb 11 2011 - 13:58:18 PST