Setting FSM Encoding (Microsemi)

To change the FSM encoding using the graphical interface in Synplify Pro:

  1. Select menu Project > Implementation Options
  2. Click the Options tab
  3. Make sure FSM Compiler is not checked
  4. Click the VHDL tab
  5. Select the required coding under Default Enum Encoding:

To investigate the state machine coding:

  1. Find the number of flip-flops in the Area Summary part of the report