FSM(Finite State Machine,有限状态机)设计

有限状态机(Finite State Machine, FSM),根据状态机的输出是否与输入有关,可分为Moore型状态机和Mealy型状态机。Moore型状态机输出仅仅与现态有关和Mealy型状态机不仅与现态有关,也与输入有关,所以会受到输入的干扰,可能会产生毛刺(Glith)的现象,所以我们通常使用的是Moore型状态机。

状态机的编码,二进制编码(Binary),格雷码编码(Gray-code),独热码(One-hot)。不同的编码方式是防止在状态转移中发生突变,使得状态转移更为稳定,系统更加可靠,但是通常情况下我们直接采用的是二进制进行编码,除非系统对稳定性和状态编码有特殊要求。

状态机的描述,一段式、二段式、三段式。
一段式状态机,将组合逻辑和时序逻辑混合在一起,这样的写法对于逻辑简单的状态机来说还是可以使用的,但是对于复杂的逻辑就不推荐了,如果状态复杂也会容易出错,而且一个always块中信号太多也不利于维护和修改。

两段式状态机也是一种常用的写法,它把组合逻辑和时序逻辑区分出来,第一段负责状态的转移,第二段是组合逻辑赋值,但是这种写法的缺点是,组合逻辑较容易产生毛刺等常见问题,关于组合逻辑较容易产生毛刺原因,下文会提到。

三段式状态机就可以较好的解决一段二段的不足, 第一段采用时序逻辑负责状态转移,第二段组合逻辑负责数据赋值,第三段时序逻辑负责输出,代码层次清晰,容易维护,时序逻辑的输出解决了两段式写法中组合逻辑的毛刺问题。但是资源消耗会多一些,此外,三段式从输入到输出会比一段式和二段式延迟一个时钟周期。

在状态机的设计中,一段式状态机用时序逻辑,二段式状态机第一段用时序逻辑,第二段用组合逻辑,三段式状态机第一段用时序逻辑,第二段用组合逻辑,第三段用时序逻辑。我在设计的时候,尝试把第二段写成时序逻辑,最终结果并没有影响,时序逻辑随时钟变化,组合逻辑是直接赋值,所以在第三段状态机进行输出时,输出结果肯定是稳定的,但是这样会限制fmax。如果用时序逻辑的主频率过高的话,可能不如第二段组合逻辑赋值来的稳定,这里就还需要考虑到时序分析了,暂且不谈。这里还需要提的是使用三段式状态机相较于一段二段式,会延迟一个时钟周期输出,就是因为第三段使用了时序逻辑的缘故。

uart接收 两段式

在这里插入图片描述
在这里插入图片描述在这里插入图片描述

  • 2
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
有限状态Finite State Machine,简称FSM)是一种描述系统行为的数学模型,可以用来描述离散事件系统的状态演变。下面是关于FSM设计的一些建议: 1. 定义清晰的状态:在设计FSM时,需要明确各个状态的含义和转换条件,确保状态的定义清晰且不重叠。每个状态应该唯一表示一个系统或对象的具体情况,以便于理解和再现。 2. 考虑全面的事件:FSM的转换依赖于事件的发生,因此需要考虑到系统可能遇到的所有可能事件。对系统可能的输入进行分析,以确保设计FSM可以适应各种情况的变化。 3. 确定状态转换条件:每个状态之间的转换需要定义明确的条件,这些条件通常与特定的输入事件相关。在设计过程中,需要详细考虑这些条件,以确保状态之间的转换符合系统的要求。 4. 简化FSM设计:尽可能地简化FSM设计,避免过度复杂化。可以通过减少不必要的状态和转换来简化FSM,提高系统的可读性和可维护性。 5. 考虑FSM的扩展性:在设计FSM时,应该考虑到系统可能的扩展需求。确保FSM设计具有良好的扩展性和灵活性,以便未来可以方便地进行修改和扩展。 6. 进行充分的测试:设计FSM后,进行充分的测试以验证其正确性。通过提供各种输入和事件的组合,确保FSM能够按照设计预期的方式行为,并正确处理各种情况。 以上是关于FSM设计的一些建议,通过遵循这些建议,可以设计出高效、可靠的FSM,有效地描述系统的行为和状态变化。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值