[sv-ec] List of recent 2506 updates

Hi all:

I thought it might be useful to clarify the changes to 2506 in the recent version prior to today's meeting.

Thanks,
Scott

-----------------
-- New changes --
-----------------

Section 19.5
REPLACED (top of pg. 4)
Identifiers within the coverpoint are restricted to constant expressions (see 11.2.1), instance constants (for an embedded covergroup), or non-ref arguments to the covergroup. Instance constants referenced from a covergroup shall be members of the enclosing class. The initializers for such instance constants shall appear before the referring covergroup constructor call in the class constructor, and shall not appear with the covergroup constructor call in the body of any looping statement (see 12.7) or fork-join_none, either before or after.

WITH
Only constant expressions (see 11.2.1), instance constants (for an embedded covergroup), or non-ref arguments to the covergroup are allowed to be used in the following coverpoint constructs:
- with_expression
- select_expression
- open_range_list, or
- an expression specifying a fixed number of bins

Instance constants referenced from a covergroup shall be members of the enclosing class. The initializers for such instance constants shall appear before the referring covergroup constructor call in the class constructor, and shall not appear with the covergroup constructor call in the body of any looping statement (see 12.7) or fork-join_none, either before or after.

REPLACED (middle of pg. 4)
x: coverpoint x; //INVALID: coverpoint label "x" already exists

WITH
x: coverpoint z; //INVALID: coverpoint label "x" already exists

REPLACED (bottom of pg. 5)
To create a fixed number of bins for a set of values, a number can be specified inside the square brackets.

WITH
To create a fixed number of bins for a set of values, a legal expression that evaluates to a number can be specified inside the square brackets.

CHANGED several (Sec. x.x.x) to (see x.x.x)

CHANGED (top of pg. 8) X -> x, Z-> z

REPLACED (bottom of pg. 10)
The with clause in a select_expression specifies that only those bin tuples in the subordinate select_expression for which sufficiently many value tuples satisfy the given with_expression (i.e., for which the expression evaluates to true) are selected.

WITH
The with clause in a select_expression specifies that only those bin tuples in the subordinate select_expression for which sufficiently many value tuples satisfy the given with_expression (i.e., for which the expression evaluates to true) are selected. The truth value of the with clause expression is interpreted in the same way an expression is interpreted in the condition of a procedural if statement (see 12.4).

---------------------------------------------------------------
-- Discussed previously but changes since last voted version --
---------------------------------------------------------------

-Removed square brackets around data_type_or_implicit syntax production as suggested by Shalom
-Changed

      "This bin definition selects all values from 0 to 255 that are zero
       modulo 3 (i.e., that are divisible by 3)."
 
   to
 
      "This bin definition selects all values from 0 to 255 that are evenly
       divisible by 3."
as requested by Brad.
-Removed foo and bar from examples as requested by Brad. Changed to low and high respectively.
-Removed 'each' in the following sentence as requested by Brad.
   "In the presence of a coverpoint type, e and b shall each be evaluated as
    though it were the right-hand side of an assignment to a variable whose
    type is the coverpoint type."

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.