SV-AC_Minutes_2011_08_16 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_08_16 (2011-08-16, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-08-16

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

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results:

Issue 2328 passed with friendly amendments: 7y/0n/0a Issue 3033 failed: 6y/2n/0a Issue 3295 failed: 7y/1n/0a

- Draft2 review

- New issues

- Champions' feedback

2476      Need clarification about system functions $onehot, etc

3015      Examples of $fatal have bad arguments

3069      Relax rules for $global_clock resolution

3113      Add port_identifier to constant_primary BNF for sequences,

properties and checkers

3385      Possible ambiguity when deferred assertion action block calls

nested function

- Issue resolution/discussion

3233: implicit wire declarations should occur in instantiations of programs/interfaces also

2547: local variable read before write

2578: Vacuity definition

3206: Deferred assertions are sensitive to glitches

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

2093: Checker construct (0001900) should permit output arguments

- 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:

  v[x-xxx--xxx---xxxx-xxx-xxx...........................] Ashok Bhatt

(Cadence)

  v[xx--xxx-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)

  v[xxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny

(Synopsys)

  v[-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)

  n[------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---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor

(Cadence)

  n[---x-xx-xxxxx-xxxx-x-x..............................] Jacob Katz

(Intel)

  t[xxxxxx--xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel ¿ Chair)

  v[xxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little

(Freescale)

  v[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha (Mentor Graphics)

  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor Graphics)

  v[xxxxxxxx--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman

(Intel)

  v[xxx-xxxx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta (Synopsys)

  v[xx-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-08-16

  |--- voting eligibility on 2011-08-16

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

Scott:     Second

     Vote results:  9y, 0n, 0a

- Email ballot results:

Issue 2328 passed with friendly amendments: 7y/0n/0a Issue 3033 failed: 6y/2n/0a Issue 3295 failed: 7y/1n/0a

2328:

Scott: Have incorporated all friendly amendments.

     Have new example which is hopefully clearer.

(Laurence joined)

Dmitry: Will call for an e-mail vote

3033:

What was reason for restriction on modeling code inside a checker that is instantiated in a procedural block?.

Dmitry will remove new restriction from the proposal.

Manisha: Deferred assertions now also referred to as static assertions.

Erik: Not changing any behavior, just using a new term for existing

     behavior.

Dmitry:    Will update proposal and call for vote.

3295:

Scott:     Did notes from Shalom get addressed?

Manisha:   In latest version addressed Shalom's comment regarding

     list of modules. Other comments did not results in strong

     push for a change.

Scott:     OK, that satisfies the question.

Erik: Move to approve proposal for 3295

Scott:     Second

     Vote results: 10y, 0n, 0a

- Draft2 review

- Champions' feedback

2476      Need clarification about system functions $onehot, etc

Erik: Changed phrasing of argument types.

     Made other editorial changes requested by champions.

     Recommend e-mail vote.

Dmitry:    Will call for an e-mail vote.

3015      Examples of $fatal have bad arguments

Dmitry:    SV-BC did not agree to all the changes proposed by Shalom.

     Current proposal is now only a two line change.

Erik: Move to approve proposal

Scott:     Second

     Vote results: 10y, 0n, 0a

3069      Relax rules for $global_clock resolution

3385      Possible ambiguity when deferred assertion action block calls

     nested function

Erik: Three small text changes were made to implement Champions

     friendly amendments: Call for e-mail vote.

Dmitry:    Will call for an e-mail vote.

- Issue resolution/discussion

3233: implicit wire declarations should occur in instantiations of

     programs/interfaces also

Erik: Why are procedural checker instances excluded?

Manisha:   Should all checkers be excluded from this? Checkers work

     differently. Checker contents are substitued, there's no port

     connection.

Anupam:    Let BC clarify why procedural checkers excluded.

2547: local variable read before write

Erik: We had decided not to add default values for local variables.

     If we aren't going to make changes, we should close it

Erik: Move to resolve 2547 as no change needed.

Scott:     Second

     Vote results: 10y,0n, 0a

2578: Vacuity definition

Dmitry:    Had been approved by e-mail ballot last week. Dmitry had raised

     a question about the vacuity definition. Felt it should be more

     consistent with the vacuity definition of property AND and OR.

Tom: We know that implication vacuity is not consistency with property

     AND and OR. We just picked a definition that was useful.

     The proposal we approved is just as "correct" as Dmitry's proposed

     alternative.

Dmitry:    We can co with previous proposal, but a change in Annex F is still

     needed.

     Will make changes and call for e-mail vote.

3206: Deferred assertions are sensitive to glitches

Erik: Getting close to being ready to vote.

     Some didn't like terminology "standard and final deferred assertions"

     Scott:     proposed "observed, and postponed deferred assertions"

     Seems like "oberved" & "final"

2093: Checker construct (0001900) should permit output arguments

Dmitry:    Procedural assignments to checker output arguments.

     Allow initial values.

Dmitry:    Untyped arguments: Don't know how to define untyped output

arguments

Dmitry:    Continuous assignments to output arguments:

Dmitry: Will create a proposal and upload it for review.

Meeting adjourned
Topic revision: r1 - 2011-08-16 - 20:14:57 - ErikSeligman
P1800