[sv-ac] Minutes from SV-AC meeting, 2015-01-05

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 - 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
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.