[sv-ec] errata list prioritization

From: Mehdi Mohtashemi <Mehdi.Mohtashemi@synopsys.com>
Date: Mon Sep 13 2004 - 11:00:03 PDT

Hi,
 Here is my attempt at prioritizing the errata list for sv-ec.
We will review this in the conference call today. The categories
are divided into high-medium-low and enhancement requests.

Regards,
- Mehdi

------------------------------------------------------------------
  High
--------------------------------------------------------------
         4 Add rs_rule precedence and example in Section 12.16
         8 Randsequence grammar issues
         9 Erratum Queue Methods
        10 Typo in 12.16.7
        11 Typos in BNF
        71 Extra semicolon in covergroup_declaration (LRM-229)
        83 Indentation wrong in D.5.11 example
        84 for_step_assignment should allow subroutine_call
        85 Typo in 12.12.3
        86 Keywords 'string' and 'while' should be bold in examples
        90 Keywords 'cross' and 'coverpoint' should be bold in 20.2
       135 [Jeita 10] typo
       141 [Jeita 16] Typo in section 20
       165 'covergroup_declaration' missing as a 'class_item'
       203 Section 3.7, delete the sentence "and embedded null bytes are
included"
       204 Missing $unit and program identifier for class resolution
operator
       224 Grammar typo in Table 9-1
       231 Clarify the second paragraph in Section 16.5
       233 table is a keyword and other typos

--------------------------------------------------------------
  Medium
--------------------------------------------------------------

         17 extra semicolons in method_prototype (LRM-292)
         18 const_identifier missing from A.9.3
         22 $length is now $size, but two occurrences are not updated
        139 [Jeita 14] unclear how to change value in covergroup
        140 [Jeita 15] typo in section 20
        173 Is the order of declaration in a covergroup
        211 Add clarifying example to builtin / scope randomize
        236 Behavior of the cycle_delay with 'Zero' value
        237 Clarification of wait fork

--------------------------------------------------------------
  Low
------------------------------------------------------------
        6 Description of query and inst_query methods
       25 Pass by reference behavior of dynamically allocated objects
         33 Inconsistent semantics for null events
       35 Semantics of class handle sensitivity
      133 [Jeita 8] assuring randomization
        138 [Jeita 13] unclear behavior of default sequence
      143 [Jeita 18] rewrite 2 step in section 2?
      144 [Jeita 19] can step be used beyond clocking blocks?
      171 Configuration of programs
      172 assignment of values to fixed bins is not specified
      174 Split bullet describing a random variable into 2 separate
bullets
      175 Ambiguous ordering of random variables
      197 Is a String an array
      219 disable/return and fork-join/join_any/join_none
      234 associative_dimension BNF
      235 wait_order BNF
      240 Expression evaluation with cycle_delay
      241 Regular expression handling mechanism
      243 Masked bitwise comparision operators
      245 Array of queues
      246 Random object stability example code
      247 Property qualifier and random stability in object instances

-------------------------------------------------------------
  Enhancement requests
------------------------------------------------------------

        238 Pipelined value access in clocking block
        239 Allow specific clocking event on each cycle_delay declaration

        242 Aspect-oriented programming (AOP) mechanism
        244 Class method overwrite
        134 [Jeita 9] 4 state values as constraints
        127 [Jeita 2] Cover statement handling in formal verification
undefined

  

 
Received on Mon Sep 13 14:36:34 2004

This archive was generated by hypermail 2.1.8 : Mon Sep 13 2004 - 14:37:13 PDT