Синтез и отладка алгоритмов функционирования цифровых устройств управления