verilog - Yosys FSM 検出状態の割り当て?

Question

私のプロジェクトで Yosys を使用しようとしていますが、FSM 検出について混乱しています。

この投稿を読みました: Yosys を使用した FSM エクスポート

私の質問は、Yosys が Verilog ファイルから検出した状態遷移についてです。上記のリンクが指す投稿では、状態 1 から状態 3 に移行する方法がわかりません。ただし、生成されたグラフにはあります。これはどのように？前もって感謝します。

Answer 1

州名は任意に割り当てられます。それらは、状態に対応する状態レジスタの数値をエンコードしません。図と元の Verilog コードを見ると、その例のマッピングは次のようになります。

s0: state == 0
s1: state == 2
s2: state == 1
s3: state == 3