Setting FSM Encoding (Xilinx ISE)

To change the FSM encoding using the graphical interface in Xilinx ISE:

  1. Right click over Synthesize-XST and select Process Properties
  2. Select the category HDL Options at the left
  3. At the right, chose the FSM Encoding Algorithm from the drop-down menu

To investigate the state machine coding:

  1. In the Design Summary, click on Detailed Reports - Synthesis Report
  2. In the bottom pane select Advanced HDL Synthesis to see a list of state encodings