In reply to sam497:
sorry for confusion my question is about issue coming when I constraint add to 10 over the size of 100
constraint size_1 {
inst.sum with (int'(item==SUB_1) inside {0,2,8,16});
inst.sum with (int'(item==MUL_1) inside {[0:5]} );
inst.sum with (int'(item==XOR) inside {[0:5]} );
inst.sum with ((item==ADD_1) == 10 );
}
for ADD instruction only constraint I am seeing constraint solver Issue
Solver failed when solving following set of constraints
rand bit[30:0] inst.size(); // rand_mode = ON
rand ex01_pkg_serial_child_sequence_11_0::instruction fv_temp_111; // rand_mode = ON
rand bit[0:0] fv_temp_114; // rand_mode = ON
rand bit[0:0] fv_temp_115; // rand_mode = ON
rand bit[0:0] fv_temp_116; // rand_mode = ON
constraint size_1 // (from this) (constraint_mode = ON) (…/ex01/serial_child_sequence.sv:59)
{
(fv_temp_116 == (inst.size() * ((fv_temp_111 == ex01_pkg_serial_child_sequence_11_0::instruction::ADD_1) == 10)));
((fv_temp_114 >= fv_temp_115) && (fv_temp_114 <= fv_temp_116));
fv_temp_114;
}