Testbench Code
`timescale 1ns/1ps
module tb_brake_light;
    // Input
    reg brake_pedal;
    // DUT output
    wire brake_light;
    // Expected (prefixed expected_)
    wire expected_brake_light;
    // Mismatch signal
    reg mismatch;
    wire mismatch_w = (brake_light !== expected_brake_light);
    // Counters
    integer TOTAL_TEST_CASES        = 0;
    integer TOTAL_PASSED_TEST_CASES = 0;
    integer TOTAL_FAILED_TEST_CASES = 0;
    // VCD control
    integer VCD_MAX_CASES = 32;
    // DUT
    brake_light dut(.brake_pedal(brake_pedal), .brake_light(brake_light));
    // Golden model (no latch, pure comb)
    assign expected_brake_light = (brake_pedal) ? 1'b1 : 1'b0;
    // VCD dump (ordered: Inputs → Outputs → Expected → Mismatch)
    initial begin
        $dumpfile("tb_brake_light.vcd");
        $dumpvars(0,
            tb_brake_light.brake_pedal,         // Input
            tb_brake_light.brake_light,         // DUT output
            tb_brake_light.expected_brake_light,// Expected
            tb_brake_light.mismatch             // Mismatch
        );
        $dumpon; // start at time 0
    end
    // Init and header
    initial begin
        brake_pedal = 1'b0;
        mismatch = 1'b0;
        $display("brake_pedal | DUT_brake_light | expected_brake_light | mismatch");
        $display("---------------------------------------------------------------");
    end
    // Apply + check task
    task apply_and_check;
        input t_pedal;
        begin
            brake_pedal = t_pedal;
            #1; // settle
            mismatch = mismatch_w;
            TOTAL_TEST_CASES++;
            if (!mismatch) TOTAL_PASSED_TEST_CASES++;
            else           TOTAL_FAILED_TEST_CASES++;
            $display("     %b      |        %b         |          %b          |    %0d",
                brake_pedal, brake_light, expected_brake_light, mismatch);
            if (TOTAL_TEST_CASES == VCD_MAX_CASES) $dumpoff;
        end
    endtask
    // Stimulus (full truth table)
    initial begin
        apply_and_check(1'b0);
        apply_and_check(1'b1);
        // Summary
        $display("---------------------------------------------------------------");
        $display("TOTAL_TEST_CASES=%0d", TOTAL_TEST_CASES);
        $display("TOTAL_PASSED_TEST_CASES=%0d", TOTAL_PASSED_TEST_CASES);
        $display("TOTAL_FAILED_TEST_CASES=%0d", TOTAL_FAILED_TEST_CASES);
        $display("ALL_TEST_CASES_PASSED=%s", (TOTAL_FAILED_TEST_CASES==0) ? "true":"false");
        #2 $finish;
    end
endmodule