前页 | 后页 |
状态机库表仿真
状态机A库表是状态状态机的表示,可以用与状态机图完全相同的方式进行模拟。
访问
使用库表中显示的状态机,使用此表中列出的任何方法开始模拟。
功能区 |
仿真>运行仿真>开始,或 仿真>动态仿真仿真> 模拟器> 打开模拟器窗口> (开始icon) |
上下文菜单 |
右键单击查看背景 |执行仿真| <口译或手动> |
突出显示活动单元
随着模拟的执行,表单元改变颜色以指示:
- 当前活动状态- 在“状态机选项”对话框的“突出显示颜色”字段中设置的颜色,以及深色边框
- 潜在的下一个状态-“突出显示颜色”字段中颜色A变体,或者,如果在“状态机选项”对话框中选中“使用不同颜色用于目标状态”复选框,则在“目标”中设置颜色区域颜色'字段
- 主动转移
(s) - '转移
中设置的颜色转移
“状态机选项”对话框的“单元格”字段 - 触发器(s) - 在“状态机选项”对话框的“突出显示颜色”字段中设置的颜色
- 非活动状态 - 灰色
例如:
触发器信号
与以图表形式运行模拟时一样,模拟将自动遍历没有保护或经过验证的保护的转换。除非那个触发器已经被触发,否则不会跟随带有触发器的转换。它们可以从仿真事件窗口自动触发,也可以通过右键单击转移
来手动触发器转移
或触发器单元选择“信号触发器仿真。