本文目录
前言
状态机简介
状态机分类
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; 17out_r<=1'b0; 18end 19else 20case(state) 21s0: 22begin 23out_r<=1'b0; 24state<=s1; 25end 26s1: 27begin 28out_r<=1'b1; 29state<=s2; 30end 31s2: 32begin 33out_r<=1'b0; 34state<=s3; 35end 36s3: 37begin 38out_r<=1'b1; 39end 40endcase 41end 42assignout_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; 19else 20current_state<=next_state; 21end 22//组合逻辑:描述下一状态和输出 23always@(*) 24begin 25out_r=1'b0; 26case(current_state) 27s0: 28begin 29out_r=1'b0; 30next_state=s1; 31end 32s1: 33begin 34out_r=1'b1; 35next_state=s2; 36end 37s2: 38begin 39out_r=1'b0; 40next_state=s3; 41end 42s3: 43begin 44out_r=1'b1; 45next_state=next_state; 46end 47endcase 48end 49assignout_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; 19else 20current_state<=next_state; 21end 22//组合逻辑:描述下一状态 23always@(*) 24begin 25case(current_state) 26s0: 27next_state=s1; 28s1: 29next_state=s2; 30s2: 31next_state=s3; 32s3: 33begin 34next_state=next_state; 35end 36default: 37next_state=s0; 38endcase 39end 40//输出逻辑:让输出 out,经过寄存器 out_r 锁存后输出,消除毛刺 41always@(posedgeclk_i) 42begin 43if(!rst_n_i) 44out_r<=1'b0; 45else 46begin 47case(current_state) 48s0,s2: 49out_r<=1'b0; 50s1,s3: 51out_r<=1'b1; 52default: 53out_r<=out_r; 54endcase 55end 56end 57 58assignout_o=out_r; 59endmodule 60
三段式状态机在第一个 always 模块采用同步时序逻辑方式描述状态转移, 第二个always 模块采用组合逻辑方式描述状态转移规律, 第三个 always 描述电路的输出。通常让输出信号经过寄存器缓存之后再输出, 消除电路毛刺。
05. 状态机优缺点
1、一段式状态机
只涉及时序电路,没有竞争与冒险,同时消耗逻辑比较少。
但是如果状态非常多,一段式状态机显得比较臃肿,不利于维护。
2、两段式状态机
当一个模块采用时序(状态转移),一个模块采用组合时候(状态机输出),组合逻辑电路容易造成竞争与冒险;当两个模块都采用时序,可以避免竞争与冒险的存在,但是整个状态机的时序上会延时一个周期。
两段式状态机是推荐的状态机设计方法。
3、三段式状态机
三段式状态机在状态转移时采用组合逻辑电路+格雷码,避免了组合逻辑的竞争与冒险;状态机输出采用了同步寄存器输出,也可以避免组合逻辑电路的竞争与冒险;采用这两种方法极大的降低了竞争冒险。并且在状态机的采用这种组合逻辑电路+次态寄存器输出,避免了两段式状态机的延时一个周期(三段式状态机在上一状态中根据输入条件判断当前状态的输出,从而在不插入额外时钟节拍的前提下,实现寄存器的输出)。
三段式状态机也是比较推崇的,主要是由于维护方便, 组合逻辑与时序逻辑完全独立。
06. 总结
灵活选择状态机,不一定要拘泥理论,怎样方便怎样来
07.扩展
四段式不是指三个always代码,而是四段程序。使用四段式的写法,可参照明德扬gvim特色指令ztj产生的状态机模板。
明·德·扬四段式状态机符合一次只考虑一个因素的设计理念。
第一段代码,照抄格式,完全不用想其他的。
第二段代码,只考虑状态之间的跳转,也就是说各个状态机之间跳转关系。
第三段代码,只考虑跳转条件。
第四段,每个信号逐个设计。
有兴趣的话可以自己去学习一下,或者http://www.mdyedu.com/product/299.html自行看视频。
原文标题:fpga 高手养成记-浅谈状态机
文章出处:【微信公众号:fpga开源工作室】欢迎添加关注!文章转载请注明出处。
基于Chirp函数的Nios Ⅱ嵌入式实现
华为畅享8e评测 值不值得买
浅谈联发科在智能电视芯片的布局与创新
Vishay赞助的同济大学电动方程式车队勇夺冠军,支持培养下一代汽车设计师
关于FLIR ONE和FLIR ONE Pro的异同点
FPGA:状态机简述
恒远华动态人脸采集与实时识别方案
在堆嵌入式单片机编程中为什么大多时候要保证堆栈8字节对齐呢?
索尼、豪威科技将恢复向华为公司部分供货
大疆行业发布全新激光雷达负载禅思L2:新一代平民化航测工具
什么是互感器
研究人员最新研发出可持续的3D打印超级磁铁
MEMS动态测试系统的组成和关键测量技术的研究
iPhone8:外观设计和sony一样,可能吗?
FISCHER推出可穿戴设计即插即用连接技术
一片漆黑!网友投诉iPhone7 plus双摄像头突然罢工
Vishay推出TNPU e3系列电阻 恶劣环境也可以保证极为稳定的性能
弘瑞推3D打印机配件挤出机 四大亮点抢先看
压力传感器的信号特征及误差分析
海康威视联网人脸考勤应用方案助力企业多厂区实现智能管理