Written by: Dmitry Korchemny

Date: 2010-04-22

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: 7865098

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

v[xx] Eduard Cerny (Synopsys)

v[xx] Ben Cohen

v[-x] Surrendra Dudani (Synopsys)

v[xx] Dana Fisman (Synopsys)

v[xx] John Havlicek (Freescale)

v[xx] Tapan Kapoor (Cadence)

t[xx] Dmitry Korchemny (Intel – Chair)

v[x.] Scott Little (Freescale)

v[xx] Manisha Kulshrestha (Mentor Graphics)

v[xx] Erik Seligman (Intel)

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

|- attendance on 2010-04-22

|--- voting eligibility on 2010-04-22

Agenda:

- Reminder of IEEE patent policy.

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

- Minutes approval

Erik moves to approve the meeting minutes from 2000-04-13.

Tom seconds.

The motion passed: 0n/0a/10y.

- Errata classification (see the Excel spreadsheet attached)

Tapan: Handle important items first.

Ben, Ed: Add a column to the spreadsheet indicating the item type: errata/clarification/enhancement in order to be able to sort and filter according to it.

Dmitry: Handle trivial and low effort items separately. Handle medium and high effort items together with the enhancements, and take them into account when identifying 25 top-priority issues for the emerging PAR.

Dmitry will create a Google spreadsheet and grant editing rights to the committee members.

Laurence: Use Mantis query capabilities for this purpose.

Dmitry: It is not clear how to filter/sort according to member notes. It not clear how to manage the notes for this purpose, either.

Ed: Use Wiki.

Erik: Wiki does not have version control.

John: What was the purpose to classify the errata?

Dmitry: To identify the effort consuming items and to prioritize them together with the enhancements. Also the classification is needed to start resolving the low effort items.

- Enhancement prioritization

Enhancements along with medium and high effort errata and clarification will be published in the editable spreadsheet.

In the spreadsheet there will be 3 columns for each member:

* Importance (must/important/nice/unessential/drop)

* Priority 1-25 for 25 top issues

* Comment

Ed: Divide issue also by categories, and not only according to Mantis items as Mantis granularity may be too low for prioritization.

- Mantis item resolution.

2858: Clarify the rules for assigning a value to a non-checker variable from within a checker. Duplicate of 2093?

Ben: Drop.

Tom: Need to check the LRM.

John: Especially what happens if the checker is declared in a module and it does not need to reference module variables using their hierarchical names.

Ben will check this item and provide his feedback or a resolution proposal by the next meeting.

2754: P1800-2009 : Can clock change in conditional branch of 'if' operator.

Dmitry: Should have already been resolved.

Ed: There is even an example in the LRM (page 388).

John: Still need to check. A clarification may be required.

John will own this item.

2228: Error in example in Clause 17.11.4.

Dmitry, Ed: Already resolved.

John moves to resolve as "no change required".

Erik seconds.

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

2807: Typing error: actual parameter in example not declared.

Tom moves to resolve as "no change required".

John seconds.

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

- Opens

Erik: All issues under discussion may be published in the committee TWiki page: http://www.eda.org/twiki/bin/view.cgi/P1800/SystemVerilogAssertionCommittee

Everybody is welcome to upload his/her documents or to send them to Erik.

Next meeting:

Date: 2010-04-27

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

Duration: 2 hours

-- ErikSeligman - 2010-04-26