SC-ACMinutes2015_01_05 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SC-ACMinutes2015_01_05 (2015-01-16, ErikSeligman) (raw view)EditAttach
Minutes from SV-AC Committee Meeting

Date:    2015-01-05

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

- 4571: For next 1800: Probing property local variables for sharing across boundaries

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

 n[x---] Shalom Bresticker (Intel)

 n[x---] Dennis Brophy (Mentor Graphics)

 v[xxxx] Eduard Cerny (Synopsys)

 v[xxxx] Ben Cohen (Accellera)

 v[xxxx] John Havlicek (Cadence)

 v[xxx] Tapan Kapoor (Cadence)

 t[xxxx] Dmitry Korchemny (Intel - Chair)

 v[xxxx] Scott Little (Intel)

 v[xx-x] Anupam Prabhakar (Mentor Graphics)

 v[xxxx] Erik Seligman (Intel)

 v[xx-x] Samik Sengupta (Synopsys)

   |- attendance on 2015-01-05

 |--- voting eligibility on 2015-01-05

Minutes

-------

1. IEEE patent policy reminder

2. 4571: For next 1800: Probing property local variables for sharing across boundaries

Ben: Motivation: This proposal is useful for graphical input of assertions from timing diagrams.

Ed: May use static variable instead

Ben: Why not a tagged local variable?

John: Need first to define the semantics. Feasible semantics &ndash; static variable. Non-deterministic semantics is much more complex. Need to study.

Dmitry: Who will define the semantics? If we define the semantics, who will guarantee that the defined semantics is what the initiators of this proposal mean.

Ben: We can get them participate.

John: May learn offline, then get back to it at the next PAR.

Erik: Move to postpone the proposal.

Samik: Second

Voice vote results: 7y/0n/1a(Ben).

SV-AC will not recommend to include this proposal to the incoming PAR.

3. Opens

None
Topic revision: r1 - 2015-01-16 - 21:49:29 - ErikSeligman
P1800