【状态机FSM 序列检测 饮料机_2023.12.1】

2023-12-10 08:45

本文主要是介绍【状态机FSM 序列检测 饮料机_2023.12.1】,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

同步状态机

概念

同步状态机(同一脉冲边沿触发):有限个离散状态及某状之间的转移
异步状态机无法综合

分类

Moore状态机 只和状态有关,与输入无关
Mealy状态机 和状态和输入都有关
Mealy型比Moore型少一个状态

结构

由状态寄存器(触发器)作为状态记忆部件
仅当触发信号到达时刻才可能发生状态改变
n个触发器,最多2^n个状态

三要素

状态——状态方程
输出——输出方程
输入——驱动方程

状态分配

二进制码:触发器少/多个比特位改变,易产生毛刺
gray码:一个比特位改变/状态改变必须依序改变
独热码(001 010 100):n个状态n个触发器,高速/电路较大
三段式three always最佳

设计步骤

1.分析输入输出端口信号
2.状态说明与状态转移图
3.根据状态转移图进行Verilog语言描述

  1. 输入输出端口声明
  2. 现态和次态声明:reg[x:0]state,next_state;
  3. 给状态定义常量:parameter s0=3'd0,s1=3'd1......
  4. 现态与次态转变:always@(posedge clk or negedge rst_n)begin if(!rst_n) state<=s0; else state<=next_state; end
  5. 状态转移说明:always@(posedge clk)begin case(state)…endcase end
  6. 输出说明

4.测试代码编写,仿真

序列检测

代码

在这里插入图片描述
in输入:01010‘1011011’0
在这里插入图片描述

结果

当next_state为s9时,out置为1
在这里插入图片描述

自动售饮料机

要求

2.5元/瓶,硬币有0.5和1.0两种,考虑找零

设计

s0-0元
s1-0.5元
s2-1元
s3-1.5元
s4-2元
s5-2.5元
s6-3元
s0状态下,start=1,若检测到投币,一次新的售货操作开始
s1/s2/s3/s4状态下,若检测到cancel=1,取消操作,状态返回s0,并退回相应的币值
s5状态下,卖出饮料不找零;s6状态下,卖出饮料并找零;
s5/s6状态下,操作完成后,都返回s0
只有在s0状态下,hold=0,可发起新一轮操作,其它状态下都为1
在这里插入图片描述

实现

在这里插入图片描述
依次投入硬币:1,1,0,5,1,cancel置1
在这里插入图片描述
在这里插入图片描述

这篇关于【状态机FSM 序列检测 饮料机_2023.12.1】的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

Python如何实现PDF隐私信息检测

《Python如何实现PDF隐私信息检测》随着越来越多的个人信息以电子形式存储和传输,确保这些信息的安全至关重要,本文将介绍如何使用Python检测PDF文件中的隐私信息,需要的可以参考下... 目录项目背景技术栈代码解析功能说明运行结php果在当今,数据隐私保护变得尤为重要。随着越来越多的个人信息以电子形

最长公共子序列问题的深度分析与Java实现方式

《最长公共子序列问题的深度分析与Java实现方式》本文详细介绍了最长公共子序列(LCS)问题,包括其概念、暴力解法、动态规划解法,并提供了Java代码实现,暴力解法虽然简单,但在大数据处理中效率较低,... 目录最长公共子序列问题概述问题理解与示例分析暴力解法思路与示例代码动态规划解法DP 表的构建与意义动

关于最长递增子序列问题概述

《关于最长递增子序列问题概述》本文详细介绍了最长递增子序列问题的定义及两种优化解法:贪心+二分查找和动态规划+状态压缩,贪心+二分查找时间复杂度为O(nlogn),通过维护一个有序的“尾巴”数组来高效... 一、最长递增子序列问题概述1. 问题定义给定一个整数序列,例如 nums = [10, 9, 2

SpringBoot使用Apache Tika检测敏感信息

《SpringBoot使用ApacheTika检测敏感信息》ApacheTika是一个功能强大的内容分析工具,它能够从多种文件格式中提取文本、元数据以及其他结构化信息,下面我们来看看如何使用Ap... 目录Tika 主要特性1. 多格式支持2. 自动文件类型检测3. 文本和元数据提取4. 支持 OCR(光学

综合安防管理平台LntonAIServer视频监控汇聚抖动检测算法优势

LntonAIServer视频质量诊断功能中的抖动检测是一个专门针对视频稳定性进行分析的功能。抖动通常是指视频帧之间的不必要运动,这种运动可能是由于摄像机的移动、传输中的错误或编解码问题导致的。抖动检测对于确保视频内容的平滑性和观看体验至关重要。 优势 1. 提高图像质量 - 清晰度提升:减少抖动,提高图像的清晰度和细节表现力,使得监控画面更加真实可信。 - 细节增强:在低光条件下,抖

烟火目标检测数据集 7800张 烟火检测 带标注 voc yolo

一个包含7800张带标注图像的数据集,专门用于烟火目标检测,是一个非常有价值的资源,尤其对于那些致力于公共安全、事件管理和烟花表演监控等领域的人士而言。下面是对此数据集的一个详细介绍: 数据集名称:烟火目标检测数据集 数据集规模: 图片数量:7800张类别:主要包含烟火类目标,可能还包括其他相关类别,如烟火发射装置、背景等。格式:图像文件通常为JPEG或PNG格式;标注文件可能为X

uva 10131 最长子序列

题意: 给大象的体重和智商,求体重按从大到小,智商从高到低的最长子序列,并输出路径。 代码: #include <iostream>#include <cstdio>#include <cstdlib>#include <algorithm>#include <cstring>#include <cmath>#include <stack>#include <vect

基于 YOLOv5 的积水检测系统:打造高效智能的智慧城市应用

在城市发展中,积水问题日益严重,特别是在大雨过后,积水往往会影响交通甚至威胁人们的安全。通过现代计算机视觉技术,我们能够智能化地检测和识别积水区域,减少潜在危险。本文将介绍如何使用 YOLOv5 和 PyQt5 搭建一个积水检测系统,结合深度学习和直观的图形界面,为用户提供高效的解决方案。 源码地址: PyQt5+YoloV5 实现积水检测系统 预览: 项目背景

JavaFX应用更新检测功能(在线自动更新方案)

JavaFX开发的桌面应用属于C端,一般来说需要版本检测和自动更新功能,这里记录一下一种版本检测和自动更新的方法。 1. 整体方案 JavaFX.应用版本检测、自动更新主要涉及一下步骤: 读取本地应用版本拉取远程版本并比较两个版本如果需要升级,那么拉取更新历史弹出升级控制窗口用户选择升级时,拉取升级包解压,重启应用用户选择忽略时,本地版本标志为忽略版本用户选择取消时,隐藏升级控制窗口 2.