Или, точнее, от создания способа квитирования всех переходов машины состояний обмена проц-FPGA на основе IO. Т.е. ничто не принимается на веру. Переход в новое состояние только после получения квитирования. И тут же проверка - не поздно ли. Да, так пойдет.