SV-ACMinutes2010_05_11 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-ACMinutes2010_05_11 (2010-05-14, ErikSeligman) (raw view)EditAttach
Minutes of IEEE P1800 SV-AC meeting #2010-04

Written by: Dmitry Korchemny

Date: 2010-05-11

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

Dial-in information:

--------------------

Meeting ID:            38198

Phone Number(s):   

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

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

 v[xxxx] Eduard Cerny (Synopsys)    

 v[xxxx] Ben Cohen

 v[xx-x] Surrendra Dudani (Synopsys)

 v[xxxx] Dana Fisman (Synopsys)

 v[xxxx] John Havlicek (Freescale)

 v[xxxx] Tapan Kapoor (Cadence)

 t[xxxx] Dmitry Korchemny (Intel &ndash; Chair)

 v[xxx.] Scott Little (Freescale)

 v[xxxx] Manisha Kulshrestha (Mentor Graphics)

 v[xx..] Anupam Prabhakar (Mentor Graphics)

 v[-xxx] Erik Seligman (Intel)

 v[xxxx] Tom Thatcher (Sun Microsystems &ndash; Co-Chair)

  |- attendance on 2010-05-11

 |--- voting eligibility on 2010-05-11

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

Tom asked to fix his comment in the minutes: "Tom: disable iff is non-sampled to make the simulation efficient." -&gt; "Tom: non-sampled disable iff makes simulation inefficient."

John seconds.

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

- Issue prioritization

Dmitry explained the prioritization algorithm. The sorting is done according to increasing values of "Updated Score" (column AV in the spreadsheet): each empty cell introduces a penalty of 100. The lower is the score the more important is the issue.

Ed: Then the categories won't be taken into account.

Dmitry: Let's order according the categories: first the category of the first item in the sorted list, then the category of the first item in the remaining list having a different categoroy, etc,

Ed: Then there we will include items that nobody wants because they belong to an important category.

John: Why not to adopt the rating system of other committees?

Dmitry: Added a column AW: weighed score.

Scott: Let's go through the categories and discuss the results.

John moves to sort according to the weighed score.

Tom: seconds.

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

Dmitry suggested to drop from the list the item 2722 "Errors in Figures 16-14, 16-15, and 16-16" since this item is a pure erratum and does not have to be prioritized.

Dmitry: If we build the priority list according to the categories, all items from the list will be included since there are only 18 categories.

Surrendra: Let's drop the low importance items.

Tom: Let's cut at the item 30.

Dmitry: Then the "if" construct for sequences will be included into the list, but the "case" construct for sequences won't. Let's cut the list after the "case" construct.

John moves to accept the following criterion: The ordered list will be sorted by categories until the item 2297 "Case construct for sequences" (including), and their order of items inside the category will be according to their rank, and this rank will also be indicated in the list.

Ed seconds.

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

- Issue resolution

No time left.

- Opens.

Next meeting:

------------

Date: 2010-05-25

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: 5 Passcode: 5047788
Topic revision: r1 - 2010-05-14 - 20:39:14 - ErikSeligman
P1800