ЛР 7 для ИВТ. Переход в состояние CHECK_PARITY_STOP_BITS контроллера клавиатуры

[IlorDash]

В лабораторной предлагается код конечного автомата для контроллера клавиатуры по интерфейсу PS/2.

При использовании этого кода возникла проблема: автомат переходил в состояние CHECK_PARITY_STOP_BITS в момент, когда еще необходимо было принимать данные, связано это с тем, что инкрементация counter_bit начинается с старт бита, который нам принимать в сдвиговый регистр не нужно, из-за этого последний бит данных не записывается в сдвиговый регистр.

Также нам необходимо в конце принять в сдвиговый регистр бит четности, но опять же автомат переходит в состояние CHECK_PARITY_STOP_BITS и не записывает его.

Для решения этих багов предлагаю в конечном автомате изменить условие перехода в состояние CHECK_PARITY_STOP_BITS на (count_bit == 10)

На временной диаграмме передаю контроллеру клавиатуры код клавиши - 0x3a. Как видно из диаграммы, менять состояние на CHECK_PARITY_STOP_BITS необходимо при counter_bit = 10, к этому моменту в сдвиговый регистр приняты данные 0x3a и бит четности = 1

[HepoH3]

Попробуй следующий листинг:

reg [1:0] state;

localparam IDLE = 2'd0;
localparam RECEIVE_DATA = 2'd1;
localparam CHECK_PARITY_STOP_BITS = 2'd2;

always @(posedge clk_50 or posedge areset) begin
  if(areset)
    state <= IDLE;
  else if (ps2_clk_negedge)
    begin
      case (state)
        IDLE:
        begin
          if(!ps2_dat)
            state <= RECEIVE_DATA;
        end

        RECEIVE_DATA:
        begin
          if (count_bit == 8)
            state <=
            CHECK_PARITY_STOP_BITS;
        end

        CHECK_PARITY_STOP_BITS:
        begin
          state <= IDLE;
        end

        default:
        begin
          state <= IDLE;
        end
      endcase
    end
end

clk_50 — это системный клок (не синхроимпульс ps2_clk).
В сдвиговый регистр должны попадать только биты данных (без стартового/стопового/четности). После того, как данные задвинуты, остается только сделать свертку по XOR над сдвиговым регистром, чтобы вычислить четность и сравнить с битом четности сразу как он пришел.

[HepoH3]

Пиши, если будут проблемы.

[IlorDash]

Понял, спасибо, список чувствительности этого блока изменю и проверку на ps2_clk_negedge добавлю.
Я думал, что в shift_reg мы должны и бит четности записать, так как на этапе проверки этого бита мы сравниваем вычисленную свертку по XOR с 8м битом сдвигового регистра (как на картинке ниже), да и размер shift_reg = 9 бит. Поэтому я и решил в shift_reg записывать все принятые биты информации + бит четности. Разве не так планировалось использовать shift_reg ?

[HepoH3]

Кусок про PS/2-клавиатуру — это кусок старой методички из другого предмета, там уже никто не помнит кто что имел в виду)

[IlorDash]

Понятно) Ну тогда как вариант решения, с минимальными усилиями, оставлю тот, что описал выше, с заменой условия перехода в состояние CHECK_PARITY_STOP_BITS на (count_bit == 10). Мне он помог, может кому еще пригодится)