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

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...........................] Ashok Bhatt (Cadence)

v[x-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[xxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

t[xxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel - Chair)

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

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

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

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

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

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

n[------x.....................] Srini Venkataramanan (CVS Pvt)

|- attendance on 2011-01-25

|--- voting eligibility on 2011-01-25

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

Erik: Move to approve the meeting minutes from 2011-01-18.

Scott: Second

Vote results: 7y/0n/0a.

- Issue resolution/discussion

Addressing champions’ feedback

1933: 16.13.6 reference to triggered method can be improved

Erik will write a proposal and notify when ready. Dmitry will call to email vote.

2412: Allow clock inference in sequences

Tom: Add a line at the beginning of the proposal with Mantis number for convenience.

Erik, Samik: Rewrite the sentence on page 3 without using parentheses.

Manisha: Add a reference from 9.4 to this subclause.

Anupam: Will copy the reference from Mantis 2271 proposal.

Tapan: Need to infer the context clock.

Anupam: no context clock, only the default clock may be inferred.

Anupam: Shalom suggested changing “actual argument” to “port connection”.

Dmitry: This change should not be done in this Mantis. If wanted, a separate Mantis item should be open. There are loads of “actual argument” occurrences in Clauses 16 and 17.

Dmitry will call to vote when the proposal is ready.

2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when expression appears in procedural assertion

Erik provided a brief overview. Scott expressed his concern (sent earlier in an email),

Dmitry: It should be acceptable to allow clock inference in a checker always procedure when the clock expanse to a complex event.

Anupam: Include an example to the proposal.

Erik: Where to include it? In the current subclause or in Clause 17.

Dmitry: Clause 17 should be more appropriate + reference to this example from 16.15.6.

Erik: Will include it into the subclause of checker procedures.

3113: Add port_identifier to constant_primary BNF for sequences, properties and checkers

Laurence presented an overview of the proposal.

Manisha: What about typed formal arguments?

Laurence: There is already an example in the LRM. See 16.8.1.

Manisha: Why constant range expression is needed in the BNF?

Laurence, Dmitry: It is also used in other similar clauses. Should allow a constant range selection.

Laurence will request a clarification on “constant_range_selection” in the “constant_primary” clause from SV-BC.

We will have an email vote on this item next time.

2476: Need clarification about system functions $onehot, etc

Erik gave an overview of the new function $bitshot.

Tom: What happens if some bit value is neither in quiet bits nor in active bits?

Erik: This value is ignored.

Scott: This clarification should be added to the LRM.

Samik: Why this function is required? We have $onehot, etc. already.

Erik: To support 4-valued types.

Laurence: Why this function is needed at all? Use $countbits.

Dmitry: For convenience.

Samik: If active and quiet bits have a common part, why should it be an elaboration time error? They are not required to be constants.

Erik: Will replace with “error”.

Dmitry: Why arguments should be packed bit vectors?

Erik: Correct. Only active and quiet bits should. Not the expression.

Dmitry: Is using {>>expression} is correct in this context?

Erik: Should be correct.

Erik will check this with SV-BC.

Dmitry: Next time we should discuss where to place this section. It was suggested to move it out of the assertion area.

Meeting adjourned.