设计说明：要求洗衣机具有进水、洗衣、脱水和暂停的功能。可以用按键控制洗衣机的各种功能，用8个led灯亮灭方向和频率代表洗衣机完成不同的功能控制。 例如： 1组花型（进水）：全灭—中间2灯亮，分别向两边顺次点亮，再全灭，循环往复。 2组花型（洗衣）：01111111右移循环（电机顺转）8s，左移循环（电机逆转）8s 3组花型（脱水）：01111111右移循环，led循环频率比洗衣时快。 4组花型（暂停）：led全灭。

以下是一个基于Verilog HDL的洗衣机控制器设计示例，用于控制洗衣机的进水、洗衣、脱水和暂停功能，使用8个LED灯表示洗衣机完成不同的功能控制。

module washing_machine(
    input clk,         // 时钟信号
    input rst,         // 复位信号
    input in_water,    // 进水按键
    input wash,        // 洗衣按键
    input spin,        // 脱水按键
    input pause,       // 暂停按键
    output reg [7:0] leds  // LED输出信号
);

    // 定义计数器变量
    reg [3:0] count_in_water = 0;
    reg [3:0] count_wash = 0;
    reg [3:0] count_spin = 0;

    // 定义状态变量
    parameter IDLE = 2'b00;
    parameter IN_WATER = 2'b01;
    parameter WASH = 2'b10;
    parameter SPIN = 2'b11;
    reg [1:0] state = IDLE;

    always @(posedge clk, posedge rst) begin
        if (rst) begin
            count_in_water <= 0;
            count_wash <= 0;
            count_spin <= 0;
            state <= IDLE;
            leds <= 8'b00000000;
        end
        else begin
            case (state)

                // 空闲状态
                IDLE: begin
                    if (in_water) begin
                        state <= IN_WATER;
                    end
                    else if (wash) begin
                        state <= WASH;
                    end
                    else if (spin) begin
                        state <= SPIN;
                    end
                    else if (pause) begin
                        leds <= 8'b00000000;
                    end
                end

                // 进水状态
                IN_WATER: begin
                    // 控制LED灯
                    case (count_in_water)
                        0: leds <= 8'b00000011;
                        1: leds <= 8'b00000110;
                        2: leds <= 8'b00001100;
                        3: leds <= 8'b00011000;
                        4: leds <= 8'b00001100;
                        5: leds <= 8'b00000110;
                        default: leds <= 8'b00000000;
                    endcase

                    // 进水计时器
                    if (count_in_water < 5) begin
                        count_in_water <= count_in_water + 1;
                    end
                    else begin
                        count_in_water <= 0;
                        state <= IDLE;
                    end
                end

                // 洗衣状态
                WASH: begin
                    // 控制LED灯
                    if (count_wash < 8) begin
                        leds <= {leds[6:0], 1'b0};
                    end
                    else begin
                        leds <= {leds[6:0], 1'b1};
                    end

                    // 洗衣计时器
                    if (count_wash < 15) begin
                        count_wash <= count_wash + 1;
                    end
                    else begin
                        count_wash <= 0;
                        state <= IDLE;
                    end
                end

                // 脱水状态
                SPIN: begin
                    // 控制LED灯
                    if (count_spin < 8) begin
                        leds <= {leds[6:0], 1'b0};
                    end
                    else begin
                        leds <= {leds[6:0], 1'b1};
                    end

                    // 脱水计时器
                    if (count_spin < 15) begin
                        count_spin <= count_spin + 1;
                    end
                    else begin
                        count_spin <= 0;
                        state <= IDLE;
                    end
                end

                default: state <= IDLE;

            endcase
        end
    end

endmodule

在上面的代码中，我们使用了一个4位计数器变量count_in_water、count_wash和count_spin，分别用于控制进水、洗衣和脱水的时间。我们还定义了一个状态变量state，用于表示洗衣机的当前状态。根据不同的状态，我们使用case语句控制LED的输出，实现了控制洗衣机各种功能的要求。例如，在进水状态下，我们使用case语句控制LED的输出，实现了花型效果。在洗衣状态和脱水状态下，我们使用计数器变量和移位操作控制LED的输出，实现了LED灯的闪烁效果。最后，在暂停状态下，我们将LED全灭。