Vivado 合成では、有限ステート マシン (FSM) コンポーネントおよびそのエンコードに関する情報が、ログ ファイルに情報メッセージとして表示されます。次に、メッセージの例を示します。
INFO: [Synth 8-802] inferred FSM for state register 'state_reg' in module 'fsm_test'
INFO: [Synth 8-3354] encoded FSM with state register 'state_reg' using encoding 'sequential' in module 'fsm_test'