Проектирование конечных автоматов.Теория и практика

Конечные автоматы (Finite State Machines - FSMs) занимают важное место в разработке цифровой аппаратуры, поскольку в каждом устройстве их приходиться проектировать всякий раз заново. Показано место конечных автоматов в методике проектирования цифровых устройств. При этом внимание концентрируется на проблемах, с которыми сталкивается инженер при разработке устройств управления. Рассмотрены способы представления конечных автоматов, которые наиболее часто используются на практике. Освещена современная элементная база цифровых систем (CPLD, FPGA, SoC). Особое внимание уделено реализации конечных автоматов в программируемых логических интегральных схемах (ПЛИС - FPGA). Дан обзор методов синтеза, реализованных в средствах проектирования (Quartus). Подробно рассмотрены стили и способы представления конечных автоматов на языках описания аппаратуры (Verilog, SystemVerilog, VHDL). Представлены популярные коды, используемые для кодирования состояний конечных автоматов.