Setting FSM Encoding (Xilinx Vivado)
To change the FSM encoding using the graphical interface in Xilinx Vivado:
- Select menu Tools > Project Settings...
- Click on Synthesis at the left
- Change the option for -fsm_extraction
To investigate the state machine coding:
- After synthesis has run, select View Reports in the Synthesis Completed dialog
- If the Synthesis Completed dialog didn't appear, click the Reports tab at the bottom
- Double click Vivado Synthesis Report
- In the report, you should find lines like this
INFO: [Synth 8-802] inferred FSM for state register 'State_reg' in module 'FSM'
INFO: [Synth 8-3354] encoded FSM with state register 'State_reg' using encoding 'one-hot' in module 'FSM'