Starting in tool version 2013.1, Vivado Synthesis does support default FSM extraction. This is now turned on by default. This option enables state machine identification and specifies the type of encoding that should be applied. The default option for -fsm_extraction switch is "auto". The automatic encoding allows the tool to choose the best encoding for each state machine identified.
You can also choose from the following encoding types for the -fsm_extraction switch; either applying them in the Vivado tools synthesis settings, or by passing them to -fsm_extraction via the synth_design TCL command:
If FSM extraction needs to be disabled, it can be achieved by passing "off" to the -fsm_extraction switch.
FSM extraction was not turned on by default until 2012.4. This was turned off by default and the finite state machine HDL was synthesized as logic.