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