三段式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

相关文章

基于C++的UDP网络通信系统设计与实现详解

《基于C++的UDP网络通信系统设计与实现详解》在网络编程领域,UDP作为一种无连接的传输层协议,以其高效、低延迟的特性在实时性要求高的应用场景中占据重要地位,下面我们就来看看如何从零开始构建一个完整... 目录前言一、UDP服务器UdpServer.hpp1.1 基本框架设计1.2 初始化函数Init详解

Java中Map的五种遍历方式实现与对比

《Java中Map的五种遍历方式实现与对比》其实Map遍历藏着多种玩法,有的优雅简洁,有的性能拉满,今天咱们盘一盘这些进阶偏基础的遍历方式,告别重复又臃肿的代码,感兴趣的小伙伴可以了解下... 目录一、先搞懂:Map遍历的核心目标二、几种遍历方式的对比1. 传统EntrySet遍历(最通用)2. Lambd

springboot+redis实现订单过期(超时取消)功能的方法详解

《springboot+redis实现订单过期(超时取消)功能的方法详解》在SpringBoot中使用Redis实现订单过期(超时取消)功能,有多种成熟方案,本文为大家整理了几个详细方法,文中的示例代... 目录一、Redis键过期回调方案(推荐)1. 配置Redis监听器2. 监听键过期事件3. Redi

SpringBoot全局异常拦截与自定义错误页面实现过程解读

《SpringBoot全局异常拦截与自定义错误页面实现过程解读》本文介绍了SpringBoot中全局异常拦截与自定义错误页面的实现方法,包括异常的分类、SpringBoot默认异常处理机制、全局异常拦... 目录一、引言二、Spring Boot异常处理基础2.1 异常的分类2.2 Spring Boot默

基于SpringBoot实现分布式锁的三种方法

《基于SpringBoot实现分布式锁的三种方法》这篇文章主要为大家详细介绍了基于SpringBoot实现分布式锁的三种方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、基于Redis原生命令实现分布式锁1. 基础版Redis分布式锁2. 可重入锁实现二、使用Redisso

SpringBoo WebFlux+MongoDB实现非阻塞API过程

《SpringBooWebFlux+MongoDB实现非阻塞API过程》本文介绍了如何使用SpringBootWebFlux和MongoDB实现非阻塞API,通过响应式编程提高系统的吞吐量和响应性能... 目录一、引言二、响应式编程基础2.1 响应式编程概念2.2 响应式编程的优势2.3 响应式编程相关技术

C#实现将XML数据自动化地写入Excel文件

《C#实现将XML数据自动化地写入Excel文件》在现代企业级应用中,数据处理与报表生成是核心环节,本文将深入探讨如何利用C#和一款优秀的库,将XML数据自动化地写入Excel文件,有需要的小伙伴可以... 目录理解XML数据结构与Excel的对应关系引入高效工具:使用Spire.XLS for .NETC

Nginx更新SSL证书的实现步骤

《Nginx更新SSL证书的实现步骤》本文主要介绍了Nginx更新SSL证书的实现步骤,包括下载新证书、备份旧证书、配置新证书、验证配置及遇到问题时的解决方法,感兴趣的了解一下... 目录1 下载最新的SSL证书文件2 备份旧的SSL证书文件3 配置新证书4 验证配置5 遇到的http://www.cppc

Nginx之https证书配置实现

《Nginx之https证书配置实现》本文主要介绍了Nginx之https证书配置的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起... 目录背景介绍为什么不能部署在 IIS 或 NAT 设备上?具体实现证书获取nginx配置扩展结果验证

SpringBoot整合 Quartz实现定时推送实战指南

《SpringBoot整合Quartz实现定时推送实战指南》文章介绍了SpringBoot中使用Quartz动态定时任务和任务持久化实现多条不确定结束时间并提前N分钟推送的方案,本文结合实例代码给大... 目录前言一、Quartz 是什么?1、核心定位:解决什么问题?2、Quartz 核心组件二、使用步骤1