Written by: Dmitry Korchemny

Date: 2010-04-13

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

Dial-in information:

Toll number: +1 916-356-2663

Toll free number (US): 888-875-9370 (U.S. toll-free)

Bridge: 2 Passcode: 3534371

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-04-13:

v[x] Laurence Bisht (Intel)

v[x] Eduard Cerny (Synopsys)

v[x] Ben Cohen

v[x] Surrendra Dudani (Synopsys)

v[x] Dana Fisman (Synopsys)

v[x] John Havlicek (Freescale)

v[x] Tapan Kapoor (Cadence)

t[x] Dmitry Korchemny (Intel – Chair)

v[x] Manisha Kulshrestha (Mentor Graphics)

v[x] Erik Seligman (Intel)

v[x] Tom Thatcher (Sun Microsystems – Co-Chair)

|- attendance on 2010-04-13

|--- voting eligibility on 2008-10-06

Agenda:

- Reminder of IEEE patent policy.

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

- Voting rights

See: http://standards.ieee.org/sa-mem/corp_overview.html

Currently, until the new PAR is approved, we are defined as a study group and there are no changes in participation rules from 1800-2009 yet.

- Prioritizing top 25 issues to work on.

John and Dmitry made a presentation on their enhancement proposals for the emerging PAR.

John covered enhancements in local variables, including alignments with PSL, and real data support in SVA as a step towards including AMS assertions into SV.

Ed mentioned that the backward compatibility should be preserved with local variables.

Dmitry covered enhancements in checkers, introducing integral data type, enhancements in assertion system functions, AMS assertions and temporal coverage.

Dmitry presented enhancement requests from ARM and from Cliff. Cliff's request to introduce $all_signals system functions does not look to belong to the SV-AC area. Also, more detailed description is needed.

- Mantis item resolution.

All open errata and clarification items need to be reviewed by SV-AC and classified according to the required resolution effort: trivial, low, medium and high.

The following Mantis items were discussed:

1646: Generate constructs within properties and sequences

Ed moves to resolve as "won't be fixed" since the requested functionality has already been implemented in checkers.

Tom seconds.

The motion passed - 0n/0a/10y

2206: Random simulation of non-deterministic free variables in checkers

Erik moved to resolve as a duplicate of 1900

Tom seconds.

The motion passed - 0n/0a/10y

2232: Incorrect region name throughout clause 16

Ed moves to resolve as "no change is required" since the item has already been implemented in the LRM.

John seconds.

The motion passed - 0n/0a/10y

2386: Rename 16.9 to "Local variables"?

The main part of this proposal has already been implemented in the LRM. However, there is a note in the text of this proposal that needs to make a decision. Tom and John suggested to allow time to study the proposal before its resolution.

2481: Need to swap F.3.4.6 and F.3.4.7

Tom moves to resolve as a duplicate of 2482.

John seconds.

The motion passed - 0n/0a/10y

2747: Typing error, missing () around property declaration

Ben moved to resolve as a duplicate of 2541

John seconds.

The motion passed - 0n/0a/10y

2897: Allow $display in checkers

Ed moves to resolve as a duplicate of 2743

Ben seconds.

The motion passed - 0n/0a/10y

Action items:

Dmitry: Communicate the committee's opinion about the relation of Cliff's proposal to SV-AC and request clarifications from Cliff.

Dmitry: Create a spreadsheet with the open errata and clarification items and assign owners to classify the required effort.

All: Study the assigned errata and clarification items and to classify them according to the effort required for their resolution: trivial, low, medium and high. The results should be send to Dmitry by the next SV-AC meeting.

Next meeting:

Moved to Thursday because of Israel Independence Day

Date: 2010-04-22

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

Duration: 1 hour

Dial-in information:

Toll number: +1 916-356-2663

Toll free number (US): 888-875-9370 (U.S. toll-free)

Bridge: 2 Passcode: 7865098

-- ErikSeligman - 2010-04-15