Date: 2010-11-09

Time: 16:30 UTC (8:30 PST)

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=2598352

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results

None

- New issues

None

- Enhancement progress update

Vacuity definition (Dana¿s presentation)

- Issue resolution/discussion

Addressing champions' feedback.

1933: 16.13.6 reference to triggered method can be improved

2252: Several symbols in Annex F are in green

2291: the description of $assertoff blurs assertions and attempt

2330: Clarify that number_of_ticks argument to $past must be

compile-time constant

2387: Layout of 16.11 is inconsistent

2552: Confusing comments regarding nexttime operator

2557: Rules for passing automatic variables to sequence subroutines are

not clear

2722: Errors in Figures 16-14, 16-15, and 16-16

2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when

expression appears in procedural assertion

2839: Contradictory statement of increment/decrement operators usage.

2927: Precedence between sequence/property operator and normal

expression operator

2934: Precedence and associativity of case operator is not shown in the

table

3113: Add port_identifier to constant_primary BNF for sequences,

properties and checkers

- 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[xxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)

v[xxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)

v[xxxxxxx-xxxxx-xxxxxx] Ben Cohen

v[-xx-x-xxx-x--xxxxxxx] Surrendra Dudani (Synopsys)

v[--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)

v[xxxx-xxxx-x-xxxxxxxx] John Havlicek (Freescale)

v[xxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

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

v[xxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)

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

v[-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor Graphics)

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

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

v[xx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿ Co-Chair)

|- attendance on 2010-11-16

|--- voting eligibility on 2010-11-16

- Reminder of IEEE patent policy.

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

- Minutes approval

Ben: Move to approve minutes

Scott: Second

Vote results: 8y, 0n, 0a

- Issue resolution/discussion

Addressing champions' feedback:

1933: 16.13.6 reference to triggered method can be improved

John: Add a note with the updated references (16.14.6 instead of 16.13.6,

9.4.3 instead of 9.4.4, and 9.4.4 instead of 9.4.5) and delete the

proposal.

Dmitry will add the note, delete the proposal, mention in the note

that no change is required since the references are correct and move

the proposal to Resolved state.

2252: Several symbols in Annex F are in green

Dmitry will add a note that the problem exists no more. Need to wait

until there is a champions' quorum to address this issue.

2291: The description of $assertoff blurs assertions and attempt

John: Proposal was written relative to an earlier version of the standard

Locator text does not match. Will make it harder to do the change.

2330: Clarify that number_of_ticks argument to $past must be

compile-time constant

The proposal was opposed by the Champions in the email vote which ended

on October 30, 2010.

John - Friendly amendment

I think that "must" should be "shall".

John: Will update the propposal

2387: Layout of 16.11 is inconsistent

Assign Erik to make these proposals consistent.

2552: Confusing comments regarding nexttime operator

2557: Rules for passing automatic variables to sequence subroutines are

not clear

- Enhancement progress update

Adding continuous assignments to checkers

Dmitry: Continuous assignments should be updated in the Observed region:

Reason: Random checker variables are assigned values at the start of

the observed region. If a continuous assignment references a random

checker variable on it's right-hand side, the only way for new value

of the random variable to propagate to the target of the continuous

assignment is for the assignment to be updated in the Observed

region.

Discussion: Would this create circular dependencies?

Meeting adjourned

G