Date: 2011-11-01

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

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- Champions' feedback

2476: Need clarification about system functions $onehot, etc

3069: Relax rules for $global_clock resolution

3145: Need to clearly define "maximal property"

3564: Sec 9.2.2.2.1 needs to clarify whether variables read in an assertion contribute to the sensitivity of an always_comb

- 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:

n[--x-xxxxx-xxx--xxx---xxxx-xxx-xxx...........................] Ashok Bhatt (Cadence)

n[--------xx--xxx-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx]

Laurence Bisht (Intel)

v[xxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-]

Eduard Cerny (Synopsys)

v[-xxxxxxx-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)

v[xxxxx---------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[--xxxxxxxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

n[--xx-xxx---x-xx-xxxxx-xxxx-x-x..............................] Jacob Katz (Intel)

t[xxxx-xxxxxxxxx--xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx]

Dmitry Korchemny (Intel ¿ Chair)

v[-xxx-xxxxxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)

v[x-xxxxx-xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx]

Manisha Kulshrestha (Mentor Graphics)

v[-xx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx]

Anupam Prabhakar (Mentor Graphics)

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

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

v[xxxxxxxxxx-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-11-01

|--- voting eligibility on 2011-11-01

- 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: Move to approve minutes from last meeting

Samik: Second

Vote Results: 5y, 0n, 0a.

- Champions' feedback

2476: Need clarification about system functions $onehot, etc

Mainly editorial changes

Tom: Move to approve amended proposal

Samik: Second

Vote results 5y, 0n, 0a

3069: Relax rules for $global_clock resolution

Dmitry: Shalom sent feedback early, but Champions e-mail ballot not

complete yet

Manisha: Default clocking only allows one withing a module. Unclear what happens

if a default clocking occurs within a generate block. is it visible

to rest of module?

Global clocking: searches upward in hierarchy for global clocking

Default clocking: does not search upward

Question: Should a global clocking inside a Generate block be visible to

the rest of the module?

Dmitry: Should wait for completion of Champions vote.

3206: Deferred assertions are sensitive to glitches

Dmitry: Champions vote has not concluded yet, but Shalom has sent a negative vote.

Comments are straightforward.

3145: Need to clearly define "maximal property"

Dmitry: Problem was that a requirement was contained in a footnote.

Footnotes

are only for informative text.

Dmitry: Erik has already updated the proposal, but he deleted the old one, so

it's hard to see what the change was.

Dana: Why wasn't definition put into the glossary?

Manisha: At the time, it was thought that the glossary was incomplete, and that

the reader would not automatically look in the glossary.

Dmitry: Will call for an e-mail vote

3564: Sec 9.2.2.2.1 needs to clarify whether variables read in an assertion

contribute to the sensitivity of an always_comb

Dmitry: Objection was that there was no statement about whether new rules

applied to always @* procedures.

Manisha: Existing text shows differences between always_comb and always @*

The always @* is not sensitive to function arguments to function call.

Add a sentence in this section.

Manisha will update the section.

- Opens

Dmitry: Will call a meeting next week if there is more feedback to discuss

Otherwise, we will cancel the meeting.