[sv-ac] SV-AC Meeting Minutes from 2010-04-22

Minutes of IEEE P1800 SV-AC meeting #2010-02
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-twiki.org/cgi-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

Dial-in information:
--------------------

Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Bridge: 3 Passcode: 3065854
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.