Minutes from SV-AC Committee Meeting

Date: 2016-01-27

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

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

v[.x-] Mehbub Ali (Intel)

v[xx-] Shalom Bresticker (Accellera)

v[xxx] Eduard Cerny (Synopsys)

v[xxx] Ben Cohen (Accellera)

v[x--] John Havlicek (Cadence)

t[xxx] Dmitry Korchemny (Synopsys - Chair)

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

v[xxx] Anupam Prabhakar (Mentor Graphics)

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

v[.xx] Samik Sengupta

|- attendance on 2016-01-27

|--- voting eligibility on 2016-01-27

Minutes

IEEE patent policy reminder

Minutes approval

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

Ed: Second

Vote: 5y/0n/0a.

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.

4201: Ben: Saying that the tools should automatically flag an error is not a valid justification.

Anupam: This mantis suggests to introduce type casting in the description of handling untyped formal arguments. However, substitution semantics cannot be reduced to casting. Also, .triggered method may be applied to events, not only to sequences.

Dmitry: Annex F4 already explains the rewriting rules. We can reformulate the justification as follows: Annex F4 already explains the rewriting rules. Type casting will have a conflict with the substitution semantics.

Ben: Move to vote to resolve mantis 4201 as “no change required”.

Voice vote: 5y/0n/0a – passed.

Mantis Ownership Assignment

921: Semantics of "calling subroutines on match of a sequence" is not well defined.

Anupam: It was decided in one of the previous meetings to postpone this item to a later PAR. Too much work for this one.

Dmitry will assign ownership for low effort items. Discussion about assigning high effort items.

3217: Definition for referring to an assertion as a relative hierarchical name is missing in Section 23.6

3672: hierarchical access to named block in assertion action blocks

Ed: These two items are related. Will take ownership provided Samik agrees to work with me.

Samik: Confirmed.

2980: semantic inconsistency between expect and procedural concurrent assertions

Will be discussed next time

3610: Sequence methods with sequences admitting empty match

Dmitry: General note: LRM organization regarding nondegeneracy is confusing. Nondegeneracy is defined in only 16.12.22, whereas it applies to implications. It is easy to miss this limitation. LRM requires a reorganization. Will open a Mantis

5038: Grammar changes for Mantis 3525 appear to have unintended effects

5511: property_case_item syntax causes conflicts

Anupam: This is the same item. Will handle it with Manisha

-- Erik Seligman - 2016-03-08

Comments

Topic revision: r1 - 2016-03-08 - 18:51:36 - ErikSeligman
 
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback