[sv-ec] Agenda Monday October 25 2004 Conference Call

Meeting announcement for SV-EC.

Meeting on Monday October 25, 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) Review Operating Guidelines on member voting rules
    ref: http://www.eda.org/sv-ec/SV_OperatingGuideline_Aug04.pdf
4) Approve the minutes of the last meeting [September 27 2004 meeting]
                http://www.eda.org/sv-ec/Minutes.html

5) Updates P1800 WG meeting October 11, 2004.
    - Datatype on nets working group.

6) Review/discussion and voting on Errata
  a) Discuss errata 216 per request from sv-bc.
     [enums initialization, 4-state and X values: per Steve Sharp's
email]
  b) Brief discussion on wild-card operators (errata, 213, 243 and 249).
     [These are part of sv-bc, may want to give final inputs]

  c) Review the errata items in the email ballots:
        Errata: 7, 8, 173, 197, 203, 236, 238, 240.
     [I have attached the NO vote statements on these errata
      to this email for your reference].

  d) Review/vote on the remaining errata (SV_EC) in the database
     including newly entered errata
        (data base ref: http://www.eda.org/svdb/ )

  I have appended two lists below:
     a) the remaining errata.
     b) approved/closed errata,
 

- Mehdi Mohtashemi
  mehdi@synopsys.com

================ List a
=========================================
   SV-EC remainder, as of October 22, 2004.
------------------------------------------------------------------------

--
     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
    25   Pass by reference behavior of dynamically allocated objects
   127   [Jeita 2] Cover statement handling in formal verification
undefined
   134   [Jeita 9] 4 state values as constraints
   138   [Jeita 13] unclear behavior of default sequence
   171   Configuration of programs 
   172   assignment of values to fixed bins is not specified
   173   Is the order of declaration in a covergroup
   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" 
   204   Missing $unit and program identifier for class resolution
operator
   211   Add clarifying example to builtin / scope randomize 
   219   disable/return and fork-join/join_any/join_none
   234   associative_dimension BNF
   236   Behavior of the cycle_delay with 'Zero' value
   237   Clarification of wait fork
   238   Pipelined value access in clocking block 
   239   Allow specific clocking event on each cycle_delay declaration
   240   Expression evaluation with cycle_delay
   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 
   250   bug in 8.5.2 example code
   251   multiple user defined bins for cross
   252   default bin of a coverpoint in cross
   253   a variable has a coverpoint but is used directly in a cross
   255   include sequence_expr in primary
   260   distributions and constraints solving
   261   randcase width rules inconsistent with Verilog
   262   randcase unclear on negative weights
   263   wide randcase weights
========== end of list a
===============================================
========== list b
===============================================
    SV-EC Errata: proposals approved by the committee  (October 11,
2004)
------------------------------------------------------------------------
--
      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
     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'
    174   Split bullet describing a random variable into 2 separate
bullets
    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
-----------------------------------------------------
  NOT-A-BUG, Resolved with No-change (closed) items (voted).	
-----------------------------------------------------
     35   Semantics of class handle sensitivity
    133   Random stability
    139   Clarification on how to change a value in a covergroup
    143   Clarification of '2 step'
    144   Clarification of where 'step' can be used
=========== end of list b
===============================================