[sv-ec] FW: query regarding option.detect_overlap

Sending on behalf of Vaibhav.

-----Original Message-----
From: Vaibhav Bhutani
Sent: Monday, October 04, 2010 1:56 PM
To: sv-ec@eda.org; Vaibhav Bhutani
Subject: query regarding option.detect_overlap

Hi,

Please clarify the expected behavior in following scenario which do not seem to be very elaborate in the LRM. As per LRM, following is the expected behaviour wrt covergroup option.detect_overlap
    "When true, a warning is issued if there is an overlap between the range list (or transition list) of two bins of a coverpoint."

Please let us know what should be the expectation in case of partial overlap in transition list, eg, would the following code generate such warning:

    covergroup cg1 @(posedge clk);
            option.detect_overlap = 1;
            c1: coverpoint opcode{
                bins x[] = (0=>1=>2);
                bins y[] = (0=>1);
            }
    endgroup : cg1
 
The arguments for and against giving detect_overlap warning are as follows:

For:-
    Just like the ignore/illegal bins behaviour where partial overlap of transitions bins also generate warning, same can be deduced in detect_overlap

Against:-
    The two transition 0=>1 & 0=>1=>2 represent completely different use cases, the user may be interested in knowing the hit count separately,
    eg, how many times 0=>1 is hit and how many times 0=>1=>2 is hit

Please let us know what does the user expect from such scenario.

Regds
Vaibhav Bhutani

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