Конечные автоматы — бесконечно полезный математический инструмент, позволяющий реализовывать разные алгоритмы. Пока программа находится в определенном статусе - выполняется один конкретный алгоритм. Перемещение между статусами выполняется за счет бинарных условий, реализация простая и интуитивно понятная. Думаю, это отличный инструмент для одного из следующих проектов.
На сегодняшний день просмотр графа состояний - единственная причина открытия графического интерфейса ВМ, для всего остального (verilog, vhdl) есть make