Написание state machine, verilog, state machine, verilog Опции

[Evgeny72]

Доброго всем дня!
Подскажите пожалуйста по state machine. Есть машина состояний:

Код

reg [1:0] out;
reg [1:0] state;

// Declare states
parameter
        S0 = 0,    
        S1 = 1,
        S2 = 2;

// Output depends only on the state
always @ (state)
begin
case (state)
    S0:
        out = 2'b01;
    S1:
        out = 2'b10;
    S2:
        out = 2'b11;
        
    default:
        out = 2'b00;
endcase
end

// Determine the next state
always @ (posedge CLK)
begin
if (RESET)
    state <= S0;
else
case (state)
    S0:
            state <= S1;
    S1:
            state <= S3;
    S3:
            state <= S3;
endcase
end

Как правильно написать на verilog, если мне необходимо чтобы состояние S0 сменилось на S1 через 20 периодов тактовой частоты? Насколько мне известно, описывается счетчик и 21 значение счетчика "приравнивается" (не совсем корректное слово) к состоянию S1. Как правильно это написать?

[Flip-fl0p]

Я давно задавал такой-же вопрос:
https://electronix.ru/forum/index.php?showt...0167&st=165 (сообщение 168)

[Mad_max]

В гугле пишем

Clifford Cummings FSM

и читаем все паперы этого уважаемого мужчины.

[Evgeny72]

В гугле пишем

Clifford Cummings FSM

и читаем все паперы этого уважаемого мужчины.

есть у меня сей труд. Прочитаю ещё раз. Код машины был выдернут из примеров Quartus и быстренько изменен только для того, чтобы задать вопрос.

Я давно задавал такой-же вопрос:
https://electronix.ru/forum/index.php?showt...0167&st=165 (сообщение 168)

там пример описан на VHDL, я с ним не дружу. Спасибо, попытаюсь разобраться.

написал следующим образом:

Код

//Counter
reg[X:0] counter;
always @(posedge CLK)
begin
    if (RESET)
        counter <= 0;
        else
            counter <= counter + 1'b1;
end

...

S0:
            begin
                if ((counter[X:0] == значение счетчика))
                    state <= S1;
                else
                    state <= S0;
            end

в симуляторе работает.

Сообщение отредактировал Evgeny72 - Dec 1 2017, 11:37