Date: 2016-07-13

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

Duration: 1 hour

Agenda

• Reminder of IEEE patent policy
  See: http://standards.ieee.org/board/pat/pat-slideset.ppt
• Minutes approval
• Email ballot results
• Mantis items in progress
• 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 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

IEEE patent policy reminder

Minutes approval

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

Samik: Second.

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

Email ballot results

N/A

Mantis items in progress

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