VHDL有限状态机(单进程,双进程)交通灯示例

2024-01-13 08:08

本文主要是介绍VHDL有限状态机(单进程,双进程)交通灯示例,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

Finite State Machine有限状态机

它的逻辑流程图是:

注意!“当前状态”和“下一状态”的位置,我们将在下文的交通灯示例中理解。

设计要求:

--我们要设计一个十字路口的交通灯,就两个按钮,东西方向一个(sensor2),南北方向一个(sensor)。流程就是,东西方向为红灯,南北在走人,
--这时候东西方向的人想过马路,按下sensor2,然后红变绿,东西走,南北停。然后南北的人想过马路,按下sensor,灯就由绿变黄再变红。
--整体上这个逻辑不是很严谨,放在这里只是举个例子。

下图为状态流程图:

我把注释写在代码中了,请参悟下文的代码。本实验用的是ModelSim软件,VHDL语言。他一般有两个文件,一个是硬件配置文件(df.vhd)用来写你设计的硬件的结构的。第二个是硬件测试文件(testbench,也就是tb.vhd),是用来设置仿真参数,用来仿真的。补充:因为本实验只用了状态机,所以就是一个硬件配置文件。但是,在往后的综合实验中,我们会用状态机与寄存器等其他硬件综合使用,所以要单独把状态机拿出来进行配置(df_state.vhd),这个就相当于库函数,然后在主函数(df.vhd)中再多写一行:

USE work.state_machine_package.all

进行调用,所以,它相当于三个文件了。

就是写上文的下行即可。

不多墨迹了,见代码(df.vhd)

--我们要设计一个十字路口的交通灯,就两个按钮,东西方向一个(sensor2),南北方向一个(sensor)。流程就是,东西方向为红灯,南北在走人,
--这时候东西方向的人想过马路,按下sensor2,然后红变绿,东西走,南北停。然后南北的人想过马路,按下sensor,灯就由绿变黄再变红。
--整体上这个逻辑不是很严谨,放在这里只是举个例子。-- single Process FSM 单进程的有限状态机
library IEEE;
use IEEE.STD_LOGIC_1164.ALL;
use IEEE.STD_LOGIC_ARITH.ALL;
use IEEE.STD_LOGIC_SIGNED.ALL;Entity Traffic_light isport(sensor : in std_logic;sensor2: in std_logic;rst	: in std_logic;clk	: in std_logic;red_light: out std_logic;green_light: out std_logic;yellow_light : out std_logic);
end entity;Architecture one_process of  Traffic_light is		--结构设定,one_process是本process的名字,一般情况下,状态机我们用一个process就够了type statetype is (red,green,yellow)           --type 是状态(圆圈),有多少个圆圈,括号里就写多少个名字;它们三个的功能就像HIGH/LOW一样,表示状态signal state : statetype;						--这里只设置了一个叫“state”的信号,它既不是输入也不是输出,表示的只是当前信号的状态begin
-- synchronous resetprocess(clk,rst)beginif rising_edge (clk) then    --CLK 上升沿触发red_light <= '1';green_light <= '0';     --这是初始设置,红灯状态yellow_light <= '0';if rst= '0' thenstate <= red;   	--如果RST复位键没有触发,那么就把红灯状态给当前状态;也可以理解为保存红灯亮elsecase state is			--注意!!!state状态设定这里只能用case,不能用ifwhen red =>			--若为状态红灯red_light <= '1';yellow_light <= '0';green_light <= '0';if sensor = '1' then		--如果按钮sensor被按下(1),那么state <= green;			--将绿灯亮的状态给”当前状态“green_light <= '1';     --绿灯亮,红灯灭red_light <= '0';elsestate <= red;			--否则的话,红灯给“当前状态”,也就是保持的意思end if;						--不要忘了end ifwhen green => 		--若状态为绿灯if sensor2 = '1' then			--如果按钮2,sensor2被按下,那么state <= yellow;			--把黄灯亮的状态给“当前状态”yellow_light <= '1';		--黄灯亮,绿灯灭green_light <= '0';else 							--否则保持绿灯亮state <= green;end if;when yellow =>		--若状态为黄灯state <= red;				--因为黄灯的下一步肯定是变红灯,所以在这就把红灯状态给“当前状态”red_light <= '1';			--红灯亮,黄灯灭yellow_light <= '0';end case;end if;end if;end process;
end one_process;

差不多懂了吧?上文的测试代码我就不写了,有兴趣的同学可以自己测试。

下面是双进程结构代码,还是以上文相同的状态逻辑流程图为例。


