Extension of Type Declaration

• Adding dummy values

 

• Advantages:
• Now simulatable
• Safe FSM after synthesis
• Problems:
• 2 ^{ENTIER[ld(n)]} - n possible dummy states (n=20 => 12 dummy states)
• Changing to one hot coding => unnecessary hardware
  (n=20 => 12 unnecessary FlipFlops)