Read-before-write to output in Moore chart

Description

Select 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.

Category: Diagnostics

Settings

Default: error

none

No warning or error appears.

warning

A warning appears.

error

An error appears and stops the simulation.

Command-Line Information

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

Recommended Settings

ApplicationSetting
Debuggingerror
Traceabilityerror
Efficiencyerror
Safety precautionerror

Related Topics