0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看威廉希尔官方网站 视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

FPGA:状态机简述

FPGA开源工作室 来源:FPGA开源工作室 作者:FreeZynq 2020-11-05 17:58 次阅读

本文目录

前言

状态机简介

状态机分类
Mealy 型状态机
Moore 型状态机

状态机描述
一段式状态机
二段式状态机
三段式状态机

状态机优缺点

总结

扩展-四段式状态机

01. 前言

状态机是FPGA设计中一种非常重要、非常根基的设计思想,堪称FPGA的灵魂,贯穿FPGA设计的始终。

02. 状态机简介

什么是状态机:状态机通过不同的状态迁移来完成特定的逻辑操作(时序操作)状态机是许多数字系统的核心部件, 是一类重要的时序逻辑电路。通常包括三个部分:
下一个状态的逻辑电路
存储状态机当前状态的时序逻辑电路
输出组合逻辑电路

03. 状态机分类

通常, 状态机的状态数量有限, 称为有限状态机(FSM) 。由于状态机所有触发器的时钟由同一脉冲边沿触发, 故也称之为同步状态机。

根据状态机的输出信号是否与电路的输入有关分为 Mealy 型状态机和 Moore 型状态机

3.1,Mealy 型状态机

电路的输出信号不仅与电路当前状态有关, 还与电路的输入有关

3.2,Moore 型状态机

电路的输出仅仅与各触发器的状态, 不受电路输入信号影响或无输入

状态机的状态转移图, 通常也可根据输入和内部条件画出。一般来说, 状态机的设计包含下列设计步骤:

根据需求和设计原则, 确定是 Moore 型还是 Mealy 型状态机;

分析状态机的所有状态, 对每一状态选择合适的编码方式, 进行编码;

根据状态转移关系和输出绘出状态转移图;

构建合适的状态机结构, 对状态机进行硬件描述。

04. 状态机描述

状态机的描述通常有三种方法, 称为一段式状态机, 二段式状态机和三段式状态机。
状态机的描述通常包含以下四部分:

利用参数定义语句 parameter 描述状态机各个状态名称, 即状态编码。状态编码通常有很多方法包含自然二进制编码, One-hot 编码,格雷编码码等;

用时序的 always 块描述状态触发器实现状态存储;

使用敏感表和 case 语句(也采用 if-else 等价语句) 描述状态转换逻辑;

描述状态机的输出逻辑。

下面根据状态机的三种方法来具体说明

4.1,一段式状态机

1moduledetect_1( 2inputclk_i, 3inputrst_n_i, 4outputout_o 5); 6regout_r; 7//状态声明和状态编码 8reg[1:0]state; 9parameter[1:0]S0=2'b00; 10parameter[1:0]S1=2'b01; 11parameter[1:0]S2=2'b10; 12parameter[1:0]S3=2'b11; 13always@(posedgeclk_i) 14begin 15if(!rst_n_i)begin 16state<=0; 17    out_r<=1'b0; 18  end 19  else 20    case(state) 21      S0 : 22      begin 23        out_r<=1'b0; 24        state<= S1; 25      end 26      S1 : 27      begin 28        out_r<=1'b1; 29        state<= S2; 30      end 31      S2 : 32      begin 33        out_r<=1'b0; 34        state<= S3; 35      end 36      S3 : 37        begin 38        out_r<=1'b1; 39      end 40    endcase 41end 42assign out_o=out_r; 43endmodul 44

一段式状态机是应该避免使用的, 该写法仅仅适用于非常简单的状态机设计。

4.2,两段式状态机

1moduledetect_2( 2inputclk_i, 3inputrst_n_i, 4outputout_o 5); 6regout_r; 7//状态声明和状态编码 8reg[1:0]Current_state; 9reg[1:0]Next_state; 10parameter[1:0]S0=2'b00; 11parameter[1:0]S1=2'b01; 12parameter[1:0]S2=2'b10; 13parameter[1:0]S3=2'b11; 14//时序逻辑:描述状态转换 15always@(posedgeclk_i) 16begin 17if(!rst_n_i) 18Current_state<=0; 19    else 20      Current_state<=Next_state; 21  end 22  //组合逻辑:描述下一状态和输出 23  always@(*) 24  begin 25    out_r=1'b0; 26    case(Current_state) 27      S0 : 28        begin 29          out_r=1'b0; 30          Next_state= S1; 31        end 32      S1 : 33        begin 34          out_r=1'b1; 35          Next_state= S2; 36        end 37      S2 : 38        begin 39          out_r=1'b0; 40          Next_state= S3; 41        end 42      S3 : 43        begin 44          out_r=1'b1; 45          Next_state=Next_state; 46        end 47    endcase 48  end 49  assign out_o = out_r; 50endmodule 51

