Minutes from SV-AC Committee Meeting

Date: 2016-05-04

Time: 16.00:00 UTC (9:00 PDT)

Duration: 1 hour

Agenda

Attendance Record

Legend:

x = attended

- = missed

r = represented

. = not yet a member

v = valid voter (2 out of last 3 or 3/4 overall)

n = not a valid voter

t = chair eligible to vote only to make or break a tie

Attendance re-initialized on 2016-03-09:

v[.x-xx] Mehbub Ali (Intel)

n[.xx--] Ang Boon Chong (Intel)

n[x-x-x] Shalom Bresticker (Accellera)

n[.x---] Dennis Brophy (Mentor Graphics)

v[xxxxx] Eduard Cerny (Synopsys)

v[xx-xx] Ben Cohen (Accellera)

t[x-xxx] Dmitry Korchemny (Synopsys - Chair)

v[xxx-x] Manisha Kulshrestha (Mentor Graphics)

v[xxxxx] Anupam Prabhakar (Mentor Graphics)

v[xxxxx] Erik Seligman (Intel – Co-chair)

n[x-x-x] Samik Sengupta (Synopsys)

|- attendance on 2016-05-04

|--- voting eligibility on 2016-05-04

Minutes

IEEE patent policy reminder

Minutes approval

Ben: mention about closing 2578 and 5584 is missing from the minutes

Email ballot results

Issue 3672 passed, but there were comments from Shalom who was not a valid voter. It was decided to address his comments and revote.

Ed asked from everybody to look closely at his proposal to avoid redundant ballots.

Mantis 3117: make it clear that rewriting algorithm (F.4.1) applies to checker and let

Manisha: The proposal is ready to vote. Writing a separate proposal on let.

Opens

Dmitry: Created Mantis 5623 requesting clarification of non-degeneracy.

Manisha: Current formulation is confusing: there is an impression that only sequences admitting only empty matches are allowed in the antecedent of a non-overlapping implication.

Dmitry: What about: “It is legal for this sequence to admit only empty matches”?

Shalom:

Submitted items 4022 and 3555. They are ready to vote.

Ben:

Suggest to close 2578 and 5548

Dmitry: Suggest the following reason for closing 2578: “The existing definition of vacuity is satisfactory for practical applications”. I am opposed to close 5548 because it is about adding a reference to non-degeneracy from implication property description.

Samik: Will create a Mantis to improve the language 17.5 Checker procedures. It will be possible to call to vote when ready since this is an editorial change.

-- Erik Seligman - 2016-05-05

Comments

Topic revision: r1 - 2016-05-05 - 21:40:43 - ErikSeligman
 
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback