Посвящена проблемам логического проектирования отдельных цифровых устройств на основе программируемых логических интегральных схем (ПЛИС). Показано место логического проектирования в общем процессе разработки цифровой системы, отмечаются особенности логического проектирования на основе ПЛИС. Предлагаются методы синтеза комбинационных схем, конечных и микропрограммных автоматов, позволяющие эффективно использовать архитектурные особенности ПЛИС, а также учитывать системные требования. Представлены новые модели конечных автоматов, позволяющие значительно снизить стоимость реализации и повысить быстродействие последовательностных устройств, а также учитывать местоположение конечного автомата в цифровой системе. Рассматриваются также вопросы верификации результатов синтеза и выбора наиболее эффективного метода синтеза. Описывается пакет ZUBR, в котором реализованы предлагаемые методы синтеза. Изложение материала сопровождается большим числом примеров. Преимущество предлагаемых методов синтеза подтверждается результатами экспериментальных исследований. Для специалистов, разработчиков цифровых систем, может быть использована в качестве учебного пособие для студентов и аспирантов.