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