В этой задаче нужно ориентироваться на возможные состояния крейт-контроллера (см. документацию на 3 имеющихся контроллера) для описания процедуры создания алгоритма в виде конечного автомата приложена ссылка на лаб. работу: https://github.com/ExperimentalPhysics/FpgaCourse/tree/master/Basics/verilog/Labs/SyncAutomates)