Machine Properties
To open the Machine Properties dialog box, use the command FSM>Machines>Sreg0
The General template allows encoding the state machine
The user can also control which edge of the clock signal to use
Use One-hot encoding to improve the performance of large state machines
One-hot encoding uses more registers, but decreases the number of levels of logic