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