三段式moore状态机实现典型交通灯

2023-10-21 20:10

本文主要是介绍三段式moore状态机实现典型交通灯,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

交通灯说明

作为IC/FPGA应聘者,交通灯的verilog设计是必须掌握的基本技能。本文以典型交通灯为例,即在主干道和支路相交的十字路口,主干道具有较高优先级。首先,应该明确:
【1】除红灯外,其他有效灯转为另一个状态,中间都应设定黄灯作为缓冲,如:交通灯由绿灯转为左拐灯之前,应该有一段黄灯作为缓冲段,同理,如果左拐灯转为红灯,也应设定黄灯作为缓冲段;
【2】主干道处于红灯时,支路应处于非红灯的其他几个状态的转换过程,支路处于红灯时,主干道同理;
本文假定灯的状态包括:绿灯、黄灯、左拐,主干道绿灯亮40s,支路绿灯亮30s,画出各灯状态转换及亮的时间如下:
在这里插入图片描述

图1 典型交通灯状态转换示意图

FSM建模

本交通灯没有外部输入信号,内部各个状态的转换与外界无关,按照图1 的时序,上一个状态结束(即亮灯的时间到),就跳入下一个状态,如此循环。故,设定一个计数器,对每一段状态按照既定的时长计时,在计数到最后1次时,产生状态跳转条件。本设计巧妙利用这一点,所有状态共用一个计数器,完成状态转换条件的产生。最后,在各个状态下,点亮相应的灯(即输出),因为输出只与当前状态有关,故交通灯采用moore状态机描述。同时,采用典型三段式FSM的描述方式,代码通俗易懂。
交通灯的三段式moore_FS描述如下:

module transport_lamp # (parameter L_WID = 4 	 	// 灯的个数
)(input 	clk ,input 	rst_n ,// input 	start , 	 	 	 	 	// 触发信号output 	[L_WID - 1 : 0] m_lamp , 	// 主干道从高到低分别表示:绿、黄、左、红output	[L_WID - 1 : 0] s_lamp 	 	// 同上
);//-----------------------------功能说明------------------------------//
// 本交通灯描述经典交通灯,主干道和支干道各
// 主干道:绿(40s)黄(5s)左(15s)黄(5s) | 红(55s)----------------------
// 支干道:红(65s)------------------------| 绿(30s)黄(5s)左(15sÿ

这篇关于三段式moore状态机实现典型交通灯的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/256697

相关文章

python使用watchdog实现文件资源监控

《python使用watchdog实现文件资源监控》watchdog支持跨平台文件资源监控,可以检测指定文件夹下文件及文件夹变动,下面我们来看看Python如何使用watchdog实现文件资源监控吧... python文件监控库watchdogs简介随着Python在各种应用领域中的广泛使用,其生态环境也

el-select下拉选择缓存的实现

《el-select下拉选择缓存的实现》本文主要介绍了在使用el-select实现下拉选择缓存时遇到的问题及解决方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的... 目录项目场景:问题描述解决方案:项目场景:从左侧列表中选取字段填入右侧下拉多选框,用户可以对右侧

Python pyinstaller实现图形化打包工具

《Pythonpyinstaller实现图形化打包工具》:本文主要介绍一个使用PythonPYQT5制作的关于pyinstaller打包工具,代替传统的cmd黑窗口模式打包页面,实现更快捷方便的... 目录1.简介2.运行效果3.相关源码1.简介一个使用python PYQT5制作的关于pyinstall

使用Python实现大文件切片上传及断点续传的方法

《使用Python实现大文件切片上传及断点续传的方法》本文介绍了使用Python实现大文件切片上传及断点续传的方法,包括功能模块划分(获取上传文件接口状态、临时文件夹状态信息、切片上传、切片合并)、整... 目录概要整体架构流程技术细节获取上传文件状态接口获取临时文件夹状态信息接口切片上传功能文件合并功能小

python实现自动登录12306自动抢票功能

《python实现自动登录12306自动抢票功能》随着互联网技术的发展,越来越多的人选择通过网络平台购票,特别是在中国,12306作为官方火车票预订平台,承担了巨大的访问量,对于热门线路或者节假日出行... 目录一、遇到的问题?二、改进三、进阶–展望总结一、遇到的问题?1.url-正确的表头:就是首先ur

C#实现文件读写到SQLite数据库

《C#实现文件读写到SQLite数据库》这篇文章主要为大家详细介绍了使用C#将文件读写到SQLite数据库的几种方法,文中的示例代码讲解详细,感兴趣的小伙伴可以参考一下... 目录1. 使用 BLOB 存储文件2. 存储文件路径3. 分块存储文件《文件读写到SQLite数据库China编程的方法》博客中,介绍了文

Redis主从复制实现原理分析

《Redis主从复制实现原理分析》Redis主从复制通过Sync和CommandPropagate阶段实现数据同步,2.8版本后引入Psync指令,根据复制偏移量进行全量或部分同步,优化了数据传输效率... 目录Redis主DodMIK从复制实现原理实现原理Psync: 2.8版本后总结Redis主从复制实

JAVA利用顺序表实现“杨辉三角”的思路及代码示例

《JAVA利用顺序表实现“杨辉三角”的思路及代码示例》杨辉三角形是中国古代数学的杰出研究成果之一,是我国北宋数学家贾宪于1050年首先发现并使用的,:本文主要介绍JAVA利用顺序表实现杨辉三角的思... 目录一:“杨辉三角”题目链接二:题解代码:三:题解思路:总结一:“杨辉三角”题目链接题目链接:点击这里

基于Python实现PDF动画翻页效果的阅读器

《基于Python实现PDF动画翻页效果的阅读器》在这篇博客中,我们将深入分析一个基于wxPython实现的PDF阅读器程序,该程序支持加载PDF文件并显示页面内容,同时支持页面切换动画效果,文中有详... 目录全部代码代码结构初始化 UI 界面加载 PDF 文件显示 PDF 页面页面切换动画运行效果总结主

SpringBoot实现基于URL和IP的访问频率限制

《SpringBoot实现基于URL和IP的访问频率限制》在现代Web应用中,接口被恶意刷新或暴力请求是一种常见的攻击手段,为了保护系统资源,需要对接口的访问频率进行限制,下面我们就来看看如何使用... 目录1. 引言2. 项目依赖3. 配置 Redis4. 创建拦截器5. 注册拦截器6. 创建控制器8.