Este recomandat sa aveți nume sugestive pentru stările automatului. Spre exemplu o stare STATE_011 este starea în care automatul a citit la intrare șirul 011.

localparam STATE_Initial = 3'd0 ,
           STATE_1 = 3'd1 ,
           STATE_2 = 3'd2 ,
           STATE_3 = 3'd3 ,
           STATE_4 = 3'd4 ,
           STATE_5_PlaceHolder = 3'd5 ,
           STATE_6_PlaceHolder = 3'd6 ,
           STATE_7_PlaceHolder = 3'd7;