标签： 交通灯控制器的verilog实现