Meeting 38 Minutes

Teleconference, December 10, 2007

A quorum of ten voting members present. Three non-voting members are also present. Attendance and voter status indicated on the roster web page.

Attendees

• Voting members: Andrew Piziali, Darren Galpin, Joseph Hupcey, Mark Strickland, Matan Vax, Michael McNamara, Sandeep Desai, Serrie Chapman, Stylianos Diamantidis, Yaron Kashai

• Non-voting members: Charu Aggarwal, Joe Daniels, Manikandan Panchapakesan

1. Call to order

• Call to order on December 10^th, 2007 at 9:04 am PDT (1704 UTC).

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

2. Approval of November 12^th meeting 37 minutes

• Darren Galpin made a motion to approve the meeting 37 minutes

• Michael McNamara seconded the motion

• No discussion of minutes and no objections

• Motion approved

3. Review any outstanding draft five P1647-2008 clause issues

• Action items

  • Darren — will open an issue to clarify the descriptive text of “assert”

    • Issue 878 opened

    • e-errors-071116-ap.doc written with changes

    • Changes incorporated in LRM draft five

    • Any questions or comments?

    • [Silence]

  • Matan will open an issue to add “untyped” description to basic types section of LRM

    • Issue 881 opened

    • Changes incorporated in LRM draft five

    • Any comments?

    • [Silence]

• Open issues

• 195 — Temporal Coverage Proposal ... deferred

  • Would need big changes to coverage section

• 626 — Constant Fields: Floating Point Number Support ... deferred

• 627 — Posted BNF redundant productions ... deferred

  • These are on the website and noted from Yaron some time ago. Yaron?

  • Yaron : We should remove these from the website — the BNF is not part of the standard. Only the syntax clauses in the LRM are the standard.

  • Removed from the web site

  • Issue to be closed

• 849 — Guy Mosenson Review ... deferred

  • From draft 3 of the LRM

  • Things that could be improved. These are not substantial changes and were late — do for next version.

• 870 — B.1 Section Title Font of e ... to be corrected post-ballot

• 871 — Proper Typesetting of the Name *e* ... to be corrected post-ballot

• 879 — Addition: dut_errorf() and dut_error() {action block} ... deferred

• 882 — Include *do* in *keep for each* Syntax ... to be corrected in draft six

  • Andrew : I opened this issue recently. In draft 5 I noted that in “keep for each” the optional word “do” is not mentioned. I have habitually used do — should we just incorporate it in the version we submit for ballot, or not? Comments?

  • Mac : Specman accepts this already?

  • Andrew : Yes, and has done so for some years. This slipped through in the past.

  • Mac : If code is out there which expects it, we should include it.

  • Joe D. : Unless there is a strong objection to it, I can just include it as a late change.

  • Andrew : Any objections to including this?

  • [Silence]

  • Andrew : The status is “Update for editor”, so please do this. Issues 870 and 871 are still open — some typesetting issues. These are to be done, but the IEEE typesetters might not preserve the changes.

• Others?

• Issue 836 — Redux: Semicolon is a Separator, Not a Delimiter

  • Darren : Issue 836 is still “TF Verify fix (after edit)”

  • Joe : This is the semicolons.

  • Andrew : I have verified about a third of these and haven't moved this to verified and closed yet. Joe is comfortable with making any changes I find late in the game. Why didn't it show as an open issue?

  • Darren : It is not an open issue - you have to go to “TF Verify fix (after edit)” to see it.

• Matan found an inconsistency in section B.1 of the LRM

  • The last sentence of the first paragraph of this section reads: “Given that all entities have a name that is unique in their kind irrespective of the order of analysis, this question concerns only semantic correctness, i.e., whether the program is legal or not (this might not be the case with name spaces, where different resolutions of names are possible).”

  • This was written before name spaces were included in the language so Matan recommends we remove it

  • No objections raised to removing it so Matan will open an issue

• The primary changes for the balloted version (draft six) will be the removal of the change bars and issue numbers, and the addition of these last remaining few issues.

• Going forward

• January IEEE ballot

4. Vote on ratification of P1647-2008 for submission to IEEE as a standard

• Andrew : This is the ballot on draft 5. May I have a motion for the ratification vote?

• Darren : I move to approve a ratification vote of draft 5.

• Serrie : I second.

• Andrew : Any comment/discussion on this?

• Joe Hupcey : I approve, want to vote yes — does this count as discussion?

• Andrew : I'll hold the vote in a moment. Any abstentions or votes against?

• [Silence]

• Andrew : In that case I'll note it as carried.

• Mac : I would prefer a roll call.

• Andrew : Okay.

• Darren : Approve

• Joe Hupcey : Approve

• Matan Vax : Approve

• Michael MacNamara : Approve

• Sandeep Desai : Approve

• Serrie Chapman : Approve

• Stylianos Diamantidis : Approve

• Yaron Kashai : Approve

• Andrew Piziali : Approve

• Andrew : Have I missed any voting members?

• Mark Strickland : I approve.

• Andrew : Are you a member of DASC?

• Mark : Yes, I joined a little while ago.

• Andrew : OK, you are noted as a voting member.

• Mac : I checked on the DASC website - he is listed.

5. Editor

• Joe D. thanked everybody for all of their hard work to bring the LRM to its ballot-ready state.

6. Other business

Andrew : Please send message to rollcall@ieee1647.org. Any other business?

7. Call for essential patents

• The IEEE-SA updated the patent policy effective April 30.

• 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.

7. Next meeting

Andrew: January 14 at 9 am PST (1700 UTC)

Joe H: I have a conflict at that time but I'll try to work around it

8. Adjourn

• Serrie made a motion to adjourn the meeting.

• Darren seconded the motion.

• Meeting adjourned.

10. Action Items

• Matan — Open an issue to remove the last sentence of the first paragraph of section B.1 (“The ordering problem in e,” P1647_Draft_5_071127.pdf, page 441, lines 37-40).

• Andrew — review changes to draft five with Joe D. that will be incorporated into the ballot draft six

• Andrew — Close issue 627, "Posted BNF redundant productions"