[sv-ac] SV-AC status summary

IEEE 1800 SV-AC Status Summary 2007-12-12
-----------------------------------------

Last status summary:  2007-11-14

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

  . 1503 - "27.33 VPI diagram of propertyinst has no vpiArgument"
  . 1648 - "Default reset for assertions".  Changed syntax to "default disable iff"
    in order to leave "default disable" syntax avilable for SV-EC.
  . 1728 - "Introduce "let" statement"
  . 1757 - "Property resets: accepton(b) P, rejecton(b) P"
  . 1898 - "Describe the explicit mappings from assertion system tasks to callbacks"
  . 2033 - "Explicitly mention generate blocks as sequence and property declaration scope"

- The following Mantis items have been resolved without proposals since the last 
  status summary:
   
  . 1533 - "LRM not clear about types of local variables in properties and
    sequences" (resolved, duplicate)

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

  M: 1932 - "LTL operators".  Due to close on 2007-11-27.  There are
     dependencies on 1683 and still waiting on full review from JH an JM.
  M: 1900 - "Add new 'checker" construct".  Due to close on 2007-12-04.  An e-mail vote 
     will be called this week.
  m: 1682 - "future sampled value functions".  Due to close on 2007-11-20.  An
     e-mail vote will be called this week.
  M: 1667 - "local variable arguments".  Draft due 2007-12-11.
  m: 1756 - "Semantics of control tasks for assertions in initial blocks".  Not currenty
     being worked on.
  m: 2150 - "Disallow automatic variables in subroutine calls and action blocks".
     Draft due 2007-12-11.

-------------------------------------------------------------------------
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.