Main Content

Moore チャートにおける出力の書き込み前の読み取り

説明

Moore チャートにおいて前の出力値を使用して現在の状態を決定している場合に行う診断アクションを選択します。この動作は Moore マシンのセマンティクスに違反しています。Moore マシンでは、出力は現在の状態のみの関数として表現されます。現在の状態の計算に前のタイム ステップからの出力値を使用できるようにするには、この診断を warning または none に設定します。

カテゴリ: 診断

設定

既定の設定: エラー

なし

警告またはエラーは表示されません。

警告

警告が表示されます。

エラー

エラーが表示され、シミュレーションが停止します。

コマンド ライン情報

パラメーター: SFOutputUsedAsStateInMooreChartDiag
値: 'none' | 'warning' | 'error'
既定の設定: 'error'

推奨設定

アプリケーション設定
デバッグエラー
トレーサビリティエラー
効率性エラー
安全対策エラー

関連するトピック