Сброс конечного автомата фронтом reset. [Решено за 30 мин.], Как сбросить именно фронтом ресета, а не лог.1 ресета? Опции

[flammmable]

Код

input clk;
input reset;
reg [2:0]state;

initial
begin
state <= 3;
end

always @(posedge clock or posedge reset) begin
if (reset) begin
  state <= 0;
end
else begin
  case (state)
   0:
    begin
     state <= 1;
    end
   1:
    begin
     state <= 2;
    end
   2:
    begin
     state <= 3;
    end
   3:
    begin
     //Остановиться
    end
end
end

Когда мы зажмем reset - конечный автомат переинициализируется (state сбросится в ноль по фронту reset-а). Но заработает автомат по первому фронту clk после того, как мы отпустим reset.
Подскажите пожалуйста, возможно ли сделать так, что бы автомат сбросился по фронту reset-а и заработал бы по следующему фронту clk?

Сообщение отредактировал flammmable - Jun 5 2018, 16:23

[flammmable]

Может, лучше сделать определение фронта reset по фронтам clk и при получении фронта (был 0 стало 1) сбрасывать автомат и признак наличия фронта?

О, спасибо! Хорошая идея.

Я, правда, надеялся, что есть способ элегантнее.
В смысле, я надеялся что будет различие между кодом

Код

always @(posedge clock or posedge reset) begin
if (reset) begin
  state <= 0;

и кодом

Код

always @(posedge clock or reset) begin
if (reset) begin
  state <= 0;

а так же кодом

Код

always @(posedge clock) begin
if (reset) begin
  state <= 0;

Но видимо они все сработают одинаково.

[Tausinov]

В смысле, я надеялся что будет различие между кодом

Код

always @(posedge clock or posedge reset) begin
if (reset) begin
  state <= 0;

и кодом

Код

always @(posedge clock or reset) begin
if (reset) begin
  state <= 0;

а так же кодом

Код

always @(posedge clock) begin
if (reset) begin
  state <= 0;

Но видимо они все сработают одинаково.

Первый вариант - асинхронный сброс, не требует наличия клока, но может привести к неприятным последствиям, если неправильно с ним обращаться.
Второй вариант выдаст ошибку при синтезе, т.к. такое описание не является корректным с точки зрения используемых примитивов, а в симуляции приведет
к лишнему срабатыванию ветки else при заднем фронте сброса.
Третий вариант - синхронный сброс, без присутствия клока он работать не будет вообще.