SV-ACMinutes2014_12_01 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-ACMinutes2014_12_01 (2014-12-02, ErikSeligman) (raw view)EditAttach
&lt;pre&gt;

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 &ldquo;Allow tools to modify the assertion statement type&rdquo;.

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

&lt;/pre&gt;
<verbatim>
</verbatim>
Topic revision: r1 - 2014-12-02 - 21:15:46 - ErikSeligman
P1800