EDA交通灯课程设计(带有测试平台tes