Verilog hdl implementation of traffic light controller design