RE: [sv-ec] Completing my coverage thought...

Gord,

I agree that it's best to not consider empty bins and compute coverage
as:
	num_covered_bins / num_non_empty_bins
While both mechanisms described by you allow coverage to be 100%, this
one also exhibits the nice property of being 0 when nothing is run. I
believe
it is counterintuitive to have non-zero coverage when no bins are
covered.

	Arturo


-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Gordon Vreugdenhil
Sent: Monday, January 09, 2006 12:52 PM
To: SV_EC List
Subject: [sv-ec] Completing my coverage thought...

Just to complete my thought regarding coverage before the
call was dropped -- my basic question is whether the coverage
percentage is:
     num_covered_bins / num_non_empty_bins
or:
     (num_covered_bins + num_empty_bins) / (num_non_empty_bins +
num_empty_bins)

(i.e. is an empty bin not considered at all or is it
trivially covered?)

I think that the former is perferable, but I don't know for sure.

Gord.
-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com