用Verilog语言描述交通灯控制,包括工程文件,可在FPGA上硬件实现