[sv-ac] Minutes of SV-AC Meeting 8/2/2011

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'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.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.