[sv-ac] Approved SV-AC items

Hi Neil,

 

This is to inform you that the following items have been unanimously
approved at today's SV-AC meeting:

 

*               2173 Add case construct for properties
Basic proposal, approved by the champions 2008-03-13.

*               2326 VPI diagram for the property case
VPI part of 2173.

*               2327 Vacuity part of 2173
Champions requested to extract vacuity stuff into a separate proposal
2008-03-13.

*               1932 Introduce LTL and other temporal operators

Keyword "next" replaced with "nexttime" following the champions'
feedback to avoid RTL backward incompatibility

*               1806 Restrict property statement
Made consistent with 1987 following the feedback from JH and SB.

*                2335 Minor fix for 1641
Fix for a minor editorial problem in 1641

*               2069 Formal semantics for coverage is missing (approve
the fix of the friendly amendment)
Addressed champions' comments from 2008-03-13.

 

Thanks,

Dmitry

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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