SV-AC_Minutes_2012_01_17 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2012_01_17 (2012-01-18, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting:

Date: 2012-01-17

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

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- Draft4 Review

  Status:

  Mantis 4002: "Which" for "that" editing changes for AL OF LRM

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

Eduard Cerny (Synopsys)

  v[xx-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[xxxxxxxxx---------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[xx----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--x-xxx-xxxxxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx]

Scott Little (Freescale)

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

Manisha Kulshrestha (Mentor Graphics)

  v[x-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[x-xxxxxxx-xxxxx-xxxx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.]

Samik Sengupta (Synopsys)

  v[xxxxxxxxxxxxxx-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 2012-01-17

  |--- voting eligibility on 2012-01-17

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

Samik:     Move to approve minutes.

Ed:  Second

     Vote results: 0n 0a

- Draft4 Review

  Status:

  Mantis 4002: "Which" for "that" editing changes for AL OF LRM

Tom: Changes to 16.7 seems to go beyond editorial in nature, and

     seems to change the meaning of the sentence.

E-mail from Shalom: "I don't see why constant expression appears at

     all in the sentence"

Anupam:    But phrase "includes constant_expression" makes sense in context

     of the paragraph.

Ben: Change should be just to to add comma to sentence before "which"?

Anupam: But BNF shows that constant_expression includes constant primary,

     not the other way around

Tom: More correct text should be "constant_primary is a

     constant_expression"?

Scott, Change to 16.14.6: Seems to be an extra "is" in the red strike-out

     text.

Scott:, Change to 16.14.6: Why is so much text replaced. Simplify change

     to show replacing of "which" with "that".

Ben: Not online

Scott: Made the changes to the proposal:

     1. Change to 16.7: Changed "includes" to "is a"

     2. Change to 16.14.6: Simplified editing to show just replacing

        "which" with "that"

Ben: Move to approve proposal

Scott:     Second

     Vote results: 8y, 0n, 0a

- Opens
Topic revision: r1 - 2012-01-18 - 16:24:47 - ErikSeligman
P1800