基于verilog的交通灯设计(状态机)