How to ignore bins in double crossed coverage?

Coverage
, ,
2

In reply to Tatjana T:

The LRM does not define multiple levels of crosses; your tool may have allowed a simple case to slip by. There is no syntax defined for what you want.

You can flatten out your crosses by writing

mst_id_slv_id_data_word0_crs: cross mst_id_cov, slv_id_cov , data_word0_cov  {
  ignore_bins ignore_target0 = mst_id_slv_id_crs with ( slv_id_cov == 3  && mst_id_cov inside {0,2} );
  ignore_bins ignore_target1 = mst_id_slv_id_crs with ( slv_id_cov == 2  && mst_id_cov inside {0,1} );
  ignore_bins word0_ignore = binsof(mst_id_cov.mst0);
}