library IEEE;
use IEEE.STD_LOGIC_1164.ALL;
use IEEE.STD_LOGIC_ARITH.ALL;
use IEEE.STD_LOGIC_SIGNED.ALL;entity Traffic_light is
end entity;Architecture dual_process_B of  Traffic_light is		type statetype is (red,green,yellow)           signal current_state, next_state : statetype; --请看我画的流程图,在这我定义两个状态(当前状态,下一状态)begindecoding: process(current_state, sensor)beginred_light <= '1'; --开始是红灯亮green_light <= '0';yellow_light <= '0';case current_state is --当前状态设置when red =>					--若为红灯状态,若检测到开关1按下,则把“绿灯亮”给下一状态if sensor = '1' thennext_state <= green;end if;								--若没按开关,那就保持红灯red_light <= '1';	when green =>				--若为绿灯状态,把黄灯给下一状态,并点亮绿灯next_state <= yellow;		--(逻辑不严谨,为了简单的举例才这么写的,具体流程图请见上文的手画的状态逻辑流程图)green_light <= '1';when yellow =>			--若为黄灯状态,下一状态为红灯,且黄灯点亮next_state <= red;yellow_light <= '1';end case;end process;state_register: process(clk,rst)--设置时钟进程beginif rising_edge (clk) then		--上升沿触发if rst = '1' thencurrent_state <= red;		--等复位键置1,就红灯亮(开始仿真)elsecurrent_state <= next_state;	--否则就继续循环等待end if;end if;end process;end dual_process_B;

这是我的课堂笔记,题目是老师随便的,他说逻辑有错的,我改对了。放到这就是加深理解的,学VHDL就应该多悟,多写,抄我代码没有任何意义,随便抄,您开心就好。

这篇关于VHDL有限状态机(单进程,双进程)交通灯示例的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Linux kill正在执行的后台任务 kill进程组使用详解

《Linuxkill正在执行的后台任务kill进程组使用详解》文章介绍了两个脚本的功能和区别,以及执行这些脚本时遇到的进程管理问题,通过查看进程树、使用`kill`命令和`lsof`命令,分析了子... 目录零. 用到的命令一. 待执行的脚本二. 执行含子进程的脚本,并kill2.1 进程查看2.2 遇到的

详解SpringBoot+Ehcache使用示例

《详解SpringBoot+Ehcache使用示例》本文介绍了SpringBoot中配置Ehcache、自定义get/set方式,并实际使用缓存的过程,文中通过示例代码介绍的非常详细,对大家的学习或者... 目录摘要概念内存与磁盘持久化存储:配置灵活性:编码示例引入依赖:配置ehcache.XML文件:配置

Java高效实现PowerPoint转PDF的示例详解

《Java高效实现PowerPoint转PDF的示例详解》在日常开发或办公场景中,经常需要将PowerPoint演示文稿(PPT/PPTX)转换为PDF,本文将介绍从基础转换到高级设置的多种用法,大家... 目录为什么要将 PowerPoint 转换为 PDF安装 Spire.Presentation fo

Python中isinstance()函数原理解释及详细用法示例

《Python中isinstance()函数原理解释及详细用法示例》isinstance()是Python内置的一个非常有用的函数,用于检查一个对象是否属于指定的类型或类型元组中的某一个类型,它是Py... 目录python中isinstance()函数原理解释及详细用法指南一、isinstance()函数

python中的高阶函数示例详解

《python中的高阶函数示例详解》在Python中,高阶函数是指接受函数作为参数或返回函数作为结果的函数,下面:本文主要介绍python中高阶函数的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录1.定义2.map函数3.filter函数4.reduce函数5.sorted函数6.自定义高阶函数

Vue实现路由守卫的示例代码

《Vue实现路由守卫的示例代码》Vue路由守卫是控制页面导航的钩子函数,主要用于鉴权、数据预加载等场景,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着... 目录一、概念二、类型三、实战一、概念路由守卫(Navigation Guards)本质上就是 在路

JAVA实现Token自动续期机制的示例代码

《JAVA实现Token自动续期机制的示例代码》本文主要介绍了JAVA实现Token自动续期机制的示例代码,通过动态调整会话生命周期平衡安全性与用户体验,解决固定有效期Token带来的风险与不便,感兴... 目录1. 固定有效期Token的内在局限性2. 自动续期机制:兼顾安全与体验的解决方案3. 总结PS

C#中通过Response.Headers设置自定义参数的代码示例

《C#中通过Response.Headers设置自定义参数的代码示例》:本文主要介绍C#中通过Response.Headers设置自定义响应头的方法,涵盖基础添加、安全校验、生产实践及调试技巧,强... 目录一、基础设置方法1. 直接添加自定义头2. 批量设置模式二、高级配置技巧1. 安全校验机制2. 类型

Python屏幕抓取和录制的详细代码示例

《Python屏幕抓取和录制的详细代码示例》随着现代计算机性能的提高和网络速度的加快,越来越多的用户需要对他们的屏幕进行录制,:本文主要介绍Python屏幕抓取和录制的相关资料,需要的朋友可以参考... 目录一、常用 python 屏幕抓取库二、pyautogui 截屏示例三、mss 高性能截图四、Pill

Java中的Schema校验技术与实践示例详解

《Java中的Schema校验技术与实践示例详解》本主题详细介绍了在Java环境下进行XMLSchema和JSONSchema校验的方法,包括使用JAXP、JAXB以及专门的JSON校验库等技术,本文... 目录1. XML和jsON的Schema校验概念1.1 XML和JSON校验的必要性1.2 Sche