[sv-ac] notes from SV-AC meeting 2008-02-21

From: John Havlicek <john.havlicek_at_.....>
Date: Thu Feb 21 2008 - 07:42:38 PST
Minutes of IEEE P1800 SV-AC meeting #2007-41
Written by: John Havlicek

Date:  2008-02-21
Time:  15:00 UTC (09:00 CST) 

Dialin information:
-------------------

Toll number:   +1 647 723 3904

Country                 Toll Free Number

AUSTRALIA               1800009128
AUSTRIA                 0800291873
BELGIUM                 080077334
CANADA                  8008671147
CHINA TELECOM (CT)      108001400732
CHINA NETCOM (CNC)      108007140759
DENMARK                 80703159
FINLAND                 0800770233
FRANCE                  0800941695
GERMANY                 08001014519
GREECE                  0080016122039738
HONG KONG               800933578
HUNGARY                 0680017180
INDIA                   0008001006032
INDONESIA               008800105607
IRELAND                 1800944116
ISRAEL                  1809459738
ITALY                   800782388
JAPAN                   00531160427
LUXEMBOURG              80023985
MALAYSIA                1800808386
MONACO                  80093186
NETHERLANDS             08002658223
NEW ZEALAND             0800443736
NORWAY                  80057409
POLAND                  008001114672
PORTUGAL                800819106
RUSSIA                  81080022801012
SINGAPORE               8001011470
SOUTH AFRICA            0800992835
SOUTH KOREA             00308140540
SPAIN                   900967020
SWEDEN                  0201400559
SWITZERLAND             0800563054
TAIWAN                  00801126585
THAILAND                0018001562039684
UNITED KINGDOM          08005280546
UNITED STATES           8008671147

Access Code:  7375405


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

New PAR, attendance re-initialized on 2006-08-22:

 v[xx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[----------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
 v[x-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[---x-x-------------------------------------------------] Ah-Lam Lee (Qualcomm)
 n[------------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[---------------x------------x--xxx.....................] Joseph Lu (Altera)
 v[ x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
 n[---------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[xxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[ -xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[ ------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[ -xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
    |------------------------------------------------------ attendance on 2008-02-19
   |------------------------------------------------------- attendance on 2008-02-21
 |--------------------------------------------------------- voting eligibility on 2008-02-21



Agenda:
-------

- Reminder of IEEE patent policy.

Voice votes
. 1833 (duplicate of 2005)
. 1900 Checkers
. 2100 Synchronous resets

Other 
. 1901 Identifier for ## should be constant
  - Syntax changes.  Voice vote?

Notes:
------

- Reminder of IEEE patent policy.

Voice votes
. 1833 (duplicate of 2005)
  - Voted 7y/0n/0a to close as duplicate of 2005.  JH will add a note to mantis and change 
    the state.  Immediate assertions were left as is, new kind of assertion was added.
. 1900 Checkers
  - Updated to address comments from Shalom and Bassam.
  - Voice vote on checkers_080219dk.pdf.
    7y/0n/0a approve this version.
  - DK will revise to address some of Brad Pierce's comments and post and send e-mail.
    JH will call for short email vote to end on 2008-02-24.
. 2100 Synchronous resets
  7y/0n/0a to approve the proposal subject to the condition that Yaniv update the 16-14
  change to align the original text with the result of the draft 4 changes.  Yaniv will
  post and send e-mail.  JH will then move to resolved.

Other 
. 1901 Identifier for ## should be constant
  - Syntax changes.  Voice vote?
  - JH will call a short e-mail vote to end on 2008-02-24.
. 1769 Elaboration-time assertions
  - EC will modify and send mail.  JH will call a short e-mail vote to end on 2008-02-24.


-------------------------------------------------------------------------
Extension Schedule

Legend:
M:  major item slot (2 concurrent)
m:  minor item slot (4 concurrnet)
v:  very minor item slot (no limit)
d:  draft preparation slot (no limit)

Late Items
  m: 1756 // due 2007-12-11; review
  v: 1786 // due 2007-12-18; resolve in 1932
  v: 1687 // due 2008-01-15; open
  m: 2172 // due 2008-01-15; open
  d: 2173 // draft due 2008-01-08
  d: 0966/1982 // draft due 2008-01-22; open
  v: 1901 // review due 2008-01-15
  m: 2100 // due 2008-02-12
  d: 1806 // draft due 2008-01-29

Schedule:
---------
2008-02-12
  M: 1551 review
  m: 0966/1982 ballot & revision
  m: 2100 ballot & revision
  m: 1806 review
2008-02-19
  M: 1551 ballot & revision
  m: 1806 ballot & revision
  m:
  m:
2008-02-26
  M: 1551 ballot & revision
  M:
  m:
  m:
  m:
  m:

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Feb 21 07:43:25 2008

This archive was generated by hypermail 2.1.8 : Thu Feb 21 2008 - 07:44:10 PST