[sv-ec] regarding "binsof" semantics in functional coverage

**Hello All,

I have below interpretation regarding semantics
of "binsof" construct in functional coverage.Please
let me know if I am correct.


*int* i,j;
        *covergroup* ct;
                *coverpoint* i { *bins* i[] = { [0:1] }; }
                *coverpoint* j { *bins* j[] = { [0:1] }; }
               
                x1: *cross* i,j {
                        *bins* i_zero = *binsof*(i) *intersect* { 0 };
                }
        *endgroup*

**
*cross* x1 has the following  three bins:

    i_zero
  <i[1],j[0]>
  <i[1],j[1]>

Now,  suppose at simulation time
below two values of  <i, j> were sampled
 <0, 0>
 <1, 0>

Then only two bins, namely i_zero and <i[1], j[0]>
will be covered and bin <i[1], j[0]> will be uncovered.
Hence coverage of cross x1 will be 2/3 .


Regards,
Abhishek








  

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