User manual

exp1_traffic.v (4/5)
7
// 7-segment Displays
always@(*) begin
case(countdown)
7'd0: next_HEX0 = 7'b1000000;
7'd1: next_HEX0 = 7'b1111001;
7'd2: next_HEX0 = 7'b0100100;
7'd3: next_HEX0 = 7'b0110000;
7'd4: next_HEX0 = 7'b0011001;
7'd5: next_HEX0 = 7'b0010010;
7'd6: next_HEX0 = 7'b0000010;
7'd7: next_HEX0 = 7'b1111000;
7'd8: next_HEX0 = 7'b0000000;
7'd9: next_HEX0 = 7'b0010000;
default: next_HEX0 = 7'b1111111;
endcase
end
Cover every possible branch.