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