RE: [sv-ec] New Mantis on Coverage Calculation Corner Cases

Doug,

I added a bugnote expressing my opinion:

1) If the sum of all weights (Wi) is zero then the coverage (Cg) should
yield zero.

2) A negative weight should be an error. Unsigned weights are likely to
just generate garbage reports and force more work upon users.

	Arturo

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Warmke, Doug
Sent: Saturday, October 28, 2006 4:22 PM
To: sv-ec@eda.org
Subject: [sv-ec] New Mantis on Coverage Calculation Corner Cases

Hi All,

Some simple corner cases were identified in 18.10 on
Coverage Calculations.  The first is if the sum of all
weights Wi in the denominator of the Cg equation is 0.
The second is what to do about negative weights.

Can you please read
  http://eda.org/svdb/bug_view_page.php?bug_id=0001655
and express any opinions on the two corner cases?

Thanks,
Doug