SV-AC_Minutes_2011_11_29 < P1800

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

Date: 2011-11-29

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

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=7957056]]

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- Champions' feedback

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

-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[xx-xxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-]

Eduard Cerny (Synopsys)

  v[x-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[xxxxxxxx---------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[x----xxxxxxxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx]

Tapan Kapoor (Cadence)

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

Jacob Katz (Intel)

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

Dmitry Korchemny (Intel ¿ Chair)

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

Scott Little (Freescale)

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

Manisha Kulshrestha (Mentor Graphics)

  v[-xx-xx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx]

Anupam Prabhakar (Mentor Graphics)

  v[xxx-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[xxxxxxxxxxxxx-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.

Tom: Second

     Vote results: 0n 0a

- Champions' feedback

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

Dmitry: Unofficial feedback from Shalom

     1. Syntax error in BNF

     2. Need to address "final" assertions in this proposal.

           (assuming 3206 is approved)

     3. Editorial comments.

Dmitry's feedback

     1. Need VPI for Lock, & Unlock

    Version 16 is the latest version approved by SV-AC

    Version 18 is currently posted on Mantis

    Manisha sent out Version 19 this morning.

    Changes from Version 16 to Version 19:

    1. Added conditionals in the proposal based on whether 3206 is approved or not

     Added values in tables for "assert final"

    2. Combined Tables 20-8 and 20-9 into one.

     (Not in Shalom's current feedback, but he had asked about it sometime

      in the past)

    3. Added VPI for Lock, Unlock

    4. A few more editorial changes: removed underscores from names.

 Not based

     on any feedback

    NOTE: Dmitry's latest round of comments not address

Dmitry: Changes too complicated to voice vote. Should call for e-mail vote.

Tom: But final working group meeting is Thursday. Champions meet on

Wednesday.

     Any proposal change would need to be approved before that.

Dmitry:    Propose to have short e-mail vote with deadline at the end of Today.

Dmitry: Will have Manisha upload latest proposal, Will call for e-mail vote with

     deadline of Midnight tonight.

     Champions and Working group may still decide to take old proposal.

-Draft 3 review

Dmitry: 3191 and 2412 moved back to editor state. Alignment problems.

- Opens

    Ben: Will the list of participants in the Draft 3 standard change

    Dmitry: Will be changed later.
Topic revision: r1 - 2011-11-30 - 19:40:24 - ErikSeligman
P1800