EDA设计技术 杨光永 凌永发 第5章 行为建模新.pptVIP

5.8.1交通灯演示模型 （1）采用initial语句初始化Red、Yellow和Green灯，零时刻开始为熄灭状态： initial Red = off; initial Yellow = off; initial Green = off; 交通灯演示 （2）采用always语句块描述Red、Yellow和Green灯的过程控制，形如“Red = on;”的阻塞式赋值语句与任务light结合，实现交通灯的亮灭控制和延时控制。 always begin // 交通灯的过程控制 Red = on; // 红灯亮 light(Red, Red_tics); // 延时控制 Yellow = on; // 黄灯亮 light(Yellow, Yellow_tics); //延时控制 Green = on; // 绿灯亮 light(Green, Green_tics); // 延时控制 end 交通灯演示 （3）由forever语句生