Main Content

Read-before-write to output in Moore chart

Diagnostic action to take when a Moore chart uses a previous output value to determine the state

Model Configuration Pane: Diagnostics

Description

The Read-before-write to output in Moore chart parameter specifies the diagnostic action to take when a Moore chart uses a previous output value to determine the current state. This behavior violates Moore machine semantics. In a Moore machine, output is a function of current state only. To allow output values from the previous time step in calculating current state, set this diagnostic to warning or none.

Settings

error (default) | none | warning

Default: error

none

No warning or error appears.

warning

A warning appears.

error

An error appears and stops the simulation.

Recommended Settings

ApplicationSetting
Debuggingerror
Traceabilityerror
Efficiencyerror
Safety precautionerror

Programmatic Use

Parameter: SFOutputUsedAsStateInMooreChartDiag
Value: 'none' | 'warning' | 'error'
Default: 'error'

Version History

Introduced in R2015a