RE: [sv-ec] transition bins with undetermined sequence length

The LRM explicitly states that the transition bin b2 in incremented only once on the 10th sample.  That implies that the LRM is considering that the bin is matched in 2 different ways at time 10 (once for the 2 [-> 4] starting at sample 3, and once for 2 [->3] starting at time 7).  Because the attempt that started at sample 3 already matched an the 8th sample, it implies that the 2nd match for that same attempt could result in a hit.

Therefore, your example should have 3 hits.

-Brandon



From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Daniel Mlynek
Sent: Friday, October 18, 2013 1:40 AM
To: sv-ec@eda.org
Subject: [sv-ec] transition bins with undetermined sequence length

For cover sequence LRM strictly defines that for single attempt there may be multiple hits: ""The difference between the two categories isthat for sequence coverage, all matches per evaluation attempt are reported, whereas for property coverage the coverage count is incremented at most once per evaluation attempt."
Same situation may occur for transition bins in covergroups. Consider below case - how many hits should be reported for trans15 bin? 1 or 3?
Sample given on page 530 in LRM do not clear case like this because there multiple hits in sample #10 can occur bcos multi matches for single attempt or for multiple attempts
module top;
    int a;
    int arr[] ='{1,3,3,3,3};
    covergroup CG;
        type_option.merge_instances=1;
        coverpoint a{
        bins trans15 = (1 => 3[*2:4]);
        }
    endgroup
        CG cg=new;
    initial begin
        foreach(arr[i])begin
            a=arr[i];
            cg.sample;
            $display(a);
        end
    end
endmodule


DANiel


--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.

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