数字电路EDA实验中，交通灯的程序代码。设计一个十字路口交通灯控制系统。（1）东西（用A表示）、南北（用B表示）方向均有红灯、黄灯、红灯指示，其持续时间分别是20秒、5秒和15秒。正常工作模块整个过程用有限元状态机描述，状态描述如下：A方向绿灯亮，B方向红灯亮，此状态持续15秒时间；A方向黄灯亮，B方向红灯亮，此状态持续5秒时间；A方向红灯亮，B方向绿灯亮，此状态持续15秒时间；A方向红灯亮，B方向黄灯亮，此状态持续5秒时间；（2）系统设有时钟，以倒计时方式显示每一路口允许通过的时间。（3）当东西或南北两路中任意一路出现特殊情况时，系统可由交警手动控制立即进入特殊运行状态，即红灯全亮，时钟停止倒计时。东西，南北两路所有车辆停止通行；当特殊