traffic_tb.sv

module traffic_tb;

logic clk = 1'b0;
logic rst;

always #5e8 clk = ~clk; // 1Гц

logic button;
logic red;
logic yellow;
logic green;

traffic_light tb (
    .clk(clk),
    .rst(rst),
    .button(button),

    .red(red),
    .yellow(yellow),
    .green(green)
);

initial begin
    rst = 1'b1; button = 1'b0; //Обнуление
    #1e9
    rst = 1'b0;
    #90e9
    button = 1'b1; //Нажатие через 90 сек после начала
    #1e9
    button = 1'b0;
    #45e9
    button = 1'b1; //Нажатие меньше чем через 60 сек после вкл. зеленого
    #1e9
    button = 1'b0;
    #150e9
    button = 1'b1; //Нажатие больше чем через 60 сек после вкл. зеленого
    #1e9
    button = 1'b0;
    #15e9
    button = 1'b1; //Нажатие при горящем красном
    #1e9
    button = 1'b0;
    #90e9 //Ожидание
    $finish();
end

endmodule