Read-before-write摩尔图输出
描述
选择诊断操作当摩尔图表使用前一个输出值来确定当前状态。这种行为违反了摩尔机语义。在摩尔机,输出是当前状态的函数。允许输出值与前面的时间步计算当前状态,设置这个诊断警告或没有一个。
类别:诊断
设置
默认值:错误
-
没有一个 -
没有出现警告或错误。
-
警告 -
会出现一个警告。
-
错误 -
出现一个错误并停止仿真。
命令行信息
参数:SFOutputUsedAsStateInMooreChartDiag |
值:“没有”|“警告”|“错误” |
默认值:“错误” |
推荐设置
| 应用程序 | 设置 |
|---|---|
| 调试 | 错误 |
| 可追溯性 | 错误 |
| 效率 | 错误 |
| 安全预防措施 | 错误 |
相关的话题
- 为摩尔图表设计注意事项(Stateflow)
- 模型配置参数:Stateflow诊断
