Date: 2011-09-13

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

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results:

2093: Checker construct should permit output arguments

- Issue resolution/discussion

2093: Checker construct should permit output arguments

3145: Need to clearly define "maximal property"

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[xxxxx-xxx--xxx---xxxx-xxx-xxx...........................] Ashok Bhatt (Cadence)

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

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

v[xxxx-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-x-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)

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

v[xxxxxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

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

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

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

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

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

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

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

v[xxxxxx-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-09-13

|--- voting eligibility on 2011-09-13

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

Erik: : Move to approve meeting minutes

Samik : Second

Vote Results: 6y, 0n, 0a

- Email ballot results:

2093: Checker construct should permit output arguments

Failed: 1 no vote

(Manisha joined)

- Issue resolution/discussion

2093: Checker construct should permit output arguments

Manisha: Explained reasons for no vote

Dmitry not here today. He'll address corrections this week

and discuss next week.

3145: Need to clearly define "maximal property"

Erik: Ed was assigned as reviewer. He's on vacation now.

Will wait for him to return.

3564: Do assertions contribute to sensitivity list of always_comb?

Anupam: Considering to write a proposal. Suggesting that assertions

do not change sensitivity list.

Assertions should not change behavior of design.

Erik: Stand-alone deferred assertion is interpreted as a deferred

assertion in its own always_comb block.

You want the always block triggered the last time that the

variable changes.

Even concurrent assertions could use const value

Ben: Difference between immediate, deferred, and concurrent assertions?

Erik: In most real-life cases the extra triggering of the always_comb

will not change the result.

Erik: The only case where an assertion doesn't contribute to sensitivity

list would be a concurrent assertion using a sensitivity list.

Anupam: But it might be difficult to check for const cast to determine

whether to trigger block again.

Manisha: If concurrent assertion is inside an "if", the evaluation could

be queued, but could be flushed if always block triggered again.

Anupam: Will write a proposal.

Meeting adjourned.