SV-ACMinutes2010_04_22 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-ACMinutes2010_04_22 (2010-04-26, ErikSeligman) (raw view)EditAttach
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 &ndash; Chair)

 v[x.] Scott Little (Freescale)

 v[xx] Manisha Kulshrestha (Mentor Graphics)

 v[xx] Erik Seligman (Intel)

 v[xx] Tom Thatcher (Sun Microsystems &ndash; 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: [[SystemVerilogAssertionCommittee][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

-- Main.ErikSeligman - 2010-04-26
Topic revision: r1 - 2010-04-26 - 16:31:58 - ErikSeligman
P1800