RE: [sv-bc] New P1800 technical committee - Clarification on current SV-AC items

 

Hi Neil-- 
Perhaps we should make sure that we have a clear partitioning of the
currently pending SV-AC items; I'm a little worried that with another
committee forming, there might be some ownership confusion & stuff
dropped on the floor.  

So here's my attempt to clearly partition the active SV-AC items
mentioned in Dmitry's status update last week.  Tell me if anyone has
additions or corrections.


Passed by SV-AC, NOT owned by new committee ==>  Champions have AR to
review & feed back to SV-AC:
.1769 Elaboration time user assertion and error reporting tasks 
.1806 Introduce "restrict property" verification statement 
.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 
.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 


Passed by SV-AC, NOT owned by new committee ==> SV-BC or SV-CC have AR
to review
.[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] 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


Now owned by new committee ==> New committee has AR to review
.1728 Introduce "let"statement 
.1900 Add new 'checker' construct to SVA
.2088 Allow Checker construct (0001900) to include covergroups 
.2089 Allow checker construct (0001900) to include final blocks with
immediate assertions 
.2100 Add synchronous resets syntax as oppose to the asynchronous nature
of accept_on/reject_on 
.2110 Allow checkers in procedural for loops 
.2182 VPI diagrams for checkers




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