[sv-ec] Auto bin generation when user defined bins are defined on crosses

<Forwarding email from  Satya Ayyagari>

-------- Original Message --------
Subject: Auto bin generation when user defined bins are defined on crosses
Date: Wed, 08 Nov 2006 15:00:16 -0800
From: Ayyagari, Prabhakar S <prabhakar.s.ayyagari@intel.com>
To: owner-sv-ec@eda.org
CC: Ayyagari, Prabhakar S <prabhakar.s.ayyagari@intel.com>

Hi:

I have a couple of questions on auto generated bins when user defined
bins are defined.
1. When a coverpoint has user defined bins should the tool also generate
auto bins?
2. When cross coverage has user defined bins should the tool also
generate auto bins for the remaining product space excluding illegal and
ignore?

Varied interpretations can be made based on sections 18.4.2, 18.5.1 and
18.10.2.
18.4.2 - "Users can either let the tool automatically create state bins
or explicitly define named bins for each coverage point."  For a
coverpoint it seems to be an either/or thing.
18.5.1 makes no mention of auto generated bins for crosses and 18.10.2
using a term Bc for auto generated bins which gets added with user
defined bins for cross coverage computation.

Thanks,
Satya Ayyagari