交通灯控制器的Verilog程序