IEEE P1647 Header
Home
About
Membership
Patent related
Mail Archive
Minutes
Next Agenda
Downloads
Issue Tracking

Meeting 46 Minutes

Teleconference, December 1, 2008

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

Monday, December 1, 2008, 1700 UTC; 9 am Pacific Standard Time

Attendees: Andrew Piziali, Dave Von Bank, Henry Von Bank, Joe Daniels, Joseph Hupcey, Mark Strickland, Serrie Chapman, Stylianos Diamantidis, Tucker Brown and Yaron Kashai.

1. Call to Order

  • Call to order on December 1, 2008 at 9:03 am PST (17:03 UTC)

  • Andrew reminded members to mail a message to rollcall@ieee1647.org and the database will record their presence for future voting purposes.

2. Approval of October 6 Meeting 45 Minutes

  • Yaron made a motion to approve the meeting 45 minutes.

  • Stylianos seconded the motion.

  • Motion approved.

3. Status Update

  • News

    • NesCom approved submitted revision PAR on October 24

    • Posedge Software returns to the eWG with Dave and Henry Von Bank

  • October 6 Action Item

    • Andrew: Update four issues resolved during 1647-2008 publication ― done

  • Issue Tracking Summary

    • Deferred Issues From 1647-2008

      • 195 – Temporal Coverage Proposal

      • 626 – Constant Fields: Floating Point Number Support

      • 849 – Guy Mosenson Review

      • 879 – Addition: dut_errorf() and dut_error() {action block}

    • New Issues

      • 887 – P1647-2010 Standard Discussion

      • 890 – file_is_text() Text File Criterion

      • 892 – Define-As-Computed Macros

      • 893 – Semicolons As Separators

      • 894 – Chapter 9, Revisit Constraint Semantics

      • 895 – LRM Sect 1.1: Scope (needs to match PAR)

    • Andrew added version 2.1 through 2.6 to the LRM draft version choices for potentially six drafts of P1647-2010.

  • Technical Donations

    • Items

      • Define-as-computed

      • Interface ports

      • Named constraints

      • Parameterized types

      • Real data type

      • Temporal coverage

      • Type constraints

    • Andrew will post for review

  • Proposed Task Forces

    • Constraints

    • Coverage

    • Macros

    • Ports

    • Types

[There were no comments from other attendees.]

Andrew: I hope to choose leaders for these task forces in January.

  • Working Group Recruiting

    • Participation level -- only seven voting members at present, encourage your colleagues to join

    • A database update for DASC is upcoming, please respond promptly to email

  • Resourcing the working group

    • Resource components

      • Labor

        • Officers

          • Chair Andrew Piziali no longer funded

          • Vice-chair Darren Galpin funded by Infineon

          • Secretary Mark Strickland funded by Cisco

        • Technical editing

          • Unfunded

        • Technical contributors

          • Funded by their respective employers

      • Technical donations

        • Cadence continues their policy of donating all e extensions to Specman

      • Infrastructure

        • Cadence continues to provide website and email reflector hosting

    • Discussion

Yaron : Technical editing must be funded

Andrew : can we distribute cost among member entities?

Yaron : If we decide to proceed with only volunteers working in their free time, we may have to throttle back and plan to take longer.

Joe H.: There are a lot of corporate entities using/developing e that do not have representatives. Cadence pulling the full ticket is hard these days.

Andrew: Both consumers and developers benefit from e standard.

Joe D.: One alternative is to use an in-house writer, ex. Cisco or Cadence writer. The standard document framework is stable (i.e. FrameMaker doc set). Recommend five or six people split the initial work, then someone pull it all together.

Joe D.: With respect to other IEEE working groups, members all contribute, sometimes quarterly.

Joe H.: What are specific references?

Joe D.: P1800 SV members pay Accellera who pays Stu Sutherland (tech editor) at chair (?).

Andrew : Will take an AI to talk to P1800 chair (Karen Pieper) about how that committee approaches funding.

Joe H.: Are there more efficient ways to work (e.g. wiki)? Will take action item to see if Cadence can provide the services of one of its technical writers.

Dave Von Bank: Technical donations by Cadence were likely driven by e user requests; can we involve those users?

Joe H.: Great idea. Will take action item to recruit members from this list of users.

Serrie: Darren and I represent a small e development group within Infineon. We use twiki page and RT bug tracking system to share with the larger e community

Serrie: Will mail Andrew some references on twiki.

Joe H.: Can we count participation in wiki/forums towards voting rights?

Joe D.: Might not meet IEEE requirements.

Andrew : We do not require attendance for voting rights. We do require review of meeting minutes and posting to the rollcall email address. Will take action item to bounce these ideas off DASC chair (Victor).

Andrew: Michael Kipness is our IEEE DASC rep.

  • Schedule

    • Spring '09

      • Working group officer elections

      • Organize technical task forces

      • Begin review of technical contributions

4. Editor

[No comments.]

5. Other Business

Andrew: Any other business that anyone present would like to go through today?

[None offered.]

Andrew: Please remember to mail rollcall@ieee1647.org to record attendance.

6. Call For Essential Patents

The IEEE-SA updated the patent policy effective April 2008. The details are available in the 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.

7. Next Meeting

  • January 12 at 9 am PST (1700 UTC)

8. Adjourn

Yaron made a motion to adjourn the meeting.

Serrie seconded the motion.

Motion approved.

Meeting adjourned.

9. Action Items

  • Andrew Piziali will investigate the P1800 funding structure. P1800 chair is Karen Pieper.

  • Andrew Piziali 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

  • Andrew Piziali will post technical documents contributed by Cadence for each of the seven language additions under consideration

  • Joe Hupcey will look into the possibility of soliciting a Cadence technical writer for the P1647-2010 LRM

  • Joe Hupcey 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

  • Serrie Chapman will forward Andrew wiki and bug tracking system references



IEEE/SA home
IEEE Standards Association
DASC Home
Design Automation Standards Committee
VLSG Home
Verification Language Study Group
The 1647  PAR
Project Authorization Form




(Updated Thu Dec 4 13:31:03 CST 2008)