When FSM_ENCODING is set to "auto", the Vivado synthesis attempts to select the best-suited encoding method for a given FSM.