IEEE 1800 SV-AC Status Summary 2008-10-22
-----------------------------------------

Last status summary:  2008-08-13

Main work during the last period was dedicated to Draft7 and Draft7a review. The review of Draft7a is still in progress.

The following items have been resolved:

   2486 Scope of Annex F definition of "specify" is not clear.
	This is an editorial issue approved by the committee.

   2478 Clock flow subclause is not consistent with multiclocked property definition
	This issue is not editorial, but it is a show stopper, since without the changes suggested there the LRM will be contradictory.

The following items have been marked as completed (some of them has already been verified and should be closed, but haven’t been actually closed yet):

    2490 use of "satisfies" instead of "tightly satisfies" 
    2489 Wrong font 
    2482 Need to swap F.3.4.6 and F.3.4.7 
    2492 typo in 16.9.10 
    2100 Add synchronous resets syntax as oppose to the asynchronous nature of accept_on/reject_on 
    1932 Introduce LTL and other temporal operators 
    1769 Elaboration time user assertion and error reporting tasks 
    1549 add missing formal argument types 
    2327 2173 adds property case, need to add vacuity definition and multi clocking behavior in it 
    2173 Add case construct for properties. 
    2091 Need a clarification where concurrent assertions may appear 
    1806 Introduce "restrict property" verification statement 
    1698 The description of sampled value functions is insufficient 
    1682 Future value functions 
    1681 Introduce global clocking 
    1668 Local variable initializers. 
    1667 Local variable arguments for sequences and properties. 
    1648 Default reset for assertions 
    2450 Derived syntax for restrict assertion statement