Mehdi Mohtashemi wrote:
>
>
> Errata
> 4 Add rs_rule precedence and example in Section 12.16
> __xx__ Yes ____ No
>
> 6 Description of query and inst_query methods
> __xx__ Yes ____ No
>
> 25 Pass by reference behavior of dynamically allocated objects
> __xx__ Yes ____ No
>
> 172 Assignment of values to fixed bins is not specified
> __xx__ Yes ____ No
>
> 250 Bug in 8.5.2 example code (for loop construct)
> __xx__ Yes ____ No
>
> 252 Default bin of a coverpoint in cross
> ____ Yes __xx__ No
I don't have a problem with the proposal per se. If the following two changes
are made I will change my vote to yes.
I would like to see the change for section 20.4 moved into the paragraph above
the example on page 311. Something like the following is what I suggest:
Section 20.4
"The default specification defines a bin that is associated with none of the
defined value bins. The default bin catches the values of the coverage point
that do not lie within any of the defined bins. However, the coverage
calculation for a coverage point shall not take into account the coverage
captured by the default bin. The default bin is also excluded from cross
coverage (see section 20.5). The default is useful for ..."
Section 20.5
Instead of
No cross product bins shall be created for coverpoint bins that are
specified as default bins.
Replace with
No cross coverage bins shall be created for coverpoint bins that are
specified as default bins.
Everywhere in this section it uses the term "cross coverage" not "cross
product".
>
> 317 Class as bit-stream type
> __xx__ Yes ____ No
>
-- --------------------------------------------------------------------- Neil Korpusik Tel: 408-720-4852 Member of Technical Staff Fax: 408-720-4850 Frontend Technologies - ASICs & Processors (FTAP) Sun Microsystems email: neil.korpusik@sun.com ---------------------------------------------------------------------Received on Tue Nov 30 15:03:17 2004
This archive was generated by hypermail 2.1.8 : Tue Nov 30 2004 - 15:03:36 PST