RE: [sv-ac] IEEE 1800 sv-ac: list of Mantis items

Hi Ed,

Here is my preference.

1. 1549: add missing formal argument types
2. 1667: local variable arguments for sequences and properties
3. 1668: local variable initializers
4. 1599: assertion API and VPI sections need changes as per mantis 805  
5. 1550: $sampled function definition
6. 1641: need a way to specify severity for printing general error
messages  
7. 1466: shortcuts for delay and consecutive repetition
8. 1567: syntax 22-7, should be no semicolon
9. 1591: $past syntax not precise 
10. 1648: default reset for assertions 

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Eduard Cerny
Sent: Monday, November 06, 2006 8:54 AM
To: sv-ac@eda.org
Subject: [sv-ac] IEEE 1800 sv-ac: list of Mantis items

Hello,

to help with the prioritization of mantis items for our discussions, you
will find the list of current items below. Please send your ordered list
of at least 5 top priority items ASAP.

Best regards,
ed

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

Total number of SV-AC items reported on Mantis: 35

Resolved: Total: 6

805 10/03
1392 10/11
1420 9/11
1495 8/18
1510 9/20
1532 9/20


new: Total 15

0001550		10-23-06  $sampled function definition  
0001551		08-01-06  Make disable iff sampled  
0001543		07-18-06  Meaningless sentence in 17.15 and Annex H  
0001591		09-14-06  17.7.3, 22.9: $past syntax not precise  
0001567		08-23-06  22.9: in Syntax 22-7, should be no semicolon  

0000921		03-12-06  Semantics of "calling subroutines on match of
a sequence" is not well defined.  
0001036  	04-25-06  Incorporate by reference Accellera PSL  
0001147		10-10-06  find way to embed PSL  
0001383		03-14-06  Property coverage definition  
0001466		05-11-06  shortcuts for delay and consecutive repetition

0001502		06-19-06  Decision point definition  
0001530		09-25-06  SVA enhancement proposal from Intel 
0001531		07-11-06  Allow static local variables in properties and
sequences  
0001533		07-11-06  LRM not clear about types of local variables
in properties and sequences  
0001627		10-17-06  17.16: clarify that expect statement not
allowed in functions  


assigned: Total 14

0000966	(Eduard_Cerny)  07-24-06  $isunbounded()  
0001549	(Lisa_Piper)  09-20-06  add missing formal argument types  
0001494	(Dmitry_Korchemny)  06-06-06  Infering enabling condition for
coverage statement  
0001599	(bassam)  10-31-06  The assertion API and VPI sections need
changes as per mantis 0000805 
0001641	(Manisha_Kulshrestha)  10-23-06  need a way to specify severity
for printing general error messages  
0001646	(Dmitry_Korchemny)  10-24-06  Generate constructs within
properties and sequences  
 
0001296	(john_havlicek)  02-28-06  Annex E does not cover all clocked
derived forms  
0001361	(Manisha_Kulshrestha)  06-09-06  need a way to control execution
of action blocks  
0001460	(Dmitry_Korchemny)  05-30-06  Allow actions within assume
property statement  

0001498	(Dmitry_Korchemny)  06-06-06  Treat disable iff differently for
cover property statement  
0001547	(Lisa_Piper)  07-20-06  need to be able to assert assertions in
a clocking block  
0001601	(Lisa_Piper)  10-23-06  new keyword for untyped formal arguments

0001647	(Dmitry_Korchemny)  10-24-06  Type query functions  
0001648	(Dmitry_Korchemny)  10-24-06  Default reset for assertions