Date: 2011-08-23

Time: 16:00 UTC (9:00 PDT)

Duration: 2 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=1217926

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results:

Issue 2328 passed: 9y/0n/0a

Issue 2476 passed: 9y/0n/0a

Issue 3385 passed with friendly amendments: 9y/0n/0a Issues 2578, 3033, 3206 failed

- Draft2 review

- New issues

- Champions' feedback

3069 Relax rules for $global_clock resolution

3113 Add port_identifier to constant_primary BNF for sequences,

properties and checkers

3385 Possible ambiguity when deferred assertion action block calls

nested function

- Issue resolution/discussion

3233: implicit wire declarations should occur in instantiations of

programs/interfaces also

2093: Checker construct should permit output arguments

- 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[xx-xxx--xxx---xxxx-xxx-xxx...........................] Ashok Bhatt

(Cadence)

v[-xx--xxx-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)

v[xxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny

(Synopsys)

v[x-xxxxxxxxxxx--------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[xxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor

(Cadence)

n[x---x-xx-xxxxx-xxxx-x-x..............................] Jacob Katz

(Intel)

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

v[xxxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little

(Freescale)

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

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

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

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

v[xxx-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-23

|--- voting eligibility on 2011-08-23

Minutes

(Ed and Samik left the meeting)

- 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

Erik: Move to approve minutes

Scott: Second

Vote Results: 6y, 0n, 0a

- Email ballot results:

Issue 2328 passed: 9y/0n/0a

One small change from Ben. Will upload. Don't need a re-vote. Simply added a reference.

Issue 2476 passed: 9y/0n/0a

Lawrence requested some changes. Will need to re-vote.

Erik will make changes, call for e-mail ballot.

Issue 3385 passed with friendly amendments: 9y/0n/0a Erik will make changes, call for e-mail ballot Issues 2578, 3033, 3206 failed

2578 Dmitry has uploaded proposal. Will call for an e-mail vote.

3206: Erik will contact Manisha to clarify the example

Will make changes. call for e-mail ballot

(Dmitry joined)

3033: Dmitry has made changes.

Will call for an e-mail ballot.

- Champions' feedback

3069 Relax rules for $global_clock resolution

Jakob: Has uploaded a new proposal. Still needs review by other committees.

Scott: Move to accept new proposal for 3069

Erik: Second

Vote resuts: 7y, 0n, 0a

3113 Add port_identifier to constant_primary BNF for sequences,

properties and checkers

Lawrence had updated a new proposal: Dmitry will call for an e-mail vote.

- Issue resolution/discussion

3233: implicit wire declarations should occur in instantiations of

programs/interfaces also

Dmitry: BC had clarified why procedural checker instances were different.

Dmitry: However, within a checker, the rules are different.

Anupam: In a procedure, you can't declare a wire

(That's why procedural checker instances were excepted)

Inside a checker, you also can't declare a wire

2093: Checker construct should permit output arguments

Tom: Will we have enought time to get this proposal through?

Dmitry: We should have time.

Dmitry: Went through proposal for 2093.

Ben: If argument is untyped, you could pass a sequence to it?

Ben: Could you pass sequence.triggered()

Dmitry: That is not an lvalue.

Dmitry: Would like to assign reviewers.

Anupam will review.

Jakob will review.

3145 Definition of maximal property.

Erik: Will write a proposal

Scott: Will review proposal when it is ready

Meeting adjourned.