Date: 2011-01-18

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

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- F2F

- Email ballot results

- New issues

- Issue resolution/discussion

2271: sequence events require a clocked sequence

1559: To which types can $countones be applied?

Addressing champions' feedback

1933: 16.13.6 reference to triggered method can be improved

2839: Contradictory statement of increment/decrement operators usage.

3135: Verbal explanation of nexttime and always is misleading for

multiple clocks.

2557: Rules for passing automatic variables to sequence subroutines are

not clear

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

expression appears in procedural assertion

3113: Add port_identifier to constant_primary BNF for sequences,

properties and checkers

2476: Need clarification about system functions $onehot, etc

2412: Allow clock inference in sequences

2938: Surprising (to some users) interaction between deferred assertions

& short-circuiting

- Enhancement progress update

3036: Explicitly allow unpacked data types for arguments of assertion

system functions

3037: Introduce assertion system functions for 4-valued type support

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

|- attendance on 2011-01-18

|--- voting eligibility on 2011-01-18

Minutes:

- 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

Tom: An amended version of the minutes was uploaded to the reflector.

This version makes a one-line change that Manisha pointed out.

Erik: Move to approve minutes

Ben: Second

Vote results: 7y, 0n, 0a

- F2F:

Dmitry: Trying to set dates for a face-to-face meeting.

Proposal was for the week of DVCon, either Thursday and Friday,

or Wednesday and Thursday

Eric: Didn't want to conflict with DVCon on Wednesday

Ed: Had suggested making it on Wed, Thu for people traveling.

But may not be able to make it anyway.

Tom: Either option is fine with me.

Dmitry: Let's target March 3,4 (Thursday, Friday).

- Issue resolution:

2271: sequence events require a clocked sequence

Anupam: 2271 will refer to changes we're making in 2412.

Will get unified proposal out later today.

1559: To which types can $countones be applied?

Eric: This one will be folded into 2476

Other duplicates: 3036:

Dmitry: Any bit-vector type should be OK with these functions

Manisha: Believe that Gordon said we could treat bits as a dynamic array.

But proposal says dynamic arrays are not allowed.

Anupam: I think we need to provide a type, and "logic" should be the correct

type.

Proper syntax: logic'( <expression> ) (See 1800-2009 p 93)

Ed: Logic is a single bit.

Tapan: Mantis 1526: Talks about casting.

Dmitry: Believe we can close 3036 as a duplicate

Eric: But 2476 needs to add the two sentences added by the 3036 proposal.

Manisha

Eric: p 93: 6.24.3 Any expression containing any 4-state values will

result in all values being 4-state. (for streaming operator).

Eric: Can also close 3037: Not exactly a duplicate, but it touches the

same text. The proposal for 2476 can address the issues raised in

3037.

Dmitry: We can close 3037 next time.

Eric: Move to resolve 1559 as duplicate of 2476

Scott: Second

vote results; 7y, 0n, 0a

Eric: Move to resolve 3036 as duplicate of 2476

Scott: Second

Vote results: 7y, 0n, 0a

Champions Feedback:

1933: 16.13.6 reference to triggered method can be improved

Tapan: Will write a proposal to change the reference from 9.4.3 to 9.4.4

2839: Contradictory statement of increment/decrement operators usage.

Eric: This is a technicality. The sentence in the original text must

either appear in the replacement, or it must be crossed out to show

that it is being deleted.

Ed: Will fix the proposal

3135: Verbal explanation of nexttime and always is misleading for

multiple clocks.

Eric: Delete "Note that" from sentence.

Eric: Or remove the first phrase "Note that as in nexttime properties, "

Dmitry: Was assigned to Dana, Can anyone else make the change?

Scott: Will make the change.

Ben: Change "for instance" to "thus"

Manisha: Add "above" to first sentence. "The explanations above"

Back to 2839: Ed has updated the proposal

Scott: Move to approve Ed's changes to 2839

Tom: Second

Vote results: 7y, 0n, 0a

2557: Rules for passing automatic variables to sequence subroutines are

not clear

Eric: Not sure what is wrong with the reference.

Manisha: But automatic variables are always passed as constant inputs.

Tom: That means that reference to 6.24 is not needed here, because

the user doesn't need to explicity cast to const.

Dmitry: Also change "may" to "can" in the sentence.

Eric: Made the change

Eric: Move to approve proposal 2557 (friendly amendment to fix crossout)

Tom: Second.

Vote results: 7y, 0n, 0a

Back to 3135: Scott has made changes.

Eric: Move to approve changes for 3135

Manisha: Second

Vote results: 6y, 0n, 0a

2804: Will discuss next time.

Scott: Primary issue: Are we allowing constructs in checkers that would

not be allowed in other places?

Meeting Adjourned.