基于verilog的交通灯的设计