verilog编程实现跑马灯功能：左移、右移、对开、对分，按键K1、K2组合实现以上四种模式选择。程序要求采用两个always语句（计数器、译码器）设计。

在Verilog中实现一个跑马灯功能，可以通过编写一个模块来完成，其中包括计数器和译码器两个部分。计数器用于生成移动序列，而译码器则用于根据按键输入切换不同的移动模式。以下是一个简化的实现思路：

1. **计数器部分**：使用一个always块来描述计数器的行为。计数器通过时钟信号进行递增或递减，以实现跑马灯的左移或右移。当需要对开或对分模式时，计数器的行为可能需要特别的设计以满足模式要求。

2. **译码器部分**：使用另一个always块来根据按键K1和K2的状态来改变计数器的行为，实现模式的选择。可以通过组合逻辑来判断按键的状态，并据此改变计数器的模式。

具体的Verilog代码可能会像这样：

module running_lights(
    input clk, // 时钟信号
    input rst_n, // 复位信号，低电平有效
    input K1, // 模式选择按键1
    input K2, // 模式选择按键2
    output reg [7:0] led // LED灯输出
);

// 定义内部变量
reg [23:0] counter = 24'd0; // 定义足够长的计数器以控制速度
reg direction = 1'b0; // 移动方向标志，0为左移，1为右移
reg [1:0] mode = 2'b00; // 模式选择

// 计数器always块，控制计数器的递增或递减
always @(posedge clk or negedge rst_n) begin
    if (!rst_n) begin
        counter <= 24'd0;
        direction <= 1'b0;
    end else begin
        counter <= counter + 1'b1;
        // 当达到一定值时改变方向或者模式
        if (counter == 24'd9999999) begin
            counter <= 24'd0;
            direction <= ~direction;
        end
    end
end

// 模式选择always块，根据按键组合改变模式
always @(*) begin
    if (!K1 && !K2) mode = 2'b00; // 默认模式
    else if (!K1 && K2) mode = 2'b01; // 对开模式
    else if (K1 && !K2) mode = 2'b10; // 对分模式
    else if (K1 && K2) mode = 2'b11; // 其他模式（根据实际需求定义）
end

// 根据模式控制led灯的移动
always @(posedge clk or negedge rst_n) begin
    if (!rst_n) begin
        led <= 8'b00000001;
    end else begin
        case (mode)
            2'b00: led <= {led[6:0], led[7]}; // 左移模式
            2'b01: led <= {led[0], led[7:1]}; // 右移模式
            2'b10: begin
                led <= (direction) ? {led[6:0], led[7]} : {led[0], led[7:1]};
            end
            default: led <= led; // 其他模式维持当前状态
        endcase
    end
end

endmodule

在上面的代码中，我们定义了一个模块`running_lights`，它接受时钟信号、复位信号和两个按键输入，并输出一个8位的LED灯控制信号。计数器控制LED的移动，而译码器根据按键输入来改变模式。

注意，上面的代码仅为一个简化的例子，实际的实现可能需要根据具体的硬件和需求进行调整。例如，按键抖动的处理、更精确的计数器阈值设置、不同LED灯模式的具体实现等。