[sv-ac] SV-AC status summary 2008-03-25

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

-----------------------------------------

 

Last status summary:  2008-02-26

 

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

 

.1728 Introduce "let"statement 

.1769 Elaboration time user assertion and error reporting tasks 

.1806 Introduce "restrict property" verification statement 

.1900 Add new 'checker' construct to SVA

.1932 Introduce LTL and other temporal operators 

.1987 Change "verification statement" to "assertion" or "assertion
statement" and add to the glossary 

.2005 Solution for glitch problem in immediate assertions 

.2088 Allow Checker construct (0001900) to include covergroups 

.2089 Allow checker construct (0001900) to include final blocks with
immediate assertions 

.2091 Need a clarification where concurrent assertions may appear 

.2150 use of automatic variables in action block and subroutine calls
should not be allowed 

.2168 Formal semantics for edge-sensitive clocks 

.2173 Add case construct for properties. 

.2327 2173 adds property case, need to add vacuity definition and multi
clocking behavior in it [addresses champion's feedback on 2173]

.2326 add VPI diagrams for property case [VPI diagrams extracted from
2173]

.2335 Minor fix for 1641 

 

- The following Mantis items have been approved by the champions 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

.1641 need a way to specify severity for printing general error messages

.1648  Default reset for assertions

.1686  assertion evaluation does not wait on subroutines 

.1667 Local variable arguments for sequences and properties

.1687  Wrong equivalence for $isunknown

.1668 Local variable initializers

.1729 Introduce immediate assume and cover statements 

.1758 Boolean implication -> and equivalence <-> 

.1901 Cycle delay for ## concatenation allows identifier to specify the
delay w/o retsricting to constant epxr 

.1995 Allow concurrent assertions in for loops 

.2069 Formal semantics for coverage is missing 

 

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

 

.[SV-CC] 1503 VPI diagram of propertyinst has no vpiArgument

.[SV-CC] 1757 accept_on/reject_on

.[SV-BC] 1769 Elaboration time user assertion and error reporting tasks

.[SV-BC,SV-EC] 1806 Introduce "restrict property" verification statement


.[SV-CC] 1898 Explicit mappings from assertion system tasks to callbacks

.[SV-CC] 2100 Synchronous aborts

.[SV-CC] 2182 VPI diagrams for checkers

.[SV-CC] 2246 VPI definitions of assertkill need modifications

.[SV-CC] 2326 Case property statement VPI

.[SV-CC] 2237 VPI additions for 1667

.[SV-CC] 2250 VPI changes for LTL operators

 

- The SV-AC extension will expire on 2008-03-31.

 

SV-AC will address champions' feedback on 1698 until 2008-03-31.

If a new extension is granted, SV-AC will address the feedback on the
checker-related proposals (1900, 2088, 2089, 2100) when it is supplied,
and the champions' feedback from 2008-04-10.

 

 

---------------------------------------------------------------------
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.