利用有限有限状态机设计4位流水灯Verilog程序，用一位按键来控制，每按下一次，流水灯变化一次

以下是基于有限状态机的4位流水灯Verilog程序，使用一位按键来控制。每当按键按下时，流水灯就会移动到下一个状态。

module fsm_led(
    input clk, // 时钟信号
    input btn, // 按键信号
    output reg [3:0] leds // 4位LED灯输出信号
);

// 状态定义
parameter [1:0] S_IDLE = 2'b00;
parameter [1:0] S_L1 = 2'b01;
parameter [1:0] S_L2 = 2'b10;
parameter [1:0] S_L3 = 2'b11;

// 状态寄存器
reg [1:0] state;

// 组合逻辑
always_comb begin
    case(state)
        S_IDLE: leds = 4'b0000;
        S_L1: leds = 4'b0001;
        S_L2: leds = 4'b0010;
        S_L3: leds = 4'b0100;
        default: leds = 4'b0000;
    endcase
end

// 时序逻辑
always @(posedge clk) begin
    case(state)
        S_IDLE: begin
            if(btn) state <= S_L1;
            else state <= S_IDLE;
        end
        S_L1: begin
            if(btn) state <= S_L2;
            else state <= S_L1;
        end
        S_L2: begin
            if(btn) state <= S_L3;
            else state <= S_L2;
        end
        S_L3: begin
            if(btn) state <= S_IDLE;
            else state <= S_L3;
        end
        default: state <= S_IDLE;
    endcase
end

endmodule

在此程序中，我们使用了四个状态来表示四个不同的LED灯状态。当按下按键时，状态会从当前状态转移到下一个状态。如果在任何状态下未按下按键，则状态将保持不变。

请注意，这只是一个简单的示例程序，仅用于演示如何使用有限状态机设计4位流水灯Verilog程序。在实际应用中，您可能需要更复杂的状态机来实现更高级的功能。