Чтение-перед-запись в вывод на графике Мура

Описание

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

Category: диагностика

Настройки

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

none

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

warning

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

error

Появляется ошибка и останавливает симуляцию.

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

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

Рекомендуемые настройки

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

Похожие темы