Fix for an underflow case where dlen is so small that the underflow_b…

…ytes constraint wraps around

src/soc_ifc/uvmf_soc_ifc/uvmf_template_output/verification_ip/environment_packages/soc_ifc_env_pkg/sequences/mbox/soc_ifc/soc_ifc_env_mbox_dlen_underflow_sequence.svh

@@ -44,7 +44,8 @@ task soc_ifc_env_mbox_dlen_underflow_sequence::mbox_push_datain();
     int unsigned underflow_bytes;
 
     // Push less data than dlen requires - randomize how much less
-    if (!std::randomize(underflow_bytes) with {underflow_bytes <= mbox_op_rand.dlen - 8;})
+    if (!std::randomize(underflow_bytes) with {!mbox_op_rand.cmd.cmd_s.resp_reqd -> underflow_bytes <= mbox_op_rand.dlen;
+                                                mbox_op_rand.cmd.cmd_s.resp_reqd -> underflow_bytes <= mbox_op_rand.dlen - 8;})
         `uvm_error("MBOX_UNDERFLOW_SEQ", "Failed to randomize underflow bytes")
     else
         `uvm_info("MBOX_UNDERFLOW_SEQ", $sformatf("Randomized underflow bytes to %0d", underflow_bytes), UVM_MEDIUM)