用verilog语言编写交通灯程序