cp_w_trigger: coverpoint p_reg_blk.ctl.ctl_wakeup_trigger.value iff p_reg_blk.ctrl.enable.value==1;
ctl_wakeup_trigger is 1 bit variable
cp_w_trigger: coverpoint p_reg_blk.ctl.ctl_wakeup_trigger.value iff p_reg_blk.ctrl.enable.value==1;
ctl_wakeup_trigger is 1 bit variable
If this is a field of a UVM register, value
is defined as a 64-bit integral variable, even if it represents a single bit. You need to select value[0]
or create an explicit bins b[] = {[0:1]}