SV-AC_Minutes_2016_08_07 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2016_08_07 (2016-10-03, ErikSeligman) (raw view)EditAttach

Date:    2016-09-07

Time:    16.00:00 UTC (9:00 PDT)

Duration: 1 hour

*Agenda*
   * Reminder of IEEE patent policy<br /> See: http://standards.ieee.org/board/pat/pat-slideset.ppt
   * Minutes approval
   * Email ballot results
   * Mantis items in progress
   * Opens

*Attendance Record*

<u>Legend:</u>

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 2016-03-09:

n[.x-xxxxx---x] Mehbub Ali (Intel)

n[.xx--x------] Ang Boon Chong (Intel)

n[x-x-xx-x-x--] Shalom Bresticker (Accellera)

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

v[xxxxxxxxxxxx] Eduard Cerny (Synopsys)

v[xx-xx-xxxxxx] Ben Cohen (Accellera)

t[x-xxxxxx-xxx] Dmitry Korchemny (Synopsys - Chair)

n[xxx-x-x-----] Manisha Kulshrestha (Mentor Graphics)

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

v[xxxxxxxxxxxx] Erik Seligman (Intel – Co-chair)

v[x-x-xxxx-xx-] Samik Sengupta (Synopsys)

   |- attendance on 2016-09-07

|--- voting eligibility on 2016-09-07

*Minutes*

<u>IEEE patent policy reminder</u>

<u>Minutes approval</u>

Erik: Move to approve the minutes from 13-Jul-2016.

Ed: Second.

Motion passed: 4y/0n/0a.

<u>Mantis items in progress</u>

Erik: Mantis 3610: 3610: Sequence methods with sequences admitting empty match

is ready to vote. Dmitry to call.

Dmitry: Manisha mentioned that Mantis 2947: Module variables from within function or task not sampled, LRM and practice contradictory

Is not relevant anymore and should be closed. Will call to vote.

Dmitry: I uploaded a proposal for Mantis 4724: Checkers should be mentioned in the description of Reactive region.

Will call to vote.

Erik: Need to open a Mantis to SV-BC to make region description consistent in 4.4.2 Simulation regions.

<u> </u>

<u>Opens</u>

Erik: Need to publish the cut-off date for committee work in this PAR

Topic revision: r1 - 2016-10-03 - 15:57:20 - ErikSeligman

P1800