[sv-ac] SV-AC status summary 2008-02-26

IEEE 1800 SV-AC Status Summary 2008-02-26
-----------------------------------------

Last status summary:  2008-01-30

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

  . 1601 Untyped arguments [returned from SV-EC unchanged and resolved]
  . 1648 Default reset for assertions
  . 1686 Assertion evalution does not wait on subroutines
  . 1687 Wrong equivalence with $isunknown
  . 1728 Let
  . 1758 Boolean operators ->, <->
  . 1786 Definition of "if-else" in Annex F seems broken
  . 1806 Restrict assertion statement
  . 1830 Add sequence methods to formal syntax
  . 1833 Precise definition of immediate asseritons
  . 1852 Reference named sequence or property before declaration
  . 1900 Checkers
  . 1932 LTL operators
  . 1982 Actual arguments unclear, $ inconsistencies
  . 1987 Assertion statement definition and glossary entry
  . 2005 Deferred immediate assertions
  . 2069 Formal semantics for coverage
  . 2088 Covergroups in checkers
  . 2089 Final blocks with immediate assertions in checkers
  . 2091 Clarification on where concurrent assertions may appear
  . 2100 Synchronous resets
  . 2110 Checkers in procedural for loops
  . 2150 Disallow automatic variables in subroutine calls and action blocks
  . 2168 Formal semantics of edge-sensitive clocks
  . 2173 Property case
  . 2182 VPI diagrams for checkers
  . 2250 VPI changes for LTL operators

- The following Mantis items 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-CC] 1757 accept_on/reject_on
  . [SV-CC] 1898 Explicit mappings from assertion system tasks to callbacks
  . [SV-CC] 2005 Glitches with immediate assertions
  . [SV-CC] 2182 VPI diagrams for checkers
  . [SV-CC] 2250 VPI changes for LTL operators
  . [SV-CC] 1757 accept_on/reject_on
  . [SV-CC] 1898 Explicit mapping of assertion system tasks to callbacks

- The SV-AC extension will expire on 2008-02-23.   According to the schedule, SV-AC
  is behind on the following items:

  M: 1551 - Make disable iff sampled.  Not being worked on.
  m: 1627 - Expect statement not allowed in functions.  Not being worked on.
  m: 1756 - Change semantics of assertion control tasks in initial blocks.  
     Due 2007-12-11.  Not being worked on.
  m: 2172 - Sequence "if-else".  Due 2008-01-15.  Not being worked on.
  d: 0966 - 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.  Due 2008-01-22.  
     Expected to be resolved on 2008-02-28.
  m: 1769 - Elaboration-time assertions and error reporting tasks.  Due   2008-01-22.  
     Expected to be resolved on 2008-02-28.
  v: 1987 - Change "verification statement" to "assertion statement".  Due 2008-01-29.
     Expected to be resolved on 2008-02-28.


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