基于Verilog HDL的交通灯控制器设计