[sv-ec] Agenda Monday Sep 23 2004 Conference Call

Meeting on Monday September 27, 2004.
Time: 11 am - 1:00pm PDT
Toll free number
USA: 1- 888-635-9997
International: 1- 763-315-6815

Participant code 6343466#

The proposed agenda:

1) Review the IEEE patent policy
  ref: http://standards.ieee.org/board/pat/pat-slideset.ppt
2) Approve the minutes of the last meeting [September 13 2004 meeting]
                http://www.eda.org/sv-ec/Minutes.html
3) Review prioritization of errata (submitted to P1800 meeting
Sept,14.2004)
        - Vote on any remaining errata item.
        - Review all needed proposals (need to format accordingly)
4) Review and discuss any new errata entered from last meeting

 I have appended the list which Neil and I prepared for P1800 meeting,
 after our September 13th meeting.

- Mehdi Mohtashemi
  mehdi@synopsys.com

==========================================================================
SV-EC errata prioritized list (prepared for p1800 meeting 14/sept/2004)
--------------------------------------------------------------------------
           High [Immediate]
--------------------------------------------------------------------------
     4 Add rs_rule precedence and example in Section 12.16
     6 Description of query and inst_query methods
     7 Clarification to 20.4.1, new 20.10
     8 Randsequence grammar issues
     9 Erratum Queue Methods
    10 Typo in 12.16.7
    11 Typos in BNF
    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
    33 Inconsistent semantics for null events
    35 Semantics of class handle sensitivity
    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
   140 [Jeita 15] typo in section 20
   141 [Jeita 16] Typo in section 20
   165 'covergroup_declaration' missing as a 'class_item'
   172 assignment of values to fixed bins is not specified
   173 Is the order of declaration in a covergroup
   174 Split bullet describing a random variable into 2 separate bullets
   175 Ambiguous ordering of random variables
   197 Is a String an array
   203 Section 3.7, delete the sentence "and embedded null bytes are
included"
   224 Grammar typo in Table 9-1
   231 Clarify the second paragraph in Section 16.5
   233 table is a keyword and other typos
   235 wait_order BNF

--------------------------------------------------------------
       Medium
--------------------------------------------------------------
   211 Add clarifying example to builtin / scope randomize
   236 Behavior of the cycle_delay with 'Zero' value

--------------------------------------------------------------
      Low
------------------------------------------------------------
 
    25 Pass by reference behavior of dynamically allocated objects
   138 [Jeita 13] unclear behavior of default sequence
   171 Configuration of programs
   204 Missing $unit and program identifier for class resolution operator
   219 disable/return and fork-join/join_any/join_none
   234 associative_dimension BNF
   237 Clarification of wait fork
   240 Expression evaluation with cycle_delay
 

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

   134 [Jeita 9] 4 state values as constraints
   238 Pipelined value access in clocking block
   239 Allow specific clocking event on each cycle_delay declaration
   241 Regular expression handling mechanism
   242 Aspect-oriented programming (AOP) mechanism
   244 Class method overwrite
   245 Array of queues
   246 Random object stability example code
   247 Property qualifier and random stability in object instances

----------------------------------------------------------
  Resolved (fixed, in previous drafts,etc) Not-A-Bug
----------------------------------------------------------
   127 [Jeita 2] Cover statement handling in formal verification undefined
   133 [Jeita 8] assuring randomization
   143 [Jeita 18] rewrite 2 step in section 2?
   144 [Jeita 19] can step be used beyond clocking blocks?
   139 [Jeita 14] unclear how to change value in covergroup
   248 Missing ';' in clocking_drive definition

-----------------------------------------------------------
  Should move from SV-EC to SV-BC
-----------------------------------------------------------
   249 masked bit operation (duplicate of 243)
   250 bug in 8.5.2 example code

===========================================================================

  
Received on Sun Sep 26 09:43:34 2004