两段式状态机采用两个 always 模块实现状态机的功能, 其中一个 always 采用同步时序逻辑描述状态转移, 另一个 always 采用组合逻辑来判断状态条件转移。

4.3,三段式状态机

1moduledetect_3( 2inputclk_i, 3inputrst_n_i, 4outputout_o 5); 6regout_r; 7//状态声明和状态编码 8reg[1:0]Current_state; 9reg[1:0]Next_state; 10parameter[1:0]S0=2'b00; 11parameter[1:0]S1=2'b01; 12parameter[1:0]S2=2'b10; 13parameter[1:0]S3=2'b11; 14//时序逻辑:描述状态转换 15always@(posedgeclk_i) 16begin 17if(!rst_n_i) 18Current_state<=0; 19    else 20      Current_state<=Next_state; 21  end 22  //组合逻辑: 描述下一状态 23  always@(*) 24  begin 25    case(Current_state) 26      S0: 27        Next_state = S1; 28      S1: 29        Next_state = S2; 30      S2: 31        Next_state = S3; 32      S3: 33        begin 34          Next_state = Next_state; 35        end 36      default : 37      Next_state = S0; 38    endcase 39  end 40  //输出逻辑: 让输出 out, 经过寄存器 out_r 锁存后输出, 消除毛刺 41  always@(posedge clk_i) 42  begin 43    if(!rst_n_i) 44      out_r<=1'b0; 45    else 46      begin 47        case(Current_state) 48          S0,S2: 49            out_r<=1'b0; 50          S1,S3: 51            out_r<=1'b1; 52          default : 53            out_r<=out_r; 54        endcase 55      end 56  end 57 58  assign out_o=out_r; 59endmodule 60

三段式状态机在第一个 always 模块采用同步时序逻辑方式描述状态转移, 第二个always 模块采用组合逻辑方式描述状态转移规律, 第三个 always 描述电路的输出。通常让输出信号经过寄存器缓存之后再输出, 消除电路毛刺。

05. 状态机优缺点

1、一段式状态机

只涉及时序电路,没有竞争与冒险,同时消耗逻辑比较少。

但是如果状态非常多,一段式状态机显得比较臃肿,不利于维护。

2、两段式状态机

当一个模块采用时序(状态转移),一个模块采用组合时候(状态机输出),组合逻辑电路容易造成竞争与冒险;当两个模块都采用时序,可以避免竞争与冒险的存在,但是整个状态机的时序上会延时一个周期。

两段式状态机是推荐的状态机设计方法。

3、三段式状态机

三段式状态机在状态转移时采用组合逻辑电路+格雷码,避免了组合逻辑的竞争与冒险;状态机输出采用了同步寄存器输出,也可以避免组合逻辑电路的竞争与冒险;采用这两种方法极大的降低了竞争冒险。并且在状态机的采用这种组合逻辑电路+次态寄存器输出,避免了两段式状态机的延时一个周期(三段式状态机在上一状态中根据输入条件判断当前状态的输出,从而在不插入额外时钟节拍的前提下,实现寄存器的输出)。

三段式状态机也是比较推崇的,主要是由于维护方便, 组合逻辑与时序逻辑完全独立。

06. 总结

灵活选择状态机,不一定要拘泥理论,怎样方便怎样来

07.扩展

四段式不是指三个always代码,而是四段程序。使用四段式的写法,可参照明德扬GVIM特色指令Ztj产生的状态机模板。

明·德·扬四段式状态机符合一次只考虑一个因素的设计理念。

第一段代码,照抄格式,完全不用想其他的。

第二段代码,只考虑状态之间的跳转,也就是说各个状态机之间跳转关系。

第三段代码,只考虑跳转条件。

第四段,每个信号逐个设计。

有兴趣的话可以自己去学习一下,或者http://www.mdyedu.com/product/299.html自行看视频

责任编辑:xj

原文标题:FPGA 高手养成记-浅谈状态机

文章出处:【微信公众号:FPGA开源工作室】欢迎添加关注!文章转载请注明出处。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • FPGA
    +关注

    关注

    1628

    文章

    21725

    浏览量

    602913
  • 时钟
    +关注

    关注

    10

    文章

    1733

    浏览量

    131443
  • 状态机
    +关注

    关注

    2

    文章

    492

    浏览量

    27522

原文标题:FPGA 高手养成记-浅谈状态机

