Отправлено Victor® 21 февраля 2003 г. 13:47 В ответ на: Описать все состояния автомата можно только, если закодировать его самому. Если же MAX или QUARTUS кодируют его сами, то как в этом случае описать все состояния автомата? отправлено landr 21 февраля 2003 г. 13:40

For an n-bit state machine, 2^n possible states exist. If you declare n bits in a state machine, you should continue to add dummy state names until the number of states reaches a power of 2. The recover.tdf file shown below contains a state machine that can recover from illegal states.

SUBDESIGN recover
(
clk : INPUT;
go : INPUT;
ok : OUTPUT;
)
VARIABLE
sequence : MACHINE
OF BITS (q[2..0])
WITH STATES (
idle,
one,
two,
three,
four,

illegal1,
illegal2,
illegal3);

BEGIN
sequence.clk = clk;

CASE sequence IS
WHEN idle =>
IF go THEN
sequence = one;
END IF;
WHEN one =>
sequence = two;
WHEN two =>
sequence = three;
WHEN three =>
sequence = four;
WHEN OTHERS =>
sequence = idle;
END CASE;

ok = (sequence == four);
END;

• Попробую описать автомат сам - OF BITS (...) - и посмотрю зависнит он или нет. Если будет нормально выходить из ненужных мне состояний, то нужно будет думать как в этом случае не потерять данные (ведь это как минимум потеря одного такта работы). — landr   (21.02.2003 14:18, 679 байт)
  • Если я придумаю как не потерять данные, то получится что запрещенные состояния будут уже не запрещенными :-))) Вот это да !!!! Круг замкнулся и голова закрутилась :))) Пора отдыхать... и праздновать праздник. — landr   (21.02.2003 14:26, пустое)
    • А что там придумывать-то? запоминай предыдущее состояние, отрабатывай его так-же и делай возврат в него. Стандартная штуковина. — SM   (21.02.2003 14:30, пустое)
    • Советую описать еще подробнее, у меня было дело что глючило на авто-кодировании состояний: (+) — SM   (21.02.2003 14:29, 117 байт)
      • Под многоточием я это и имею ввиду. — landr   (21.02.2003 14:51, пустое)