Setting FSM Encoding (Xilinx ISE)
To change the FSM encoding using the graphical interface in Xilinx ISE:
- Right click over Synthesize-XST and select Process Properties
- Select the category HDL Options at the left
- At the right, chose the FSM Encoding Algorithm from the drop-down menu
To investigate the state machine coding:
- In the Design Summary, click on Detailed Reports - Synthesis Report
- In the bottom pane select Advanced HDL Synthesis to see a list of state encodings