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

Описание

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

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

Настройки

Значение по умолчанию: error

none

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

warning

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

error

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

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

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

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

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

Похожие темы

Для просмотра документации необходимо авторизоваться на сайте