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