Поведенческое моделирование

Поведение модуля описывается с использованием инструкций процедурного блока initial и always или с использованием непрерывных назначений. Операторы внутри initial или always группируются вместе в begin-end или fork-join.

Выполнение инструкций контролируется программными инструкциями, управлением временем, процедурными назначениями и процедурными непрерывными назначениями.