基于EDA的交通灯控制系统设计