module traffic_light( input clk, output reg n_s_red, output reg n_s_yellow, output reg n_s_green, output reg e_w_red, output reg e_w_yellow, output reg e_w_green); reg [2:0] state; // 定义状态 parameter S_NS_RED_EW_GREEN = 3'b000; parameter S_NS_YELLOW_EW_RED = 3'b001; parameter S_NS_GREEN_EW_RED = 3'b010; parameter S_NS_RED_EW_YELLOW = 3'b011; always @(posedge clk) begin case (state) S_NS_RED_EW_GREEN: begin n_s_red <= 1; n_s_yellow <= 0; n_s_green <= 0; e_w_red <= 0; e_w_yellow <= 1; e_w_green <= 0; #3 state <= S_NS_YELLOW_EW_RED; end S_NS_YELLOW_EW_RED: begin n_s_red <= 1; n_s_yellow <= 1; n_s_green <= 0; e_w_red <= 0; e_w_yellow <= 0; e_w_green <= 0; #1 state <= S_NS_GREEN_EW_RED; end S_NS_GREEN_EW_RED: begin n_s_red <= 0; n_s_yellow <= 0; n_s_green <= 1; e_w_red <= 1; e_w_yellow <= 0; e_w_green <= 0; #3 state <= S_NS_RED_EW_YELLOW; end S_NS_RED_EW_YELLOW: begin n_s_red <= 1; n_s_yellow <= 0; n_s_green <= 0; e_w_red <= 1; e_w_yellow <= 1; e_w_green <= 0; #1 state <= S_NS_RED_EW_GREEN; end endcase end // 初始状态 initial begin state <= S_NS_RED_EW_GREEN; endendmodule，为这段代码编写仿真代码，在vivado上运行

好的，以下是一个简单的Vivado仿真测试程序，用于验证您的代码逻辑是否正确：

`timescale 1ns / 1ns

module testbench;

  // 定义输入和输出端口
  reg clk;
  reg n_s_red, n_s_yellow, n_s_green, e_w_red, e_w_yellow, e_w_green;

  // 实例化被测试的模块
  traffic_light dut(
    .clk(clk),
    .n_s_red(n_s_red),
    .n_s_yellow(n_s_yellow),
    .n_s_green(n_s_green),
    .e_w_red(e_w_red),
    .e_w_yellow(e_w_yellow),
    .e_w_green(e_w_green)
  );

  // 定义仿真时钟
  always #5 clk = ~clk;

  // 测试交通灯状态转换
  initial begin
    clk = 0;
    #5; // 等待5个时钟周期
    if (n_s_red !== 1 || n_s_yellow !== 0 || n_s_green !== 0 || e_w_red !== 0 || e_w_yellow !== 1 || e_w_green !== 0) $display("Test failed!"); // 检查状态是否正确
    else $display("NS_RED_EW_GREEN passed!"); // 输出测试通过信息
    #3; // 等待3个时钟周期
    if (n_s_red !== 1 || n_s_yellow !== 1 || n_s_green !== 0 || e_w_red !== 0 || e_w_yellow !== 0 || e_w_green !== 0) $display("Test failed!"); // 检查状态是否正确
    else $display("NS_YELLOW_EW_RED passed!"); // 输出测试通过信息
    #1; // 等待1个时钟周期
    if (n_s_red !== 0 || n_s_yellow !== 0 || n_s_green !== 1 || e_w_red !== 1 || e_w_yellow !== 0 || e_w_green !== 0) $display("Test failed!"); // 检查状态是否正确
    else $display("NS_GREEN_EW_RED passed!"); // 输出测试通过信息
    #3; // 等待3个时钟周期
    if (n_s_red !== 1 || n_s_yellow !== 0 || n_s_green !== 0 || e_w_red !== 1 || e_w_yellow !== 1 || e_w_green !== 0) $display("Test failed!"); // 检查状态是否正确
    else $display("NS_RED_EW_YELLOW passed!"); // 输出测试通过信息
    $finish; // 终止仿真
  end

endmodule

请将上述代码保存为 `.v` 文件，并在 Vivado 中创建仿真文件。在仿真文件中添加该测试程序，并运行仿真即可。