[sv-ac] P1800 Sv AC: Issues and Priorities

Hello,

the following is a summary of the issues we deal with in SV-AC. Please
have a look and modify if need be. I will then send it (by tomorrow 1pm
ET) to Karen & Johny to be used as part of some update report.

Best regards,
ed

-------

P1800 Sv AC issues:

Minor corrections and clarifications:
=======================================

0001325 Clarify references to items declared in unnamed clocking blocks.

0001326 No semantics for boolean abbreviation with sequence match item.

0001346 index error in semantics of $past  
0001347 forbid local variables in sampled value functions  
0001392 Inconsistent description of clock event argument to sampled
value functions.  

More important corrections and local changes:
===============================================
	- proper definition of vacuous successes and 
		provide finer control on when action blocks should
execute
	- arguments to recursive properties
	- arguments to $isunbounded

0001381 vacuous success is not well defined in the LRM  
0000805 disable iff condition should produce vacuous match  
0001383 Property coverage definition  
0001361 need a way to control execution of action blocks  

0001420 Rules governing passing of arguments to recursive properties are
not sufficient  
0000928 list_of_formals superfluous (BNF)

0000508 $isunbounded definition  
0000966 $isunbounded()

More profound refinements of the semantics of SVA:
================================================

0001296  Annex E does not cover all clocked derived forms  
0000921 Semantics of "calling subroutines on match of a sequence" is not
well defined. 

Combined P1800 + 1364 LRM:
==========================
 
0001036 Incorporate by reference Accellera PSL