Meeting 50 Minutes

Teleconference, April 20, 2009

A quorum of four out of seven voting members present. Five non-voting members are also present. Attendance and voter status indicated on the roster web page.

Monday, April 20, 2009, 1605 UTC; 9:05 am Pacific Daylight Time

Attendees

• Voting members (4/7 voting members present)

  • Andrew Piziali

  • Dave Von Bank

  • Mark Strickland

  • Serrie Chapman

• Non-voting members

  • Ajeetha Kumari

  • Matan Vax

  • Mike Bartley (TVS)

  • Srinivasan Venkataramanan (CVC)

  • Stylianos Diamantidis

  • Yaron Kashai

1. Call to order meeting 50 on April 20 at 9:05 am PDT (1605 UTC)

• Andrew reminded members to mail a message to “rollcall@ieee1647.org” in order to record their meeting attendance.

2. Approval of March 9 meeting 49 minutes

• Solicit motion to approve the minutes

• Serrie motioned

• Yaron seconded

• Minutes approved

3. Status update

• Officer Election

  • Results

    • Chair ........ Darren Galpin

    • Vice Chair ... Stylianos Diamantidis

    • Secretary .... to be appointed

  • Andrew: These election results will be finalized by DASC this week.

• Action Items

  • 12/1/08

    • Andrew — will discuss P1647 participation with Victor Berman (DASC chair) and Michael Kipness (DASC IEEE rep) as a wiki contributor for the purpose of maintaining voting privileges. — Done. Victor sees no objection to this proposal so long as we track this participation. If the eWG approves this change we need to run it by the DASC for approval also. Next 1647 meeting, we can introduce a motion to change the bylaws to include this condition.

    • Joe H. — will identify a driver customer for each language addition on the table and ask them to join the eWG and contribute both labor and, if necessary, funding. — Pending

      • 4/13: Joe asked Alan Ahlschlager if he and Brett Lammers can access the support database.

      • 3/6: Joe is coordinating this with CDNS Support, correlating enhancement requests with P1647-2010 features. Expected to be a somewhat slow process as service requests are not currently categorized by language construct.

  • 2/9/09

    • Andrew — solicit constraints, ports and types task force leads. — Done. See below.

• P1647 Call-For-Participation Letter

  • Final draft

  • Channels

    • ASIC Design Yahoo! group

    • Cadence AE customers

    • Cool Verification

    • DeepChip

    • DVClub — Serrie will give Call-For-Participation at DVClub Europe next week.

    • Inactive P1647 WG members

    • Specman Yahoo! group

    • Universities

    • Verification Guild

Srini: Are we waiting for a final draft from Joe Hupcey?

Andrew: We do want to make more modifications to make it appropriate to be sent by the eWG chair.

Srini: I have opportunities to circulate it now ... should I wait?

Andrew: No, take the last draft and make modifications as you want. The letter does not need to be identical in all usages.

• www.ieee1647.org Server

Andrew: Currently this is a Cadence-internal machine, so the new eWG officers will not have access. Joe Hupcey is exploring a low cost external server.

• P1647-2010 Features

  Define-As-Computed	Parameterized Types
  Interface Ports	Real Data Type
  Named Checks	Temporal Coverage
  Named Constraints	Type Constraints

• Task Forces

  • Constraints (lead: Mark Strickland)

    • Named checks

    • Named constraints

    • Type constraints

    • Mark: No activity yet; what is the schedule?

    • Andrew provided schedule shown below. The immediate tasks are review of the documents provided to determine whether they are coherent candidates for language inclusion and recruiting team members.

  • Coverage (lead: Andrew Piziali)

    • Temporal coverage

    • Srini V. volunteered

  • Macros (lead: Matan Vax)

    • Define-as-computed

    • Donated document is the entire macro section from the Specman docs

    • Yaron: Need to be careful about changing the material that is published and standardized. Ideally, the updated standard should identify which sections have been changed.

    • Matan: Intending no change in definitions versus the existing standard, but will be more complete. We must verify replacement code is 100% compatible with the existing standard. An example of the suggested change would be to separate out the text that is common to “define as” and “define as computed” to make it more obviously shared.

  • Ports (lead: Yaron Kashai)

    • Interface ports

    • TLM ports as in SystemC

    • Yaron is a tentative lead, having never used the new features. He will look for a user who is experienced in using the new features to assist.

  • Types (lead: Mike Bartley)

    • Parameterized types

    • Real data type

    • Henry and Serrie will contribute

    • Mike first used e in 1999, subsequently at Infineon and Clearspeed. He was at ST previously.

• Schedule

  • Spring and summer '09

    • Begin review of technical contributions

  • Fall '09

    • Integrate changes into LRM

    • Decide what features is and what is out

  • Spring 2010

    • Ballot P1647-2010

4. Other business

• Any other business?

• Mail a message to rollcall@ieee1647.org!

5. Call for essential patents

• The IEEE-SA updated the patent policy effective April 2008

• The details are available in updated slide set at http://standards.ieee.org/board/pat/pat-slideset.pdf (See "Patent related" from the IEEE 1647 home page, "Slides About IEEE Patent Policy").

• If you believe that any patent claims are essential patent claims, please inform the working group. Review the posted slides for more information.

6. Next meeting

• May 11 at 9 am PDT (1600 UTC)

7. Adjourn

• Yaron motioned

• Serrie seconded

• Motion approved

• Meeting adjourned at 9:30 am PDT