Digital System Design – Traffic Signal Controller (Verilog FSM)