利用verilog编写的交通等系统程序，包括有状态机和无状态机的情况，并包含测试代码。