Конечные автоматы являются одной из наиболее распространенных моделей работы как в аппаратных, так и в программных системах. Практически любую полезную цифровую систему можно определить как конечный автомат, поэтому неплохо узнать как можно больше об этом полезном системном шаблоне.

В этой статье описаны основы конечных автоматов и показан практический способ их реализации на языке Verilog.