Описание

initial начинает начальное построение режима в графике режима. Построение отключено ключевым словом end. Это содержит один оператор со следующим синтаксисом:

init_mode : predicate_condition

где:

predicate_condition должен быть параметрическим выражением, потому что он оценен во время компиляции. Используя переменную в предикате приводит к ошибке времени компиляции.

Построение initial является дополнительным. Если график режима не содержит построение initial, то первый режим, перечисленный в разделе modes, активен в начале симуляции.

Например, график режима объявляет три режима, m1, m2 и m3:

modes
    mode m1
    ...
    end
    mode m2
    ...
    end
    mode m3
    ...
    end
end

По умолчанию режим m1 активен в начале симуляции. Если вы включаете следующее построение initial:

initial
    m2 : p1
end

затем, если предикат p1 верен, симуляция запускается в режиме m2; в противном случае, в режиме m1.

Построение initial может иметь несколько начальных операторов режима, например:

initial
    m2 : p1
    m3 : p2
end

В этом случае: