How to define coverpoint bins which are mutually exclusive each other

Coverage
, ,
1

I want to write a bins which are mutually exclusive.
Here is the example:

  1. DUT has two kinds of slave devices: ahb slave and apb slave.
  2. I want to sample AMBA bus address to collect a coverage to check whether accesses to APB slave and AHB slave take place.
  3. AHB address is rest of APB address.
  4. I want to define a set of address for ahb_slave which is “[0:$]” - “bins apb_slave”.

It could be a bit cumbersome to list out all the address for ahb_slave. So I am wondering whether there is a good way of expressing “rest of apb”.

  cg_AccessArea: coverpoint addr {
     bins apb_slave = {['h4002_3800:'h4002_3BFF],
                 ['h4002_4000:'h4002_4FFF],
                 ['h4002_6800:'h4002_68FF],
                 ['h4001_C000:'h4001_FFFF]};
     bins ahb_slave = /* rest of apb */
  }

Thanks,

2

In reply to tsb_matumoto:

Use the inside operator.

cg_AccessArea: coverpoint addr inside {['h4002_3800:'h4002_3BFF],
                                       ['h4002_4000:'h4002_4FFF],
                                       ['h4002_6800:'h4002_68FF],
                                       ['h4001_C000:'h4001_FFFF]} {
     bins apb_slave = {1};
     bins ahb_slave = {0};
}
3

In reply to dave_59:

Thanks!
It was exactly what I wanted to find. It worked in my env.

4

hi Dave

can we use default for ahb slave

cg_AccessArea: coverpoint addr {
bins apb_slave = {['h4002_3800:'h4002_3BFF],
['h4002_4000:'h4002_4FFF],
['h4002_6800:'h4002_68FF],
['h4001_C000:'h4001_FFFF]};
bins ahb_slave = default ;

}

5

No, because default bins are excluded from the coverage calculation. They are mostly used for debugging any stray values that may have been missed.

6

ok dave thanks