Date: 2011-02-22

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

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- F2F

- Email ballot results

- New issues

- Issue resolution/discussion

Addressing champions' feedback

2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when

expression appears in procedural assertion

2476: Need clarification about system functions $onehot, etc

- Enhancement progress update

2328: Review and relax restrictions on data types in assertions

3295: need a way to control only asserts/covers/assume directives

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

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

v[xxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)

n[xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen

n[-------------xx-x-xxx-x--xxxxxxx] Surrendra Dudani (Synopsys)

n[x-x----x-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)

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

v[xxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

n[-x..............................] Jacob Katz (Intel)

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

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

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

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

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

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

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

v[-xx-------x.....................] Srini Venkataramanan (CVC Pvt Ltd)

|- attendance on 2011-02-22

|--- voting eligibility on 2011-02-22

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 Minutes

Scott: Second

Vote results 10y, 0n, 0a

- F2F

Dmitry: Next week we will not hold regular meeting.

Face-to-face meeting will be next week.

Propose to start at 8am. Finish at 4pm

First Day (Feb 3) at Doubletree Hotel Dmitry will send location.

Second Day (Feb 4) at Intel Santa Clara

Dmitry will prepare slides.

- Issue resolution/discussion

Addressing champions' feedback

2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when

expression appears in procedural assertion

Erik: Discussion last week about whether the current two-pass inference

was the right way to go.

Anupam: Would like to rewrite the proposal without referring to

substitution.

Manisha: How would person writing checker know if a valid clock would

be inferred after substitution.

Erik: This is why rules were written in a two-pass manner.

Anupam: Writer of checker needs to provide a clear interface.

Manisha: Supports change. It's cleaner to do inference once, rather

than do it twice.

Tom: How are proposed checker rules different than in other scopes?

Anupam: In checker, the rules would allow multiple edge or event expressions

to be inferred at the clocking event.

Erik: Isn't it better to have one rule that applies everywhere.

Tom: Agree

Erik: Will re-write the proposal

Dmitry will call for a vote when the proposal is ready.

2476: Need clarification about system functions $onehot, etc

Erik: Ben, Manisha had suggestions. Erik will incorporate those suggestions

and will update the proposal. Dmitry will call for a vote.

- Enhancement progress update

2328: Review and relax restrictions on data types in assertions

Scott: Doesn't have anything new to discuss.

Dmitry: What are plans for Face-to-Face?

Scott: Will discuss 2328. Don't think we will be ready to discuss other

AMS-related proposals

3295: need a way to control only asserts/covers/assume directives

Manisha: Has not made any changes since last week.

Anupam: Would like to consider severity.

If we don't add severity now, then added it later, we would then

need to add yet another function for selecting by severity.

Tom: Can we just allow for selection by attributes instead?

Manisha: What is the type of an attribute?

Ed: An attribute is a name and a constant expression.

Ben: How would we avoid inter-operability problems?

Different vendors might use different attribute names or values

to encode severity.

Tom: Selection by attributes would allow selection by other attributes

in addition to just severity.

Manisha: Is there an example of how to compare an attribute value?

Ed: Would have to get attribute value through DPI.

Meeting Adjourned.

--

This message has been scanned for viruses and

dangerous content by MailScanner, and is

believed to be clean.