verilog写的交通灯,已经仿真,实现了。并且下载到xilinx的开发板work了