Рассматривается популярный язык проектирования цифровой аппаратуры Verilog. В книге достаточно полно описываются основные синтаксические элементы и конструкции языка с точки зрения их практического использования. Каждая конструкция языка сопровождается примером. Изложение материала не привязывается к определенной элементной базе или конкретному программному средству проектирования, поэтому материал книги может использоваться при разработке проектов как на заказных СБИС и БМК, так и на ПЛИС. Популярность языку Verilog придает простота синтаксиса, во многом совпадающего с языком программирования C, а также большие возможности при описании цифровых устройств и систем, как для синтеза, так и для моделирования, от уровня транзисторов до сложных иерархических структур. Язык Verilog предоставляет также возможности для своего расширения. Для этого служит механизм определения пользовательских примитивов UDP и язык программирования интерфейса PLI. Настоящая книга, в первую очередь, предназначена разработчикам цифровых устройств и систем для самостоятельного изучения языка Verilog. Поскольку изложение основных элементов и конструкций языка достаточно полное, книга может также использоваться как справочник языка Verilog. Кроме того, материал книги может быть использован преподавателями, аспирантами и студентами соответствующих специальностей вузов.

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