[sv-ac] IEEE 1800 SV-AC Status Summary 2008-04-30

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

Last status summary:  2008-03-25

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

  . 1503 VPI diagram of propertyinst has no vpiArgument
  . 1757 Asynchronous aborts
  . 1769 Elaboration time user assertion and error reporting tasks
  . 1806 Introduce "restrict property" verification statement
  . 1932 Introduce LTL and other temporal operators
  . 2100 Synchronous aborts
  . 2150 use of automatic variables in action block and subroutine calls 
should not be allowed
  . 2326 add VPI diagrams for property case [VPI diagrams extracted from 
2173
  . 2237 VPI additions for 1667
  . 2335 Minor fix for 1641
  . 2336 VPI for asynchronous aborts


- The following Mantis items have been approved by the champions since 
the last status summary:

  . 1757 accept_on/reject_on
  . 1769 Elaboration time user assertion and error reporting tasks
  . 2335 Minor fix for 1641
  . 2246 VPI definitions of assertkill need modifications
  . 2250 VPI changes for LTL operators


- The following Mantis items have been approved by the working group 
since the last status summary

  . 1549 add missing formal argument types
  . 1599 The assertion API and VPI sections need changes as per mantis #805
  . 1601  new keyword for untyped formal arguments
  . 1648  Default reset for assertions
  . 1686  assertion evaluation does not wait on subroutines
  . 1687  Wrong equivalence for $isunknown
  . 1987 Change "verification statement to "assertion or "assertion 
statement and add to glossary
  . 1901 Cycle delay for ## concatenation allows identifier to specify 
the delay w/o restricting to constant epxr
  . 2005 Solution for glitch problem in immediate assertions
  . 2069 Formal semantics for coverage is missing
  . 2091 Need a clarification where concurrent assertions may appear
  . 2100 Synchronous aborts
  . 2168 Formal semantics for edge-sensitive clocks
  . 2335 Minor fix for 1641


- The following Mantis items are waiting on work or approval by other 
committees:


  . [SV-BC] 1769 Elaboration time user assertion and error reporting tasks
  . [SV-BC,SV-EC] 1806 Introduce "restrict property" verification statement
  . [SV-BC] 2173 Add case construct for properties.
  . [SV-CC] 2326 Case property statement VPI


- The following Mantis items are now being worked on by the SV-SC:

  . 1728 Introduce "let" statement
  . 1900 Add new 'checker' construct to SVA
  . 1995 Concurrent assertions in loops
  . 2088 Allow Checker construct (0001900) to include covergroups
  . 2089 Allow checker construct (0001900) to include final blocks with 
immediate assertions
  . 2182 VPI diagrams for checkers

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