Yosys FSM検出状態の割り当て？

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

私はこの記事をお読みください。FSM export using Yosys

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

出典

2016-09-26 Abraham McIlvaine

状態名は任意に割り当てられます。ステートに対応するステートレジスタの数値をエンコードしません。、）場合、多くのCADツールは、あなたのFSMの割り当てを再マップする

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

出典

2016-09-26 20:27:01 CliffordVienna

注意することをあなたは状態の名前/値をパラメータ：図と、元のVerilogコードを見ると、私は、たとえば次のようにマッピングがあると言うだろうb）個々の状態ビットに直接アクセスしない。これにより、ツールは状態遷移（遷移ごとに変化するビットの数を最小限に抑える）を最適化するだけでなく、その場でエンコーディングスキームを変更することができます。 YOSYSがこのように名前を付けることは不合理ではありません。 – wilcroft

ありがとうございました。私は何かを見落としていたと感じました。 –

Yosys FSM検出状態の割り当て？

答えて

関連する問題