-----Original Message----- From: Eduard Cerny Sent: Saturday, June 17, 2006 8:40 AM To: sv-ac@verilog.org Cc: Eduard Cerny Subject: FW: SV-AC Proposals - updated Hello, I went through mantis and the recent emails. Here is a summary of the state of errata assigned to sv-ac. Please let me know if any correction is needed. Best regards, ed ------------------------------ 1036 - Incorporate by reference Accellera PSL - Not at this time 1296 - Annex E does not cover all clocked derived forms - clarification 1325 - Clarify references to items declared in unnamed clocking blocks - clarification proposal exists, voted by email 7 yes, 0 no 1326 - No semantics for boolean abbreviation with sequence match item - clarification proposal exists - voted by email 7 yes, 1 no, 1361 - need a way to control execution of action blocks - fix 1381 - vacuous success is not well defined in the LRM - clarification proposal exists 1383 - Property coverage definition - clarification 1392 - Inconsistent description of clock event argument to sampled value functions - fix 1420 - Rules governing passing of arguments to recursive properties are not sufficient - fix 1460 - Allow actions within assume property statement - enhancement proposal exists 1466 - shortcuts for delay and consecutive repetition - enhancement proposal exists 1494 - Infering enabling condition for coverage statement - clarification/fix proposal exists 805 - disable iff condition should produce vacuous match - clarification proposal exists, eventually needs review by SV-CC 921 - Semantics of "calling subroutines on match of a sequence" is not well defined - Major Clarification 928 - list_of_formals superfluous (BNF) - correction proposal exists (does it affect vpi?) 966 - $isunbounded() - fix proposal under internal SNPS discussion 1495 - A problem with the rules of local variables flow rules - fix 1498 - new, treat disable iff differently for cover property statement 1502 - new, formal definition of an assertion evaluation attempt, success & failure ---- Priority for next meeting: 928 - discussion / vote 966 - discussion, proposal sent by email 1325 - voted by email, resolve? 1381 - discuss proposal, ready to vote 1326 - discuss Manisha's concern, resolve? 805 - close on wording of proposal following emails 1392 - discuss if needed, simple solution If time permits: 1494 - discuss proposal 1489 - discuss 1502 - discuss 1498 - discuss 1502 - discuss need dates for following proposals: 1361 - Manisha to update proposal 1392 - Hillel Un assigned proposals in MANTIS. We believe the proposed assignments are as follows: 1383 - Dimitry 1420 - Doron 921 - Doron 1495 - unassigned, but seems to have a simple solution as per commentsReceived on Tue Jun 20 09:07:16 2006
This archive was generated by hypermail 2.1.8 : Tue Jun 20 2006 - 09:07:31 PDT