FlProg

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

Автомат состояний.
Внутренне состояние зависит от комбинации входных сигналов и текущего внутреннего состояния. Состояние выходов зависит от текущего внутреннего состояния. 
https://geektimes.ru/post/253780/