1.2.3 Safe FSMs

• State encoding responsible for safety of FSM:

 

• Default encoding: binary

 

• Speed optimizing default encoding: one hot

 

• Problem: after synthesis there exist unvalid values for the signal STATE
  {if log2(# of states) ≠ ENTIER[log2(# of states)] }
  => unsafe FSM!!