Minutes from SV-AC Committee Meeting

Date: 2014-12-01

Time: 16.30:00 UTC (8:30 PST)

Duration: 1 hour

Agenda

- Reminder of IEEE patent policy.

See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Elaborating recommendations for the next P1800 PAR.

- 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 2014-11-18:

v[x-] Shalom Bresticker (Intel)

v[x-] Dennis Brophy (Mentor Graphics)

v[xx] Eduard Cerny (Synopsys)

v[xx] Ben Cohen

v[xx] John Havlicek (Cadence)

v[xx] Tapan Kapoor (Cadence)

t[xx] Dmitry Korchemny (Intel - Chair)

v[xx] Scott Little (Intel)

v[xx] Anupam Prabhakar (Mentor Graphics)

v[xx] Erik Seligman (Intel)

v[xx] Samik Sengupta (Synopsys)

|- attendance on 2014-12-01

|--- voting eligibility on 2014-12-01

Minutes

1. IEEE patent policy reminder

2. Elaborating recommendations for the next P1800 PAR

3478: Make drivers of inout ports accessible

Most people consider this item as important, but belonging to SV-BC realm.

SV-AC will recommend SV-BC to include this item to the next PAR.

Ben volunteered to champion this proposal

Scott expressed concern about SV-BC bandwidth availability for this issue.

5063: Automatic inference of assertion statement type

Ed and Erik expressed concern about this proposal: prescribing specific rules for assertion directive inference may contradict the behavior of formal verification tools.

Dmitry: Current LRM definition contradicts the behavior of most FV tools, therefore this definition should be modified. Specific modification may be as simple as a clarification sentence or may be complex and include new syntax and elaborated semantics. Also, definition of assumption is misleading.

Erik: need to change the item title to “Allow tools to modify the assertion statement type”.

SV-AC will recommend to include this proposal to the next PAR when its title has been modified

5064: Create standard package to define constants used in assertion-related stuff

SV-AC will recommend to include this proposal to the next PAR

5065: Create standard package to define implementation for commonly used properties

Erik expressed concern that this proposal should be handled by OVL committee.

John: This proposal is much simpler than new assertion library definition.

SV-AC will recommend to include this proposal to the next PAR

5067: Allow variables in delays and repeat operators

Many people consider this proposal important.

SV-AC will recommend to include this proposal to the next PAR

5068: concurrent assertions in classes

Most people consider this proposal important, but complicated.

Dmitry: Need also define checkers in classes

Ed: Need to define the clock semantics.

John: Form a group. Probably not feasible to complete the work in the next PAR, at to elaborate a recommendation.

Discussion stopped because the meeting ran out of time.

At the next meeting need to discuss proposals 5070 and 5071.

Tapan mentioned a need to develop VPI for checkers (item 2182). This proposal belongs to SV-CC, but need to discuss it at the next SV-AC meeting.

Ben suggested to revive several old enhancement proposals.

All these items will be discussed at the next meeting.

3. Opens

None

</pre>