Date: 2016-02-10

Time: 17.00:00 UTC (9:00 PST)

Duration: 1 hour

Agenda

• Reminder of IEEE patent policy
  See: http://standards.ieee.org/board/pat/pat-slideset.ppt
• Mantis 5549: Minor editorial improvements to 40.5.3 (Obtaining coverage information)
• Mantis 5511: property_case_item syntax causes conflicts
• Mantis 5231: Assertion system tasks are not well-defined for assertions in packages
• Mantis grading (2858, 3027, 3099, 3552, 3555, 4037, 5476, 5517, 5520, 5549, 5551)
• Progress update
• Opens

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-12-15:

n[.x--] Mehbub Ali (Intel)

v[xx-x] Shalom Bresticker (Accellera)

v[xxxx] Eduard Cerny (Synopsys)

v[xxxx] Ben Cohen (Accellera)

n[x---] John Havlicek (Cadence)

t[xxxx] Dmitry Korchemny (Synopsys - Chair)

n[.x-x] Manisha Kulshrestha (Mentor Graphics)

v[xxxx] Anupam Prabhakar (Mentor Graphics)

n[x---] Erik Seligman (Intel – Co-chair)

v[.xxx] Samik Sengupta (Synopsys)

|- attendance on 2016-02-10

|--- voting eligibility on 2016-02-10

Minutes

IEEE patent policy reminder

Minutes approval

Ben: Move to approve the minutes from SV-AC meeting 2016-01-13.

Ed: Second

Vote: 4y/0n/1a (Shalom, was absent at the last meeting; Manisha has also abstained for the same reason, but she is not valid voter).

Meeting minutes have been approved.

Vote results

Discussed issues that received negative votes.

2384: Samik: This item requires clarification. Volunteer to work on it.

Ben: Volunteer to review.

Mantis 5549: Minor editorial improvements to 40.5.3 (Obtaining coverage information)

Shalom: Mantis is ready for vote.

Ben: Let’s have email ballot.

Mantis 5511: property_case_item syntax causes conflicts

Manisha presented the proposal

Dmitry: It should be possible to update the grammar to require only internal semicolons as I explained in the email.

Manisha: You have an issue in your proposal because you don’t take the case expressions into account.

Dmitry: Agree.

Shalom will review Manisha’s proposal.

Shalom: Close 5038 as duplicate for 5511

Mantis 5231: Assertion system tasks are not well-defined for assertions in packages

Dmitry explained the issue importance for the users.

Anupam: assertoff() will disable assertions everywhere, including packages

Shalom: The user may want to disable assertions only in a part of the hierarchy

Shalom: The problem with this Mantis is that implementing it may impose an unconditional performance penalty of simulation.

Dmitry: Vendors should understand the implications.

Anupam: Checkers may also belong to package, not only functions

Dmitry: Let’s try to define the solution regardless of efficiency considerations and then we will review it from this point of view.

Shalom agreed to own this issue and to champion it in SV-BC.

Opens

Ben: Need to discuss degeneracy when time permits (maybe next time).

-- Erik Seligman - 2016-03-08

Comments