гемморно на тригеррах. Много получится всего, уж лучше на ПЛИСине. Реализация банальнейшая:

-- определение момента изменения состояния энкодера
front = ((lst_lir0.q XOR lir0) OR (lst_lir1.q XOR lir1));

-- Сохранение прошлого состояния энкодера и тактирование счётчика
lst_lir[].d = lir[];
lst_lir[].clk = front;
cnt_lir.clock = !front;

-- устанавливем направление на весь такт
cnt_lir.updown = DFF(twrd, enbl AND empty,,);
code[3..2] = lst_lir[1..0].q; code[1..0] = lir[1..0];
TABLE
code[] => twrd, enbl;
0 => X, 0;
1 => 0, 1;
2 => 1, 1;
3 => X, 0;
4 => 1, 1;
5 => X, 0;
6 => X, 0;
7 => 0, 1;
8 => 0, 1;
9 => X, 0;
10 => X, 0;
11 => 1, 1;
12 => X, 0;
13 => 1, 1;
14 => 0, 1;
15 => X, 0;
END TABLE;