Which are the two (out of three) "acceptable" state vector declarations for the above example? TWO correct answers are expected.

Question

Which are the two (out of three) "acceptable" state vector declarations for the above example?  TWO correct answers are expected.

Accepted Answer

parameter [2:0]  
       S0 = 3'b001, 
       S1 = 3'b010, 
       S2 = 3'b100; 
    reg [2:0] state, next_state;

Answer

parameter [1:0]  
       S0 = 2'b00, 
       S1 = 2'b01, 
       S2 = 2'b10, 
       S3 = 2'b11; 
     reg [1:0] state, next_state;

Answer

parameter [2:0]  
       S0 = 2'b000, 
       S1 = 2'b001, 
       S2 = 2'b010, 
       S3 = 2'b011; 
    reg [2:0] state, next_state;

Crowdly