基于verilog的交通灯,带有测试激励。