注意几点:
复位后会有2clk的延迟
只有绿灯时候pass_request才有效,第一次写的时候把红黄也考虑进去了,导致一直通过不了
计数器不一定用ifelse嵌套,可以用case来实现状态机中多状态下的计数器cnt