The DSP block primitive leverages a pattern detect circuitry to compute convergent rounding (either to even, or to odd).
The following are examples of the convergent rounding inference, which infers at the block full performance, and also infers a 2-input AND gate (1 LUT) to implement the LSB correction.