Some test cases of 32h cannot generate data normally

[Pagerd]

When using ctg try to generate fcvt.d.h and fcvt.s.h,ctg, ctg will display the following warning and it generate unusable test cases

INFO | Generating Test for :fcvt.d.h_b28-fcvt.d.h
 WARNING | rs1_val_data not defined for fcvt.d.h. Defaulting to [0].
   DEBUG | fcvt.d.h : Generating OpComb
   DEBUG | fcvt.d.h : Generating ValComb
 WARNING | Valcomb skip: Cannot bypass SAT Solver for partially defined coverpoints!fs1 == 0 and fe1 == 0x00 and fm1 == 0x000 and  fcsr == 0x0 and rm_val == 7  and rs1_nan_prefix == 0xfffff  #nosat
 WARNING | Valcomb skip: Cannot bypass SAT Solver for partially defined coverpoints!fs1 == 0 and fe1 == 0x0e and fm1 == 0x092 and  fcsr == 0x0 and rm_val == 7  and rs1_nan_prefix == 0xfffff  #nosat
 WARNING | Valcomb skip: Cannot bypass SAT Solver for partially defined coverpoints!fs1 == 0 and fe1 == 0x0f and fm1 == 0x000 and  fcsr == 0x0 and rm_val == 7  and rs1_nan_prefix == 0xfffff  #nosat
.....