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.