RE: [sv-champions] Meeting reminder - August 15th 9am PST

1655:

1. The title line of the proposal says 18.10, but it should be 18.11 (or
18.6 and 18.11).

2. Similarly, the line "ADD the specified blue text 18.5 as follows:"
should refer to 18.6.

3. "intersect cross-products specified" should not be hyphenated, for
consistency with LRM. 

4. In "since the explicitly declared bins covers all cases for which i
== 0",
"bins" should be "bin".

5. "ADD the specified blue text to 18.5.1 as follows:" should refer to
18.6.1.

6. In "Additionally, the cross retains those automatically-generated
bins that represent cross-products not intersecting any of the
user-defined bins. There are 6 of these: <b1,a3>, <b1,a4>, <b3,a3>,
<b3,a4>, <b4,a3>, and <b4,a4>,"

"cross-product" should not be hyphenated, and the cross products should
be specified with a before b, e.g., <a3,b1> instead of <b1,a3>.

7. "MODIFY 18.6 as follows:" should be 18.7.

8. "In Table 18-29, the alignment of the cell bodies in the top three
rows is not consistent with the rest of the table. The six inconsistent
cells should be modified to match the rest of the table" looks already
fixed in Draft 3a.

9. "MODIFY 18.10 as follows:" should be 18.11.

10. "d) If get_coverage or get_inst_coverage are called with two
arguments, zero is assigned to both arguments; the numerator and
denominator." should be "is called".
Yes, I know the mistake is in the existing text.

11. "In consistency with the above behavior, $get_coverage shall return
a value of 100.0 if called on a design that has no constructed
covergroups, or if called  on a design in which all covergroups have a
weight of 0."

"In consistency with" sounds strange. "Consistent with" sounds better.

"$get_coverage" should be "get_coverage()"?

What is a "constructed covergroup"? The term does not seem to appear in
the LRM. Is there a non-constructed covergroup? If not, why not just
'covergroup'?

12. "MODIFY 18.10.1 as follows:" should ne 8.11.1.

13. "ADD the following text at the very end of 18.10.2:" should be
8.11.2.

14. "In case the denominator of the cross coverage calculation formula
has a value of zero:" - Better is "If the denominator ..."

15. "d) If get_coverage or get_inst_coverage are called with two
arguments, zero is assigned to both arguments-the numerator and
denominator." - should be "is called".


Shalom


> -----Original Message-----
> From: owner-sv-champions@server.eda.org 
> [mailto:owner-sv-champions@server.eda.org] On Behalf Of Brad Pierce
> Sent: Saturday, August 11, 2007 3:09 AM
> To: sv-champions@server.eda.org
> Subject: RE: [sv-champions] Meeting reminder - August 15th 9am PST
> 
> Attached is an HTML version of Neil's list.
> 
> -- Brad
> 
> 
> --
> This message has been scanned for viruses and dangerous 
> content by MailScanner, and is believed to be clean.
> 
> 

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