SV-AC_Minutes_2016_07_13 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2016_07_13 (2016-07-15, ErikSeligman) (raw view)EditAttach
Minutes from SV-AC Committee Meeting

Date:    2016-07-13

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--] 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[xxxxxxxxxx] Eduard Cerny (Synopsys)

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

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

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

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

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

n[x-x-xxxx-x] Samik Sengupta (Synopsys)

   |- attendance on 2016-07-13

|--- voting eligibility on 2016-07-13

*Minutes*

<u>IEEE patent policy reminder</u>

<u>Minutes approval</u>

Ben: Move to approve the minutes from 1-Jun-2016.

Samik: Second.

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

<u>Email ballot results</u>

N/A

<u>Mantis items in progress</u>

Mantis items ready to vote: 2546 and 4557

3610: Sequence methods with sequences admitting empty match

Erik: Based on the recent mail exchange I suggest to ignore empty matches in sequences in methods .triggered and .matched. Will submit the proposal in the next days for vote.

3924: Need to clarify behavior when sequence event used as property clocking

Ben: Need to clarify in what region sequence event occurs and when sampling is performed.

Anupam: According the common rules, sequence values are sampled in the Preponed region, and the event occurs in the Observed region.

Anupam: If this construct is not common, why to provide an example in the LRM?

Ed: The customers do use it

Anupam: Need a more meaningful example for the first sequence in the proposal.

Erik will provide an update to 3924.

---++ Comments

%COMMENT%
Topic revision: r1 - 2016-07-15 - 17:53:07 - ErikSeligman
P1800