[sv-ac] SV-AC status summary 2008-01-30

IEEE 1800 SV-AC Status Summary 2008-01-30
-----------------------------------------

Last status summary:  2007-12-12

- The following Mantis items have been resolved or re-resolved since the last
  status summary:

  . 1667 - Local variable arguments for sequences and properties
  . 1682 - Future value functions
  . 1683 - Relax rules for multiclocked sequences and propoerties
  . 1729 - Immediate assume and cover
  . 1769 - Elaboration-time assertions
  . 1900 - Checkers
  . 1995 - Assertions checkers in for loops
  . 2091 - Clarify where concurrent assertions may appear

- The following Mantis items were resolved before the last status and are waiting
  on work or approval by other committees:
   
  . [SV-CC] 1503 - Revise VPI diagrams for assertions
  . [SV-CC] 1599 - API and VPI changes for 0805
  . [SV-EC] 1601 - Untyped arguments
  . [SV-CC] 1757 - accept_on/reject_on
  . [SV-BC] 1758 - Boolean operators ->, <->
  . [SV-CC] 1898 - Explicit mapping of assertion system tasks to callbacks

- The following Mantis items have been sent back by Champions:

  . 1648 - Default disable iff
  . 1987 - Verification statement

- The SV-AC extension schedule is copied below.  According to this schedule, SV-AC
  is behind on the following items:

  m: 1756 - Change semantics of assertion control tasks in initial blocks.  
     Due 2007-12-11.  Not being worked on.
  M: 1932 - LTL operators.  Due 2007-11-27.  In ballot and revision.
  v: 1786 - Formal semantics of "if-else" broken.  This will be fixed in 1932.
  v: 1687 - Wrong equivalence for $isunkown.  Due 2008-01-15.  Not being worked on.
  m: 2172 - Sequence "if-else".  Due 2008-01-15.  Not being worked on.
  d: 2173 - Case for sequences and properties.  Draft due 2008-01-08.  Not being
     worked on.
  m: 2150 - Disallow automatic variables in subroutines and action blocks.  Due 2008-01-22.
     In ballot and revision.
  d: 0966/1982 - Problems with argument passing and $.  Draft due 2008-01-22.  Some
     of these problems are resolved in 1549 and 1668.  Otherwise, not being worked on.
  v: 1901 - Restrict identifier in cycle delay to be constant.  Review due 2008-01-15.


-------------------------------------------------------------------------
2007-11-19

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-11-13
  M: 1932 ballot & revision
  M: 1900 review
  m: 1757 ballot & revision
  m: 1898 review
  m: 1756 ballot & revision
  m: 1682 ballot & revision
2007-11-20
  M: 1932 ballot & revision
  M: 1900 ballot & revision
  m: 1757 ballot & revision
  m: 1898 review
  m: 1756 ballot & revision
  m: 1682 ballot & revision
  d: 1503 draft
  d: 2033 draft
2007-11-27
  M: 1932 ballot & revision
  M: 1900 ballot & revision
  m: 2005 review
  m: 1898 ballot & revision
  m: 1756 ballot & revision
  m: 1503 ballot & revision
  v: 2033 review
  d: 1667 draft
  d: 1683 draft
2007-12-04
  M: 1900 ballot & revision
  M: 1995 ballot & revision
  m: 1898 ballot & revision
  m: 1756 ballot & revision
  m: 1503 ballot & revision
  v: 2033 ballot & revision
  d: 1667 draft
  d: 2150 draft
  d: 1683 draft
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
2008-01-22
  M: 2005 review
  M: 2110 review
  m: 2173 review
  m: 2150 ballot & revision
  m: 1769 ballot & revision
  m: 2069 review
  v: 1901 ballot & revision
  v: 1987 review
  d: 0966/1982 draft
  d: 2100 draft
  d: 1686 draft
  d: 1830 draft
2008-01-29
  M: 2005 ballot & revision
  M: 2110 ballot & revision
  m: 2173 ballot & revision
  m: 0966/1982 review
  m: 2100 review
  m: 2069 review
  v: 1686 review
  v: 1830 review
  v: 1987 ballot & revision
  d: 1806 draft
2008-02-05
  M: 2005 ballot & revision
  M: 2110 ballot & revision
  m: 2173 ballot & revision
  m: 0966/1982 ballot & revision
  m: 2100 ballot & revision
  m: 1806 review
  v: 1686 ballot & revision
  v: 1830 ballot & revision
2008-02-12
  M: 2069 ballot & revision
  M: 1551 review
  m: 0966/1982 ballot & revision
  m: 2100 ballot & revision
  m: 2168 review
  m: 1806 review
2008-02-19
  M: 2069 ballot & revision
  M: 1551 ballot & revision
  m: 2168 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.