EDA:Verilog1、当步行街上的行人要穿过主干道是，通过设置的按钮发出请求；（LED1车行道黄灯、LED2车行道红灯、LED1车行道绿灯；LED6人行道黄灯，LED7人行道红灯，LED8人行道绿灯）2、按钮被按下时，车行道变为黄灯闪烁，设置计数器计时时间3秒；3、计时结束，车行道变为红灯、人行道绿灯，计数器继续计时（计时时间为30秒），在30秒内若有人再次按按钮（S5），计数器不重新计时（数码管7-数码管8显示倒计时30秒）；4、人行道黄灯时间为5秒（LED6闪烁），5秒后车行道道变为绿灯、人行道红灯，车辆通行。在30秒内行人按钮无效。通行时间超过30秒后，若有行人按下按钮，则回到（2）；

5、当车行道绿灯通行时间超过30秒时，LED2车行道红灯亮起，LED1车行道绿灯熄灭，人行道红灯亮起，人行道绿灯熄灭，车辆停止通行；6、当人行道绿灯通行时间超过30秒时，LED8人行道绿灯熄灭，LED7人行道红灯亮起，车行道绿灯亮起，车辆通行，人行道禁止通行。

以上是对步行街交通灯控制的Verilog代码设计要求，需要通过编写Verilog代码实现。在实现代码过程中，需要考虑各种情况的处理和控制，确保交通灯的正常运行和安全通行。同时，还需要通过模拟测试验证程序的正确性和可靠性，确保程序能够满足要求。