verilog使用Mealy电路实现交通灯

 Mealy电路实现十字路口交通灯


源代码链接:http://download.csdn.net/detail/august717/8747577

使用Verilog语言完成十字路口交通灯的设计与实现。用2个手拨开关表示南北向和东西向通道的状态,6个led灯从左到右依次显示A路口红灯,A路口黄灯,A路口绿灯,B路口红灯,B路口黄灯,B路口绿灯,再用一个手拨开关实现复位(高电平有效)。

其中时钟分频为5秒,即每5秒检测一次路口状态,确定灯亮的下一状态。


原理

Mealy Machine

说明 led[5:0] :   A’red  A’yellow  A’green ;  B’red,  B’yellow,  B’ green

        t[1:0]:  TA, TB 

 

状态节点

状态

状态编码

状态输出 :

INI (启动状态)

0000

000_000

S1

0001

001_100

S2

0010

010_100

S3

0100

100_001

S4

1000

100_010

 

 

状态转化

TA TB

 

当前状态

下一状态 / 灯的输出

 


00

01

10

11

S1

S2/010_100

S2/010_100

S1/001_100

S1/001_100

S2

S3/100_001

S3/100_001

S3/100_001

S3/100_001

S3

S4/100_010

S3/100_001

S4/100_010

S3/100_001

S4

S1/001_100

S1/001_100

S1/001_100

S1/001_100

INI

S1/001_100

S1/001_100

S1/001_100

S1/001_100

 

状态转化图



总结Moore电路和Mealy电路

Moore电路的状态结点就表示了输出。而Mealy电路的状态结点仅表示状态,输出在有向边上,和输入用斜杠区分,表示当前输出依赖于有向边的起点和并列的输入值。

一般来说根据实际问题可以灵活选择Moore或者Mealy状态机,看哪一种更接近实际问题的描述。

Mealy状态机在一些情况下会比等价的Moore状态机节点数少一些,但是本次实验交通灯并没有少。针对其他一些问题:

1、画出Moore状态机后可以直接列出表格,也可以进一步转化为Mealy状态机,只要把Moore机中下一状态的输出改变成Mealy机中当前状态的输出,然后再进一步列表格简化Mealy状态机。

2、画出Mealy状态机后可以直接列出表格,进行化简。也可以进一步转化为Moore状态机,只要把现时输出改变为下一时刻输出。当一个状态有多(n)个输出时,需要将该状态拆分为多(n)个状态。

e.g


                                                               Mealy型机转换为Moore型机

如上图所示,把Mealy型机转换为Moore型机,只要把现时输出改变为下一时刻输出。对于状态A,有4个箭头指向它,表示在当前状态下有4个状态可以转换为下一状态的A;同时当前输出均为0,可以把0移入状态A内部,表示在Moore机中状态A的输出为0。同理,可以把0分别移位B/C状态。但对于状态D,有两个箭头指向且具有不同的输出值,需要把状态D分解成两个状态D1和D2(每个状态对应一个输出,当输出不同需要利用不同的状态表示,这即是Moore机具有更多状态的原因),得到完整的Moore机状态模型。

同理,若把上图的Moore机转换为Mealy机,只要把Moore机中下一状态的输出改变成Mealy机中当前状态的输出,由于D1/D2两状态处于A/C两状态之间,且相当于A/C节点之间的一个等效节点,可以把D1/D2两状态合并为一个状态。

 

参考资料:

http://blog.sina.com.cn/s/blog_78699cbf01016mvt.html

http://www.eefocus.com/alvin1130/blog/12-01/236722_9a984.html

http://wenku.baidu.com/link?url=KPstJgatFudWA0erLG52UYAZTJgLli9Y5LqZ_6UgF01pnAJd3xnIFfZKJLdwH_YL6R1JxhEhoj3SyWxKlqwM15PE50BgllTqUE1oWGckOzG

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值