SV-AC_Minutes_2011_11_22 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_11_22 (2011-11-28, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-11-22

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

Duration: 2 hours

Dial-in information:

--------------------

Meeting ID:            38198

Phone Number(s):

1-888-813-5316         Toll Free within North America

Live Meeting:

[[https://webjoin.intel.com/?passcode=4753262]]

Agenda:

-------

- Reminder of IEEE patent policy.

See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Minutes approval

- Email ballot results

- Champions' feedback

3069: Relax rules for $global_clock resolution

-Draft 3 review

- 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 2010-07-06:

  n[----x-xxxxx-xxx--xxx---xxxx-xxx-xxx...........................]

Ashok Bhatt (Cadence)

  n[----------xx--xxx-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx]

Laurence Bisht (Intel)

  v[x-xxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-]

Eduard Cerny (Synopsys)

  v[-x-xxxxxxx-xxxxxxxxxxx--------xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen (Accellera)

  n[-------------------------------------------xx-x-xxx-x--xxxxxxx]

Surrendra Dudani (Synopsys)

  n[--------------x-xxxxxx........................................]

Shaun Feng (Freescale)

  v[xxxxxxx---------x-x--x-x-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx]

Dana Fisman (Synopsys)

  n[-----------------------------------------xxxxx-xxxx-x-xxxxxxxx]

John Havlicek (Freescale)

  v[----xxxxxxxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx]

Tapan Kapoor (Cadence)

  v[xx--xx-xxx---x-xx-xxxxx-xxxx-x-x..............................]

Jacob Katz (Intel)

  t[xxxxxx-xxxxxxxxx--xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx]

Dmitry Korchemny (Intel ¿ Chair)

  v[-x-xxx-xxxxxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx]

Scott Little (Freescale)

  v[xxx-xxxxx-xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx]

Manisha Kulshrestha (Mentor Graphics)

  v[xx-xx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx]

Anupam Prabhakar (Mentor Graphics)

  v[xx-xxxxx-xxxxxxxxx--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx]

Erik Seligman (Intel)

  v[xxxxxxx-xxxxx-xxxx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.]

Samik Sengupta (Synopsys)

  v[xxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿ Co-Chair)

  n[--------------------------xx---xx-------x.....................]

Srini Venkataramanan (CVC Pvt Ltd)

  n[----------------x.............................................]

Vibarajan Viswanathan (Marvell)

    |- attendance on 2011-11-22

  |--- voting eligibility on 2011-11-22

Minutes:

--------

- Reminder of IEEE patent policy.

See: http://standards.ieee.org/board/pat/pat-slideset.ppt

     Participants were reminded of the IEEE patent policy.

- Minutes approval

Erik: Move to approve minutes

Jacob:     Second

     Vote results:  8y, 0n, 0a

- Email ballot results

3069: Relax rules for $global_clock resolution E-mail ballot passed, with friendly amendments.

Jacob:     Has modified the proposal. Language is now

     "clocking event in &lt;clocking block instance&gt;"

Ed:  Shouldn't the language be

     "clocking block event &lt;clocking block instance&gt;"

Jacob:     changed the language to "clocking event xxx"

Ed:  Move to approve modified proposal

Erik: Second

     Vote results: 8y, 0n, 0a

3295: Need a way to control only asserts/covers/assume directives

Dmitry:    Fransoise agreed to drop her objection, since assert_on has been

already

     implemented since the 2005 standard. Dmitry moved the current proposal

     back to the resolved state.

-Draft 3 review

- Opens

Anupam:    Created a new Mantis item 3940

Will hold a meeting next week only if there is more feedback from the Champions.
Topic revision: r1 - 2011-11-28 - 18:31:57 - ErikSeligman
P1800