基于verilog带有左转灯以及黄灯闪烁的十字路口交通信号灯

以下是一个基于Verilog的十字路口交通信号灯的设计，其中包括左转灯和黄灯闪烁功能。

模块说明：

模块名称：traffic_light

输入信号：

- clk：时钟信号
- reset：复位信号
- car_sensor：车辆检测信号，高电平表示检测到车辆

输出信号：

- red1：红灯1输出信号，高电平表示红灯亮
- yellow1：黄灯1输出信号，高电平表示黄灯亮
- green1：绿灯1输出信号，高电平表示绿灯亮
- left1：左转灯1输出信号，高电平表示左转灯亮
- red2：红灯2输出信号，高电平表示红灯亮
- yellow2：黄灯2输出信号，高电平表示黄灯亮
- green2：绿灯2输出信号，高电平表示绿灯亮
- left2：左转灯2输出信号，高电平表示左转灯亮

代码实现：

module traffic_light (
    input clk,
    input reset,
    input car_sensor,
    output reg red1,
    output reg yellow1,
    output reg green1,
    output reg left1,
    output reg red2,
    output reg yellow2,
    output reg green2,
    output reg left2
);

// 定义状态枚举类型
typedef enum logic [2:0] {
    STATE_NS_GREEN,
    STATE_NS_YELLOW,
    STATE_EW_GREEN,
    STATE_EW_YELLOW,
    STATE_NS_LEFT,
    STATE_EW_LEFT,
    STATE_NS_BLINK_YELLOW,
    STATE_EW_BLINK_YELLOW
} state_t;

// 定义状态变量和计时器
state_t state, next_state;
int count;

// 初始化状态和计时器
initial begin
    state = STATE_NS_GREEN;
    count = 0;
end

// 状态转移逻辑
always @ (posedge clk or posedge reset) begin
    if (reset) begin
        state <= STATE_NS_GREEN;
        count <= 0;
    end else begin
        state <= next_state;
        count <= count + 1;
    end
end

// 状态机逻辑
always @ (*) begin
    case (state)
        STATE_NS_GREEN: begin
            red1 <= 1'b0;
            yellow1 <= 1'b0;
            green1 <= 1'b1;
            left1 <= 1'b0;
            red2 <= 1'b1;
            yellow2 <= 1'b0;
            green2 <= 1'b0;
            left2 <= 1'b0;
            if (car_sensor) begin
                next_state = STATE_NS_LEFT;
                count = 0;
            end else begin
                next_state = STATE_NS_YELLOW;
                count = 0;
            end
        end
        STATE_NS_YELLOW: begin
            red1 <= 1'b0;
            yellow1 <= 1'b1;
            green1 <= 1'b0;
            left1 <= 1'b0;
            red2 <= 1'b1;
            yellow2 <= 1'b0;
            green2 <= 1'b0;
            left2 <= 1'b0;
            if (count == 100) begin
                next_state = STATE_EW_GREEN;
                count = 0;
            end else if (car_sensor) begin
                next_state = STATE_NS_LEFT;
                count = 0;
            end else begin
                next_state = STATE_NS_YELLOW;
            end
        end
        STATE_EW_GREEN: begin
            red1 <= 1'b1;
            yellow1 <= 1'b0;
            green1 <= 1'b0;
            left1 <= 1'b0;
            red2 <= 1'b0;
            yellow2 <= 1'b0;
            green2 <= 1'b1;
            left2 <= 1'b0;
            if (car_sensor) begin
                next_state = STATE_EW_LEFT;
                count = 0;
            end else begin
                next_state = STATE_EW_YELLOW;
                count = 0;
            end
        end
        STATE_EW_YELLOW: begin
            red1 <= 1'b1;
            yellow1 <= 1'b0;
            green1 <= 1'b0;
            left1 <= 1'b0;
            red2 <= 1'b0;
            yellow2 <= 1'b1;
            green2 <= 1'b0;
            left2 <= 1'b0;
            if (count == 100) begin
                next_state = STATE_NS_GREEN;
                count = 0;
            end else if (car_sensor) begin
                next_state = STATE_EW_LEFT;
                count = 0;
            end else begin
                next_state = STATE_EW_YELLOW;
            end
        end
        STATE_NS_LEFT: begin
            red1 <= 1'b0;
            yellow1 <= 1'b0;
            green1 <= 1'b0;
            left1 <= 1'b1;
            red2 <= 1'b1;
            yellow2 <= 1'b0;
            green2 <= 1'b0;
            left2 <= 1'b0;
            if (count == 50) begin
                next_state = STATE_EW_GREEN;
                count = 0;
            end else if (car_sensor) begin
                next_state = STATE_NS_LEFT;
            end else begin
                next_state = STATE_NS_BLINK_YELLOW;
            end
        end
        STATE_EW_LEFT: begin
            red1 <= 1'b1;
            yellow1 <= 1'b0;
            green1 <= 1'b0;
            left1 <= 1'b0;
            red2 <= 1'b0;
            yellow2 <= 1'b0;
            green2 <= 1'b0;
            left2 <= 1'b1;
            if (count == 50) begin
                next_state = STATE_NS_GREEN;
                count = 0;
            end else if (car_sensor) begin
                next_state = STATE_EW_LEFT;
            end else begin
                next_state = STATE_EW_BLINK_YELLOW;
            end
        end
        STATE_NS_BLINK_YELLOW: begin
            red1 <= 1'b0;
            yellow1 <= 1'b1;
            green1 <= 1'b0;
            left1 <= 1'b0;
            red2 <= 1'b1;
            yellow2 <= 1'b0;
            green2 <= 1'b0;
            left2 <= 1'b0;
            if (count == 20) begin
                next_state = STATE_EW_GREEN;
                count = 0;
            end else begin
                next_state = STATE_NS_BLINK_YELLOW;
            end
        end
        STATE_EW_BLINK_YELLOW: begin
            red1 <= 1'b1;
            yellow1 <= 1'b0;
            green1 <= 1'b0;
            left1 <= 1'b0;
            red2 <= 1'b0;
            yellow2 <= 1'b1;
            green2 <= 1'b0;
            left2 <= 1'b0;
            if (count == 20) begin
                next_state = STATE_NS_GREEN;
                count = 0;
            end else begin
                next_state = STATE_EW_BLINK_YELLOW;
            end
        end
    endcase
end

endmodule