Page 230 - 《软件学报》2021年第6期

1804 Journal of Software 软件学报 Vol.32, No.6, June 2021

具体迁移过程如下.
1) 状态 s 0 :系统关闭时,4 个方向黄灯持续亮;
2) 状态 s 1 :主干道绿灯亮 25s,支干道红灯亮;
3) 状态 s 2 :主干道黄灯亮 5s,支干道红灯亮;
4) 状态 s 3 :主干道红灯亮,支干道绿灯亮 25s;
5) 状态 s 4 :主干道红灯亮,支干道黄灯亮 5s.
5.2 V2M工具转换
在分析了信号灯控制系统功能需求之后,利用 Verilog 代码对秒脉冲发生模块、分频计时器模块、状态控
制模块进行功能描述,描述后的顶层代码如图 5 所示,全部代码在附录 1 中可以查看.

Fig.5 The top-level code of the signal light control system
图 5 信号灯控制系统顶层代码

通过命令./v2m.exe signal_light_top.v signal_light_top.m 调用 V2M 工具,将 Verilog 代码转换成 MSVL 代码,
得到 signal_light_top.m.得到的部分 MSVL 代码如图 6 所示,全部 MSVL 代码可以在附录 2 中查看.

Fig.6 MSVL code of the signal light control system
图 6 信号灯控制系统的 MSVL 代码