34 / 36 · Теория
Проектирование небольшого конечного автомата
Опишите состояние, вход и переход в таблице.
Уроки доступны бесплатно. Запишитесь, чтобы сохранять прогресс.
Цели урока
- Опишите состояние, вход и переход в таблице.
Что должна помнить схема
Контроллер запроса и ожидания завершения может иметь IDLE и BUSY. В IDLE start=1 переводит в BUSY; в BUSY done=1 возвращает в IDLE. Определите и одновременные входы: здесь IDLE учитывает только start, BUSY — только done. Сброс возвращает IDLE.
| Текущее состояние | Условие | Следующее состояние |
|---|---|---|
| IDLE | start=0 | IDLE |
| IDLE | start=1 | BUSY |
| BUSY | done=0 | BUSY |
| BUSY | done=1 | IDLE |
Расчёт и запись состояния
Комбинационная логика вычисляет next_state, а always_ff записывает state<=next_state на фронте. Выход Moore зависит только от состояния; Mealy также от текущих входов. Предполагается стабильность входов относительно одного такта. Несинхронизированные сигналы другого домена здесь не рассматриваются.
Попробуйте сами
Текущее состояние BUSY, start=1,done=0. Что дальше?
Прочитать объяснение
Остаётся BUSY: переход в этом состоянии определяет только done.