diff --git a/hw/rtl/libs/VX_skid_buffer.v b/hw/rtl/libs/VX_skid_buffer.v index 3d76f933..31d789a0 100644 --- a/hw/rtl/libs/VX_skid_buffer.v +++ b/hw/rtl/libs/VX_skid_buffer.v @@ -67,8 +67,7 @@ module VX_skid_buffer #( end else begin if (ready_out) begin use_buffer <= 0; - end - if (push && !pop) begin + end else if (push && valid_out_r) begin assert(!use_buffer); use_buffer <= 1; end