ISACOV : Ignore WILDCARD Bins
Created by: AyoubJalali
Hello @silabs-robin
@MikeOpenHWGroup
,
In the ISACOV agent there's some macros that define wildcard bins for toggling GPR (rx), the macros content 3 arguments :
- name
- field
- iff_exp as I understand the iff_exp argument is the one that decide if we create the Coverpoint or not, in the example the c.mv instruction does not have rs1, so it make sense to disable rs1_value coverpoint & toggling rs1 -> `ISACOV_CP_BITWISE(cp_rs1_toggle, instr.rs1_value, has_rs1) (has_rs1 = 0 for c.mv & has_rs1 = 1 for c.add) what i got in the coverage report is :
as you can see the rs1_value is successfully ignore, but rs1_toggle NO !! and it count in the coverage.
So I wanna know what you got int this covergoupe in the report, is that a tool behavior for synopsys or a BUG in these macros.