я недавно вместо сериалов чет посмотрел лекцию о BSV/BH, это языки которые в верилог компилируются, и потом в микросхемки превращаются. и там прям стейтмашины на стейтмашине, и так приятно смотреть, как у них это все работает, и как они на это добавляют самую разную параметризацию, и как всякие странные сложные вещи из маленьких модульных собираются во все более и более сложные стейтмашинки, особенно завораживает когда сравниваешь код и полученную схему. прям такие очень солидные, осмысленные стейтмашины))