用verilog实现交通信号灯,可以红黄绿灯转换,可以计时,可以清零verilog