verilog交通灯设计与实现