Date: 2010-08-00

Time: 16:00 UTC (9:00 PDT)

Duration: 1.5 hours

Dial-in information:

Meeting ID: 38198

Phone Number(s):

1-888-813-5316 Toll Free within North America

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results

2585, 2558 passed.

2412 failed.

- New issues

- Issue resolution/discussion

2938: Surprising (to some users) interaction between deferred assertions

& short-circuiting

2095: Clarify meaning of distribution as condition for "disable iff"

3117: make it clear that rewriting algorithm (F.4.1) applies to checker

and let

1763: The LRM does not define whether assertion control tasks affect

sequence methods and events

1853: BNF for calls to $rose and other sample value system functions.

2452: No vacuity information about synchronous aborts

2904: Clarify when disable iff condition must occur relative to starting

and ending of an attempt

3134: sequence and property range parameters are erroneously defined

3135: Verbal explanation of nexttime and always is misleading for

multiple clocks

1678: Clarify that rewriting algorithm doesn't replace name resolution

2571: confusing assertion clock inference rule

2386: Rename 16.9 to "Local variables"?

- Enhancement progress update

- 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--xxx] Laurence Bisht (Intel)

v[xxxxx-] Eduard Cerny (Synopsys)

v[xxxxxx] Ben Cohen

v[xxxxxx] Surrendra Dudani (Synopsys)

v[x-xxxx] Dana Fisman (Synopsys)

v[xxxxxx] John Havlicek (Freescale)

v[xxxxxx] Tapan Kapoor (Cadence)

t[xxxxxx] Dmitry Korchemny (Intel ¿ Chair)

v[xxxxxx] Scott Little (Freescale)

v[xxxxxx] Manisha Kulshrestha (Mentor Graphics)

v[xxxxxx] Anupam Prabhakar (Mentor Graphics)

v[xx-xxx] Erik Seligman (Intel)

v[xxxxx.] Samik Sengupta (Synopsys)

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

|- attendance on 2010-08-10

|--- voting eligibility on 2010-08-10

Minutes:

- Reminder of IEEE patent policy.

Participants were reminded about the IEEE patent policy

-Minutes

Erik: Move to approve minutes

Tapan: Second

Vote results: 11y, 0n, 0a

Email ballot results

2485 2558 Passed.

2412 Failed

(Samik Joined)

(Laurence Joined)

2485:

Surrendra: Will add the indefinite articles for the sentence as

requested in the friendly amendment, then Dmitry will mark it

resolved.

2558:

John: Suggested adding a reference to 6.21

Surrendra: Will add this reference, then Dmitry will mark it resolved.

2412:

John: Proposal had changed "otherwise" to "if used outside an assertion"

Felt that "otherwise" was still needed to show the priority of the

different rules.

Anupam: Will Make the text read: "Otherwise, if used outside an assertion"

John: Change "Unclocked sequence" to "sequence"

You infer a clock which could apply to this part of the sequence.

Inferred clock will not apply if sequence has a clock.

Wants text to be more general.

Anupam: Will make the change.

Dmitry: Other comments: Text says "actual" for actual arguments

Anupam: Will change "actual" to "actual argument"

Dmitry: Text mentions sequences passed as arguments to modules.

What about interfaces and programs?

What about tasks and functions?

Anupam Anything other than checker

inference should be done in context of where it is passed.

Anupam: Has already made the grammar changes suggested by Ben.

Scott: Feels his comments have been addressed.

Eric: His comments are the same as others. Anupam has taken care of them.

Anupam: Will upload new proposal today.

Issue resolution/discussion

2938

Eric: Has uploaded a new proposal. Adds new example.

Scott: Fine with it.

Dmitry: Will call for an e-mail vote

Dmitry: NOte: Don't do paragraph indentation

Eric: Will fix indentation

2095

Tom: Mantis item asks for explanation and example of using "dist" in

a disable iff statement. Does anyone have an example?

Ed: LRM does define distributions on page 375

John Fundamental problem with interpreting dist as inside

Ed: It's defined explicity by LRM. Would have to change definition.

John: Consider case where x is one bit x dist {0:=30, 1:=70} would be

always true.

Ed: Yes, that's how it is defined.

Ben: Seems like distribution should be interpreted as the value of the

expression, with instructions to the random simulator about how often

to generate each value.

Dmitry Suggest opening new mantis item for this.

Tom Will open new mantis item.

John Mantis description mentions long conversation between SV-CC and other

committees to understand the meaning of a distribution.

Can we recover thread of this conversation? It might be helpful in

informing our course of action.

John Don't close current one unless we're sure that disable is not

a special case.

Dmitry: Will hold a vote next time to discuss closing this Mantis item.

Enhancements

2751 Ben has uploaded an example of the usage of interfaces passed as

arguments to checkers.

Meeting adjourned.