状态机的问题

用状态机做一个流水灯的实验，希望四个LED可以依次闪烁，当下到片子里面，四个LED全是亮，当我把状态机最后一个状态去掉之后，运行就正常了，我用的是XILINX的XCS250E，是状态机的状态多了之后跑飞吗?

1. module fsm_led_4( clk
   
2.                                           ,en
   
3.                  ,rst
   
4.                                      ,a
   
5.                  ,b
   
6.                  ,c
   
7.                  ,d
   
8.                   );
   
9.    
   
10.    parameter FSM_STATES = 7;
    
11.    parameter ON = 1'b1;
    
12.    parameter OFF = 1'b0;
    
13.    
    
14.    input clk,en,rst;
    
15.    output a,b,c,d;
    
16. 
    
17.    wire clk,en,rst;
    
18.    wire a,b,c,d;
    
19. 
    
20. 
    
21. 
    
22.    
    
23.    reg [FSM_STATES-1:0] state_current,state_next;
    
24.    reg FSM_s1,FSM_s2,FSM_s3,FSM_s4;
    
25. 
    
26.         assign a = FSM_s1;
    
27.         assign b = FSM_s2;
    
28.         assign c = FSM_s3;
    
29.         assign d = FSM_s4;
    
30. 
    
31.         parameter [FSM_STATES-1 : 0]
    
32.                                                         IDLE        = 7'b0000001,
    
33.                                                         S1                           = 7'b0000010,
    
34.                                                         S2                                = 7'b0000100,
    
35.                                                         S3                                = 7'b0001000,
    
36.                                                         S4                                = 7'b0010000,
    
37.                                                         S5                                = 7'b0100000,
    
38.                                                         S6                                = 7'b1000000;
    
39. 
    
40.    
    
41. always @(posedge clk or posedge rst )
    
42. begin
    
43.    if(rst)
    
44.       state_current <= IDLE;
    
45.    else
    
46.       state_current <= state_next;
    
47. end
    
48. 
    
49. always @ (
    
50.             state_current
    
51.                                 or en
    
52.            )
    
53. begin
    
54.    case(state_current)
    
55.       IDLE:begin
    
56.                         if(en)                        
    
57.                            state_next <= S1;
    
58.                     else
    
59.                            state_next <= IDLE;
    
60.       end        
    
61.       S1:begin
    
62.                         state_next <= S2;
    
63.       end
    
64.                
    
65.       S2:begin
    
66.                         state_next <= S3;
    
67.       end
    
68.                
    
69.       S3:begin
    
70.                         state_next <= S4;
    
71.       end
    
72.                
    
73.       S4:begin
    
74.                         state_next <= S5;
    
75.                 end
    
76.       S5:begin
    
77.                         state_next <= S6;
    
78.                 end
    
79.            S6:begin
    
80.                         if(en)
    
81.                                 state_next <= S1;
    
82.                    else
    
83.                            state_next <= IDLE;
    
84.                 end
    
85. 
    
86.       default:begin
    
87.          state_next <= IDLE;
    
88.       end
    
89.    endcase
    
90. end        
    
91. 
    
92. always @(state_current)
    
93. begin
    
94.    case(state_current)
    
95.       IDLE:begin
    
96.          FSM_s1         <= OFF;
    
97.          FSM_s2         <= OFF;
    
98.          FSM_s3         <= OFF;
    
99.          FSM_s4         <= OFF;
    
100.       end
     
101.            S1:begin
     
102.          FSM_s1         <= ON;
     
103.          FSM_s2         <= OFF;
     
104.          FSM_s3         <= OFF;
     
105.          FSM_s4         <= OFF;
     
106.       end
     
107.       S2:begin
     
108.          FSM_s1         <= OFF;
     
109.          FSM_s2         <= ON;
     
110.          FSM_s3         <= OFF;
     
111.          FSM_s4         <= OFF;
     
112.       end
     
113.       S3:begin
     
114.          FSM_s1         <= OFF;
     
115.          FSM_s2         <= OFF;
     
116.          FSM_s3         <= ON;
     
117.          FSM_s4         <= OFF;
     
118.       end
     
119.       S4:begin
     
120.          FSM_s1         <= OFF;
     
121.          FSM_s2         <= OFF;
     
122.          FSM_s3         <= OFF;
     
123.          FSM_s4         <= ON;
     
124.       end        
     
125.                 S5:begin
     
126.          FSM_s1         <= ON;
     
127.          FSM_s2         <= ON;
     
128.          FSM_s3         <= ON;
     
129.          FSM_s4         <= ON;
     
130.       end
     
131.                 S6:begin
     
132.          FSM_s1         <= ON;
     
133.          FSM_s2         <= ON;
     
134.          FSM_s3         <= OFF;
     
135.          FSM_s4         <= OFF;
     
136.       end
     
137.            default:begin
     
138.          FSM_s1         <= OFF;
     
139.          FSM_s2         <= OFF;
     
140.          FSM_s3         <= OFF;
     
141.          FSM_s4         <= OFF;
     
142.       end
     
143.    endcase
     
144. end
     
145. 
     
146. endmodule

复制代码

仿真过了吗

   状态机仿真没问题，奇怪就奇怪在这里。

仿真图

你这个clk也太快了把，还有一般三段式状态机组合逻辑部分一般是阻塞赋值

   我仿真用的是1MHZ的，实际在片上用的是1hz的频率，能明显看到leds闪烁的刚刚我把IDLE状态去掉了，只保留我需要的那些状态，led闪烁正常了，我在想是不是出入IDLE状态需要给特定的条件，要不然会跑飞

除了那个阻塞赋值没看出别的问题，你的en信号一直为高吗

   en 信号是高，我也改成阻塞赋值了，下到板子里状态还是不对，如果没有IDLE状态的话就没有问题，现在只能这样做了。

没道理会这样的啊，你有IDLE状态的时候现象是怎么样的，你输出1的时候LED亮还是输出0的时候LED亮。

状态机好难哦 啊啊

还是感觉比较复杂呀

楚天到了