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

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results

- New issues

- Issue resolution/discussion

Addressing champions¿ feedback.

2387: Layout of 16.11 is inconsistent

· Erik to make proposals consistent.

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

on October 30, 2010.

2557: Rules for passing automatic variables to sequence subroutines are

not clear

· Erik to modify the proposal and to remove the reference.

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

on October 30, 2010.

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

expression appears in procedural assertion

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

on October 30, 2010.

3113: Add port_identifier to constant_primary BNF for sequences,

properties and checkers

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

on October 30, 2010.

2476: Need clarification about system functions $onehot, etc

- Enhancement progress update

3034: Allow continuous and blocking assignments in checkers

Arguments for system functions

3213: Update definition of sampled value

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

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

v[--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen

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

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

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

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

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

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

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

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

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

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

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

n[--x.....................] Srini Venkataramanan (?)

|- attendance on 2010-12-14

|--- voting eligibility on 2010-12-14

Minutes:

- Reminder of IEEE patent policy.

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

Participants were reminded of the policy

- Minutes Approval

Erik: Move to approve minutes from last meeting

Scott: Second

Vote results: 9y, 0n, 0a

- Meeting Schedule

Ed: On vacation next two weeks. Will be unable to host meeting.

Ed: Propose to have a holiday break in our meeting schedule

No objections

SV-AC meetings will resume on Jan 4.

- Issue resolution/discussion

Addressing champions' feedback.

2387: Layout of 16.11 is inconsistent

Erik to make proposals consistent.

Erik uploaded a new proposal. He just took out the changes to

section 20.13 that is modified by another proposal.

Tom: Move to approve the new proposal

Ed: Second

Vote results: 9y, 0n, 0a

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

expression appears in procedural assertion

Erik: John wrote lenghty e-mail in objection.

Scott: John was concerned about substitutions that might cause problems

Code might be syntactically correct before substitution, but

incorrect after substitution.

Erik: Need a concrete example,

Scott: Will put one together

3113: Add port_identifier to constant_primary BNF for sequences,

properties and checkers

Lawrence: Neither Shalom or Francois has responded to questions about their

objections. Shalom is on vacation.

Manisha: Would it be better to enhance BNF?

After rewriting, the tool has to check correctness again.

Only items which are really constant will pass.

Dmitry: What about if you pass an event?

Lawrence: Other solution proposed: closing ticket as no change required

Erik: Currently if someone bases their parser on this BNF, it won't

be able to parse legal code.

Lawrence: Tried to change BNF at one point, but got into trouble.

Erik: Anything allowed to be passed as a port to sequence or property would

have to be usable anywhere within that sequence or property.

Lawrence: 16.6.1: Says event types are illegal in sequences.

Will wait for Shalom's comments before taking further action.

- Enhancement progress update

3034: Allow continuous and blocking assignments in checkers

Scott: Needs to be some more e-mail discussion

3213: Update definition of sampled value

No discussion

List of other items:

Scott: Working on 2328

Arguments for system functions

Manisha: LRM does not define the types of variables which can be passed

to system functions. There is a related Mantis item: 1559. Also

Manits 2476 is related.

Ed: You can already pass most types to system functions, but have to

explicitly cast to a bit-vector type before passing the argument to

the systm function.

Meeting adjourned