HDL代碼設計中重要的內容之一就是設計程序的狀態機FSM，狀態轉換控制著整個程序的流程，為了理解程序，我們經常需要把狀態機的狀態轉換圖畫出來，這樣看起來很直觀，但是，有沒有辦法自動生成狀態轉換圖呢？

在ISE或者ModelSim中有沒有這樣的工具呢？

答案是肯定的，ModelSim中即有這樣的工具，下面以ISE13.4和ModelSim6.5為例，使用一段最簡單的狀態機代碼說明如何操作來自動生成狀態轉換圖。

代碼如下：
module Top_fsm(
input clk,
input rst,
output reg fsm_out
);

parameter IDLE = 3'd0, S1 = 3'd1, S2 = 3'd2, S3 = 3'd3, S4 = 3'd4, S5 = 3'd5;
reg [2:0] status;
always @ (posedge clk)
if(!rst)begin
status <= IDLE;
end
else begin
case(status)
IDLE:begin
fsm_out <= 1'b0;
status <= S1;
end
S1:begin
fsm_out <= 1'b1;
status <= S2;
end
S2:begin
fsm_out <= 1'b0;
status <= S3;
end
S3:begin
fsm_out <= 1'b1;
status <= S4;
end
S4:begin
fsm_out <= 1'b0;
status <= S5;
end
S5:begin
fsm_out <= 1'b1;
status <= IDLE;
end
default:begin
fsm_out <= 1'b0;
end
endcase
end
endmodule

我們在ISE中直接切換到ModelSim仿真模式，如圖所示：

雙擊Simulate Behavioral Model，將打開ModelSim。

在ModelSim中執行View---FSM list命令，如下圖所示：

然后就會發現ModelSim左邊這部分的標簽多了一項，如下面兩幅圖的對比：

未執行命令前是這樣子的：

執行完命令是這樣子的：

這時候在FSM List標簽下，可以看到如下內容，雙擊之：

于是出現了下面的狀態轉換圖：

這時觀察生成的狀態轉換圖發現，所有的狀態都在復位的情況下返回了狀態IDLE，這是我們不期望的，仔細觀察這時的菜單欄可以發現，有一個FSM View項：

將Show Transitions to "Reset"項前面的對勾去掉，就會發現不顯示復位情況下返回狀態IDLE了，如下圖所示：

細心的人會發現狀態到了S5并未返回IDLE，但在前面的狀態轉換圖中的確有Cond2:1這種狀態轉到狀態IDLE，這估計是軟件所導致的吧。

簡單的應用就這些，深一些的功能自己好好探索吧。

最后說一下這種自動生成的狀態轉換圖的缺點：因為它默認生成的狀態轉換圖一定是一個圓，所以當你的狀態比較復雜時，并非是一個簡單的切換時，生成的狀態轉換圖也就會很亂很亂，可讀性直接下降，不知道是可以可調節或者有什么更好的生成工具？