Выдержка из книги
Грушвицкий Р.И.
Проектирование систем на микросхемах программируемой логики
Процесс после задания исходного состояния ( sso) входит в бесконечно повторяющуюся петлю, в начале которой помещен оператор wait. Примененная конструкция оператора соответствует синхронному автомату, состояние которого изменяется по тактирующему сигналу p clk, причем p cik является глобальной переменной проекта.