FSMデバッグCategory : デバッグおよび解析FSMウィンドウは有限ステートマシンの動作を観察することができるデバッグ・ツールです。このツールは任意のシミュレーション・オブジェクトの遷移グラフを生成し、オブジェクトの状態（または信号の値）間の遷移を表します。オブジェクトの状態は円で示され、遷移は矢印で表されます。読みやすく色分けされたグラフは、決定論理／非決定論理を示し、開始および終了の状態が異なった色で表されます。また、各オブジェクトの最新の値が表示されます。どのような時にもデータの表現モードをグラフから表形式に切り替えることも可能です。
