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

Thank you,
ed
 

> -----Original Message-----
> From: Lisa Piper [mailto:piper@cadence.com] 
> Sent: Tuesday, November 07, 2006 9:48 PM
> To: Eduard Cerny; sv-ac@eda.org
> Subject: 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  
> 
>