[sv-ac] reminder of SV-AC meeting 2007-12-18

Meeting reminder for IEEE P1800 SV-AC meeting #2007-33: 

Date:  2007-12-18
Time:  16:00 UTC (10:00 CST) 

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

Country                 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


Agenda:
-------

- Reminder of IEEE patent policy.

Ballot results
- 1682:  Future value functions [DK]
- 1900:  Checkers [DK]
- 1995:  Assertions and checkers in for loops [ES]
- 2005:  Glitches with immediate assertions [ES]

Old items:
- 1683:  Relaxing rules for building multiclocked properties
  . Ready for e-mail vote?

Major items:
- 1932:  LTL Operators [DK, DB]
- 1667:  Local variable arguments [JH] -- proposal not yet ready

General working items:
- 1729:  Immediate assume and cover
- 2088:  Covergroups for checkers [TT]
- 2089:  Allow checker construct to include final blocks with immediate
  assertions [TT]
- 1987:  Verification statement as defined term [DB review]
- 2091:  Clarify where concurrent assertions may appear [TT review]
- 2150:  Disallow reference to automatic variables in action blocks
  and subroutine calls [MK]
- 2172:  Sequence if-else [JH] -- proposal not yet ready

Other items

-------------------------------------------------------------------------
Upcoming 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)

2007-12-11
  M: 1667 review 
  M: 1995 ballot & revision
  m: 1729 ballot & revision
  m: 1756 ballot & revision
  m: 1503 ballot & revision
  m: 2150 review
  m: 1683 review
  v: 1786 review
  d: 2172 draft
2007-12-18
  M: 1667 review 
  M: 1995 ballot & revision
  m: 1729 ballot & revision
  m: 2172 review
  m: 2150 review
  m: 1683 review
  v: 1786 ballot & revision
  d: 1627 draft
2008-01-08 JAN
  M: 1667 ballot & revision
  M: 2005 review
  m: 2172 ballot & revision
  m: 2150 ballot & revision
  m: 1683 ballot & revision
  m: 1769 review
  v: 1687 review
  d: 2173 draft
  d: 2069 draft
  d: 1901 draft
2008-01-15
  M: 1667 ballot & revision
  M: 2005 review
  m: 2172 ballot & revision
  m: 2150 ballot & revision
  m: 1683 ballot & revision
  m: 1769 ballot & revision
  v: 1687 ballot & revision
  v: 1901 review
  d: 0966/1982 draft
  d: 2110 draft
  d: 2069 draft
  d: 1987 draft


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