用Verilog HDL描述的交通灯报告。