[sv-ac] reminder of SV-AC meeting 2007-08-21

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

Date:  2007-08-21
Time:  16:00 UTC (11:00 CDT) 

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.
- Meeting schedule up to 15 OCT 2008 feature freeze.
- Results from champions.
  . Items approved:
    * 1460 Allow actions within assume property statement
    * 1674 Context value functions
    * 1677 Add $changed sampled value function
    * 1730 Allow literal sequence and property actual arguments
    * 1734 Incomplete fix to Annex F in 0805.
    * 1735 Incomplete fixes from 0928
    * 1361 need a way to control execution of action blocks
  . Items with friendly amendments:
    * 1550 $sampled function definition
    * 1567 22.9: in Syntax 22-7, should be no semicolon
    * 1722 there exists bind inconsistencies between the BNF and the text
  . Items sent down:
    * 1591 17.7.3, 22.9: $past syntax not precise
    * 1704 need to specify behavior of attached subroutine on empty seq match
    * 1601 new keyword for untyped formal arguments
    * 1648 Default reset for assertions (default disable)
    * 1729 Introduce immediate assume and cover statements
    * 1768 need to define how to interpret whether the argument to cover is a
  . Items rejected:
    * 1466 shortcuts for delay and consecutive repetition
  . Items to be closed:
    * 1543 Meaningless sentence in 17.15 and Annex H
  . Items requiring more time to review:
    * 1681 Introduce global clocking
- Results of e-mail ballot on 1549
- 1668:  Local var initializers [JH]
- 1728:  Let proposal [EC, DK]
- 1932:  LTL operators [DK, DB]
- 1757:  accept_on, reject_on
- 1900:  Checkers [ES]
- 1682:  Future value functions [DK]
- 1756:  Control of assertions in initial blocks [EC]
- 1758:  Boolean operators ->, <-> [EC]




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