IEEE 1800 SV-AC Status Summary 2008-06-24
-----------------------------------------

Last status summary:  2008-05-27

- The following Mantis items have been published in Draft6 and are being reviewed by SV-AC:

  . 2100 Add synchronous resets syntax as oppose to the asynchronous nature of accept_on/reject_on 
  . 1682 Future value functions 
  . 1683 Relax rules for building multiclocked properties 
  . 2250 2008-06-23 VPI changes related to 1932 
  . 2005 Solution for glitch problem in immediate assertions 
  . 1932 Introduce LTL and other temporal operators 
  . 1729 Introduce immediate assume and cover statements 
  . 2168 Formal semantics for edge-sensitive clocks 
  . 1698 The description of sampled value functions is insufficient 
  . 1901 Cycle delay for ## concatenation allows identifier to specify the delay w/o retsricting to constant epxr 
  . 1681 Introduce global clocking 
  . 1667 Local variable arguments for sequences and properties. 
  . 1601 new keyword for untyped formal arguments 
  . 1737 Incomplete fix from 1381 
  . 1668 Local variable initializers. 
  . 1648 Default reset for assertions 
  . 2336 VPI part of 1757 
  . 2335 Minor fix for 1641 
  . 2246 VPI definitions of assertkill need modification 
  . 2188 Typo in 38.4.1 Placing assertion system callbacks 
  . 2175 implementation feedback 
  . 2171 Wrong usage of "property expression" in Reactive region description. 
  . 2150 use of automatic variables in action block and subroutine calls should not be allowed 
  . 2091 Need a clarification where concurrent assertions may appear 
  . 2090 Concurrent assertion instantiation - inconsistent wording 
  . 2069 Formal semantics for coverage is missing 
  . 2033 Explicitly mention generate blocks as sequence and property declaration scope 
  . 1987 Change "verification statement" to "assertion" or "assertion statement" and add to the glossary 
  . 1800 Example with throughout in Clause 16.8.8 on pp332 of P1800-2008 Draft 4 is incorrect 
  . 1769 Elaboration time user assertion and error reporting tasks 
  . 1758 Boolean implication -> and equivalence <-> 
  . 1757 Property resets: accepton(b) P, rejecton(b) P 
  . 1731 Sampled value functions with arbitrary clocks 
  . 1722 there exists bind inconsistencies between the BNF and the text 
  . 1687 Wrong equivalence for $isunknown 
  . 1686 assertion evaluation does not wait on subroutines 
  . 1677 Add $changed sampled value function 
  . 1641 need a way to specify severity for printing general error messages 
  . 1599 The assertion API and VPI sections need changes as per mantis #805 


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



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

  . 1503 VPI diagram of propertyinst has no vpiArgument 
  . 2237 VPI additions for 1667 
  . 1806 Introduce "restrict property" verification statement 


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


  . [SV-BC] 2173 Add case construct for properties


- The following Mantis items are waiting on approval of other items:

  . 2326 Case property statement VPI
  . 2327 2173 adds property case, need to add vacuity definition and multi clocking behavior in it

- The following items have been closed since the last status summary:

  . 1550 $sampled function definition 
  . 1381 vacuous success is not well defined in the LRM 
  . 1420 Rules governing passing of arguments to recursive properties are not sufficient 
  . 1495 A problem with the rules of local variables flow rules 
  . 1518 Semantics of recursive properties is missing