exponenta event banner

Чтение до записи в выходные данные диаграммы Мура

Описание

Выберите действие диагностики, которое необходимо выполнить, когда диаграмма Мура использует предыдущее выходное значение для определения текущего состояния. Такое поведение нарушает машинную семантику Мура. В машине Мура выход является функцией только текущего состояния. Чтобы разрешить вывод значений из предыдущего временного шага при вычислении текущего состояния, установите для этой диагностики значение warning или none.

Категория: Диагностика

Настройки

По умолчанию: error

none

Предупреждение или ошибка отсутствуют.

warning

Появится предупреждение.

error

Появится сообщение об ошибке, которое остановит моделирование.

Информация командной строки

Параметр: SFOutputUsedAsStateInMooreChartDiag
Значение: 'none' | 'warning' | 'error'
По умолчанию: 'error'

Рекомендуемые параметры

ПриложениеНастройка
Отладкаerror
Отслеживаемостьerror
Эффективностьerror
Меры безопасностиerror

Связанные темы