文章出处:【微信号:leezym0317,微信公众号:FPGA开源工作室】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    Simulink中的状态机建模方法 Simulink数据可视化与分析功能

    1. Simulink中的状态机建模方法 1.1 理解状态机的基本概念 在开始建模之前,了解状态机的基本概念是必要的。状态机由以下几个部分组成:
    的头像 发表于 12-12 09:27 255次阅读

    触发器和状态机的关系是什么

    触发器和状态机在数字电路设计中有着紧密的关系,它们共同构成了时序逻辑电路的基础,用于实现数据的存储、处理和传输。
    的头像 发表于 08-12 11:24 417次阅读

    如何在FPGA中实现状态机

    FPGA(现场可编程门阵列)中实现状态机是一种常见的做法,用于控制复杂的数字系统行为。状态机能够根据当前的输入和系统状态,决定下一步的动作和新的
    的头像 发表于 07-18 15:57 564次阅读

    玩转Spring状态机

    说起Spring状态机,大家很容易联想到这个状态机和设计模式中状态模式的区别是啥呢?没错,Spring状态机就是状态模式的一种实现,在介绍S
    的头像 发表于 06-25 14:21 924次阅读
    玩转Spring<b class='flag-5'>状态机</b>

    关于SMU状态机的问题求解

    我有一些关于 SMU 状态机的问题。 假设由于某种原因,SMU 已进入故障状态。 手册指出,要返回运行状态并将 FSP 恢复到无故障状态,应调用IfxSmu_releaseFSP()。
    发表于 05-29 08:18

    请问STM32F051用了操作系统RTX后还需要写状态机不?

    现在学会了rtx操作系统后,原来用状态机的学的程序,可不可以不切割,直接单线程来执行列?各位前前辈指点一下。多谢!
    发表于 05-08 06:11

    在Verilog中实现Moore型和Mealy型状态机的方法简析

    编写能够被综合工具识别的状态机,首先需要理解状态机的基本概念和分类。状态机(FSM)是表示有限个状态以及在这些状态之间转换的逻辑结构。
    的头像 发表于 05-01 11:38 1544次阅读

    求助LabVIEW,状态机里面反馈节点如何初始化问题

    求助labview,状态机里面反馈节点如何初始化,下次执行这个状态的时候初始化一次!谢谢谢谢!
    发表于 03-25 18:17

    如何采用“状态机”解析UART数据帧

    如果一个系统接收上述“不定长度”的协议帧,将会有一个挑战--如何高效接收与解析。 为简化系统设计,我们强烈建议您采用“状态机”来解析UART数据帧。
    的头像 发表于 03-25 14:29 675次阅读
    如何采用“<b class='flag-5'>状态机</b>”解析UART数据帧

    关于FX3使用4个线程进行FPGA到USB的数据传输-状态机设置的问题求解

    状态机进行测试 其中WAIT到TH0的转移条件Buffer_Ready是一个外部输入信号,TH0到TH3是4个线程,我在固件中为每个线程都设置了一个Bulk In endpoint,在测试时发现
    发表于 02-27 06:40

    请问GPIF状态机的内部信号需要延迟才能断言吗?

    dma_wm_thn 这样的过渡触发器需要一些周期的延迟才能断言吗? 在我的实践中,DMA_WM_THN 触发器似乎有 1 个时钟周期延迟:   图像是我的状态机的一部分,数据总线是 32 位
    发表于 02-23 07:43

    什么是有限状态机?如何解决传统有限状态机状态爆炸」问题?

    有限状态机(Finite State Machine,简称FSM)是一种用来进行对象行为建模的工具,其作用主要是描述对象在它的生命周期内所经历的状态序列以及如何响应来自外界的各种事件。
    的头像 发表于 02-17 16:09 6199次阅读
    什么是有限<b class='flag-5'>状态机</b>?如何解决传统有限<b class='flag-5'>状态机</b>「<b class='flag-5'>状态</b>爆炸」问题?

    Verilog状态机+设计实例

    在verilog中状态机的一种很常用的逻辑结构,学习和理解状态机的运行规律能够帮助我们更好地书写代码,同时作为一种思想方法,在别的代码设计中也会有所帮助。 一、简介 在使用过程中我们常说
    的头像 发表于 02-12 19:07 4010次阅读
    Verilog<b class='flag-5'>状态机</b>+设计实例

    状态机该怎么监控

    状态机卡住的场景——通过状态跳转条件的DFX信号去判断卡住的原因
    的头像 发表于 01-15 10:03 412次阅读
    <b class='flag-5'>状态机</b>该怎么监控

    Spring状态机的实现原理和使用方法

    说起 Spring 状态机,大家很容易联想到这个状态机和设计模式中状态模式的区别是啥呢?没错,Spring 状态机就是状态模式的一种实现,在
    的头像 发表于 12-26 09:39 1953次阅读
    Spring<b class='flag-5'>状态机</b>的实现原理和使用方法