[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, and is
believed to be clean.