SV-AC_Minutes_2011_08_02 < P1800

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

Date: 2011-08-02

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

Duration: 1.5 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=9850490]]

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[xxx--xxx---xxxx-xxx-xxx...........................] Ashok Bhatt (Cadence)

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

  v[xxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)

  v[xxxxxxxxxx--------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[---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

  v[-x-xx-xxxxx-xxxx-x-x..............................] Jacob Katz (Intel)

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

  v[xxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)

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

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

  v[xxxxxx--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)

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

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

  |--- voting eligibility on 2011-08-02

Agenda:

-------

- 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

Eric:       Move to approve minutes

Scott:   Second

Vote results: 7y/0n/0a

- Email ballot results:

Issue 3213 passed: 8y/0n/0a.

- Draft2 review

Everybody to review implemented Mantis items he/she owns.

Dmitry will assign LRM fragments to SV-AC members for review.

Review deadline 15-Aug.

- New issues

- Issue resolution/discussion

2328: Review and relax restrictions on data types in assertions

Erik: Why automatic variables are disallowed in assertions? They are not affected by extending data types legal in assertions.

Manisha, Dmitry: Clarify the sentence about dynamic variables in the proposal.

Manisha, Ed: Sampling a dynamic array may incur significant performance penalties.

Dmitry: Same problem exists in regular arrays.

Manisha, Ed: Add an example clarifying the incurred penalties.

Scott: Are non-static class variables automatic?

Dmitry: I don&rsquo;t think so. Sampling of non-static class member variables should be elaborated.

Erik: Wait with class members in assertions unless a good definition of class variable sampling is introduced.

Scott: Will disallow class members in assertions for the time being.

Manisha: What about event sampling?

Dmitry: Need to add an explanation of event.triggered sampling.

Dmitry: Need to mention that this proposal is written on top of 3213.

Scott will make changes and notify.

Erik and Manisha will review the proposal.

2578: Vacuity definition

Dmitry: Should we change also the definition of the vacuity of iff?

Dmitry will call to email vote.

2547: local variable read before write

Erik: Should we state that unassigned local variables are initialized with the default values as in the rest of the language?

Dmitry: This will open a way to bugs which will difficult to catch.

Ed, Samik: Agree.

Erik: Will update the proposal accordingly.

3033: Allow procedural control statements is checkers

Dmitry: There are now no unaddressed comments left.

Manisha: begin/end pairs are missing in the example in 17.5.

Dmitry: Will fix and call to vote.

3206: Deferred assertions are sensitive to glitches

Manisha: Are there limitations on action blocks?

Erik: Limitations imposed on the Postponed region

Ed: It is illegal to assign automatic variables in the Postponed region. This will prevent writing functions with assignments.

Erik: This should be a different proposal owned by SV-BC.

Samik and Anupam will review this proposal.

3202: Clarify on whether certain system functions are allowed in classes, 'let', and other corner cases

Erik: Move to resolve as a duplicate of 2476.

Manisha: Second.

Passed: 7y/0n/0a.

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

Manisha will fix the proposal and notify.

- Opens

We will reserve 2 hour slots for next meetings, but try to finish in 1.5 hour.
Topic revision: r1 - 2011-08-05 - 22:40:26 - ErikSeligman
P1800