Yosys FSM檢測狀態分配？

我正在嘗試將Yosys用於我的項目，但我對FSM檢測感到困惑。Yosys FSM檢測狀態分配？

我的問題是關於從Yosys Verilog的文件中檢測的狀態轉換。在上面的鏈接指向的帖子上，我沒有看到從狀態1轉換到狀態3的任何方式;然而，在生成的圖中有。這怎麼樣？提前致謝。

州名是任意分配的。它們不編碼與狀態對應的狀態寄存器的數值。綜觀圖和原Verilog代碼，我想說的映射是爲舉例如下：

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

2016-09-26 20:27:01 CliffordVienna

注意，許多CAD工具可如果重新映射FSM分配）你參數狀態名稱/值，和b）不直接訪問各個狀態位。這使得該工具可以優化狀態轉換（最小化每個轉換更改的位數），並讓您即時更改您的編碼方案（例如，計數爲單熱）。 YOSYS以這種方式分配名稱並非不合理。 – wilcroft

非常感謝。我有一種感覺，我忽略了一些東西。 –

回答