交通灯控制系统,用VERLOG来实现。验证成功