用verilog写的交通灯模块，在quartusII上仿真正确。