Date: 2011-09-06

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

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results:

Issue 3033 passed: 8y/0n/0a.

Issues 3026 and 3385 passed with friendly amendments: 8y/0n/0a.

- New issues

- Champions' feedback

3069 Relax rules for $global_clock resolution

- Issue resolution/discussion

2093: Checker construct should permit output arguments

2743: Allow subroutine_call_statement in a checker

2809: Checker instantiation in checkers' always procedure

3033: Allow procedural control statements is checkers

3034: Allow continuous and blocking assignments in checkers

3035: More flexible definition of checker argument sampling

3145: Need to clearly define "maximal property"

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

v[-xx---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[xx-xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha (Mentor Graphics)

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

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

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

v[xxxxx-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-06

|--- voting eligibility on 2011-09-06

Minutes

Dmitry will not be here next week. Tom will lead the conference call

- 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

Tom: Second

Vote results: 9y, 0n, 0a

- Email ballot results:

Issue 3033 passed: 8y/0n/0a.

Issues 3026 and 3385 passed with friendly amendments: 8y/0n/0a.

3385

Erik: Has made the corrections requested in the friendly amendments

Scott: Move to approve proposal

Erik: Second

vote results: 9y, 0n, 0a

3206

Erik: Fixed line spacing

Scott: Move to approve proposal

Erik: Second

Vote results: 9y, 0n, 0a

- New issues

- Champions' feedback

3069 Relax rules for $global_clock resolution

We have implemented the changes requested by the champions,

and have approved a new proposal

Still waiting on other committees to review the proposal.

- Issue resolution/discussion

2093: Checker construct should permit output arguments

Reviewers have not reviewed

Dmitry: Will call for vote.

Anupam: Output port restrictions: sequence, property, events not allowed?

Anupam: why is "wire" not allowed in checker?

Because we didn't allow continuous assign?

Anupam: If wires are not allowed in checkers, this must mean that output

arguments to checkers are variable ports, not net ports.

Dmitry Section 23.3.2 describes port connection rules

Scott: Can assign an event to another event.

2743: Allow subroutine_call_statement in a checker

Dmitry: Resolve as duplicate of 3033

Erik: Mantis 2897 is marked as duplicate of 2743

Erik: Move to resolve 2743 as duplicate of 3033

Jacob: Second

Vote results: 9y, 0n, 0a

2897

Dmitry: Already marked as duplicate of 2743

Erik: Move to resolve 2897 as duplicate of 3033

Scott: Second

Vote result: 9y, 0n, 0n

2809 Checker instantiation in checkers' always procedure

Dmitry: This was an errata Mantis item.

The 3033 proposal deletes the text that this Mantis

Erik: Move to resolve 2809 as duplicate of 3033

Scott: Second

Vote results: 9y, 0n, 0a

3034: Allow continuous and blocking assignments in checkers

Dmitry: covered by 3033

Erik: Move to resolve 3034 as duplicate of 3033

Scott: Second

Vote results: 9y, 0n, 0a

3035: More flexible definition of checker argument sampling

Dmitry: This Mantis item was implemented by 3033

Jacob: Move to resolve 3035 as duplicate of 3033

Erik: Second

Vote results: 9y, 0n, 0a

3145: Need to clearly define "maximal property"

Ed: Assigned as reviewer

Erik: We use the term, so we should define it.

Scott: Look at notes in Mantis item written by John.

Erik: Schedule vote next week?

Manisha: Maximal is also used with sequences in other places

Jacob: There's also a "maximal boolean expression"

3478 Make drivers of inout ports accessible

Ben: You might want to write an assertion that says a device

is tri-stated on a given cycle.

However, when device is connected, something else may

be driving the bus. The assertion would fail because it

doesn't see a Z

Scott: This seems like a big change in the language.

Would need agreement from other committees.

Erik: Don't think this was on list of authorized

Scott: Has anyone else ever requested this.

Ed: This may interfere with optimizations that a simulator could do

Scott: This is available through PLI

Jakob: But it is very complicated to implement and tool vendor

may not support it.

Scott: You could write your own resolution function.

Erik: If all the driver information is available in PLI, then

it might not be a big change after all

Erik: It might be useful to implement this function using VPI/PLI calls

and demonstrate that it is possible. This would make it

easy to implement in the next PAR.

Jacob: Also would like to see this equivalent function in the PLI.

Meeting adjourned.

--

This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.