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

Hi,

I am suggesting the following items to begin with:

1. 1550, $sampled function definition
2. 1543  Meaningless sentence in 17.15 and Annex H
3. 1591  17.7.3, 22.9: $past syntax not precise
4. 1567  22.9: in Syntax 22-7, should be no semicolon
5. 1460  Allow actions within assume property statement

I also suggest the following:
* Each item should be assigned
* The items that are not relevant anymore should have special status in
Mantis
* Items requiring discussion in several subcommittees should first be
discussed in SV-AC and then discussed in other subcommittees. There
should be a well-defined process for it
* If an item contains several proposals, some of them introducing new
issues to be investigated, split the item and discuss the most
straightforward proposal first

Thanks,
Dmitry
-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Eduard Cerny
Sent: Monday, November 06, 2006 3:54 PM
To: sv-ac@server.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