spinal HDL - 10 - 状态机

简介: spinal HDL - 10 - 状态机

状态机


介绍


在 SpinalHDL 中,您可以通过使用枚举和 switch/case 语句来定义您的状态机,就像在 VHDL/Verilog 中一样。但在 SpinalHDL 中,您也可以使用专用语法。

下面的状态机在以下示例中实现:

image.png

风格一:

import spinal.lib.fsm._
class TopLevel extends Component {
  val io = new Bundle {
    val result = out Bool()
  }
  val fsm = new StateMachine {
    val counter = Reg(UInt(8 bits)) init (0)
    io.result := False
    val stateA : State = new State with EntryPoint {
      whenIsActive(goto(stateB))
    }
    val stateB : State = new State {
      onEntry(counter := 0)
      whenIsActive {
        counter := counter + 1
        when(counter === 4) {
          goto(stateC)
        }
      }
      onExit(io.result := True)
    }
    val stateC : State = new State {
      whenIsActive(goto(stateA))
    }
  }
} 

风格二:

import spinal.lib.fsm._
class TopLevel extends Component {
  val io = new Bundle {
    val result = out Bool()
  }
  val fsm = new StateMachine{
    val stateA = new State with EntryPoint
    val stateB = new State
    val stateC = new State
    val counter = Reg(UInt(8 bits)) init (0)
    io.result := False
    stateA
      .whenIsActive(goto(stateB))
    stateB
      .onEntry(counter := 0)
      .whenIsActive {
        counter := counter + 1
        when(counter === 4) {
          goto(stateC)
        }
      }
      .onExit(io.result := True)
    stateC
      .whenIsActive(goto(stateA))
  }
}

状态机


StateMachine是基类。它管理 FSM 的逻辑。

val myFsm = new StateMachine {
  // Definition of states
}

StateMachine还提供了一些访问器:

姓名 返回 描述
isActive(state) Bool True当状态机处于给定状态时返回
isEntering(state) Bool True当状态机进入给定状态时返回

入口点


通过扩展 EntryPoint trait,可以将状态定义为状态机的入口点:

val stateA = new State with EntryPoint

或通过使用setEntry(state)

val stateA = new State
setEntry(stateA)

过渡


  • 转换由 表示goto(nextState),它将状态机安排nextState在下一个周期。
  • exit()安排状态机在下一个周期处于启动状态(或者,在 中StateFsm,退出当前嵌套状态机)。

这两个函数可以在状态定义中使用(见下文)或 using ,它始终适用,优先于状态。always { yourStatements }``yourStatements

状态


可以使用多种状态:

  • State(基地之一)
  • StateDelay
  • StateFsmStateParallelFsm

它们中的每一个都提供了以下函数来定义与它们关联的逻辑:

image.png

state.隐含在块中:new State

image.png

val stateB : State = new State {
  onEntry(counter := 0)
  whenIsActive {
    counter := counter + 1
    when(counter === 4) {
      goto(stateC)
    }
  }
  onExit(io.result := True)
}

状态延迟


StateDelay 允许创建一个状态,该状态在执行语句之前等待固定数量的周期。使用它的首选方法是:whenCompleted {...}

val stateG : State = new StateDelay(cyclesCount=40) {
  whenCompleted {
    goto(stateH)
  }
}

也可以写成一行:

val stateG : State = new StateDelay(40) { whenCompleted(goto(stateH)) }

状态机


StateFsm允许描述包含嵌套状态机的状态。当嵌套状态机完成(退出)时,执行中的语句。whenCompleted { ... }

有一个 StateFsm 定义的例子:

// internalFsm is a function defined below
val stateC = new StateFsm(fsm=internalFsm()) {
  whenCompleted {
    goto(stateD)
  }
}
def internalFsm() = new StateMachine {
  val counter = Reg(UInt(8 bits)) init (0)
  val stateA : State = new State with EntryPoint {
    whenIsActive {
      goto(stateB)
    }
  }
  val stateB : State = new State {
    onEntry (counter := 0)
    whenIsActive {
      when(counter === 4) {
        exit()
      }
      counter := counter + 1
    }
  }
}

在上面的示例中,exit()使状态机跳转到启动状态(内部隐藏状态)。这通知StateFsm了内部状态机的完成。

StateParallelFsm


StateParallelFsm允许处理多个嵌套状态机。当所有嵌套状态机都完成后,执行中的语句。whenCompleted { ... }

例子:

val stateD = new StateParallelFsm (internalFsmA(), internalFsmB()) {
  whenCompleted{
    goto(stateE)
  }
}

进入状态注意事项


上面定义的进入状态的方式使得在复位和第一次时钟采样之间,状态机处于启动状态。只有在第一次时钟采样之后,定义的进入状态才会激活。这允许正确进入入口状态(在 中应用语句onEntry),并允许嵌套状态机。

虽然它很有用,但也可以绕过该功能并直接让状态机引导到用户状态。

为此,请使用makeInstantEntry()而不是定义。该函数返回开机状态,复位后直接激活。new State


目录
相关文章
|
IDE 程序员 项目管理
Visual Basic入门:基础知识与编程原理
【4月更文挑战第27天】本文介绍了Visual Basic的基础和编程原理,它是微软的事件驱动编程语言,适合初学者。文章涵盖VB的发展、IDE的搭建、语法基础、面向对象编程概念,以及通过创建“Hello, World!”项目实践编程。此外,还讨论了控制结构、函数过程、类和对象,强调了VB在现代软件开发中的适应性。学习和掌握VB是进一步深入编程学习的良好起点。
381 0
|
Linux C语言 Windows
荔枝派Zero(全志V3S)一键镜像烧录(windows和linux下)
搞到了一块荔枝派Zero,其CPU为全志V3S, ARM Cortex-A7, 最高1.2GHz,不得不说这小东西能达到这么高的主频真是让我大为震撼,废话不多说,先让其跑起来,证明板子是好的
938 0
|
Web App开发 索引
正则表达式匹配域名、网址、url
DNS规定,域名中的标号都由英文字母和数字组成,每一个标号不超过63个字符,也不区分大小写字母。标号中除连字符(-)外不能使用其他的标点符号。级别最低的域名写在最左边,而级别最高的域名写在最右边。由多个标号组成的完整域名总共不超过255个字符。
31241 0
|
负载均衡 Java Nacos
Nacos有几种负载均衡策略?
Nacos有几种负载均衡策略?
1405 0
Nacos有几种负载均衡策略?
|
网络协议 安全 应用服务中间件
服务器最大支持多少链接数
【10月更文挑战第27天】本文探讨了单台服务器最大支持的链接数,分析了TCP链接标识的四元组、文件句柄限制、端口号范围及多IP绑定等技术细节。结论指出,理论上的最大链接数受制于文件句柄和内存,而链接接收端的链接数可视为无限大。
472 0
|
监控 安全 Go
使用Golang调用摄像头
近年来,摄像头成为了我们生活中不可或缺的设备之一。从智能手机到安全监控系统,无处不在的摄像头给我们带来了便利和安全。在开发摄像头相关的应用程序时,选择一种高效和易用的编程语言是非常重要的。本文将介绍如何使用Golang调用摄像头并进行图像处理。
|
前端开发 JavaScript Java
计算机Java项目|基于SpringBoot的在线拍卖系统
计算机Java项目|基于SpringBoot的在线拍卖系统
238 0
【数字IC手撕代码】Verilog小数分频|题目|原理|设计|仿真
【数字IC手撕代码】Verilog小数分频|题目|原理|设计|仿真
【数字IC手撕代码】Verilog小数分频|题目|原理|设计|仿真
|
算法 安全 数据处理
【C++ 编程范式】理解C++ 中编程范式,选择合适的方式
【C++ 编程范式】理解C++ 中编程范式,选择合适的方式
545 2
|
存储 Java 关系型数据库
springboot整合多数据源的配置以及动态切换数据源,注解切换数据源
springboot整合多数据源的配置以及动态切换数据源,注解切换数据源
2910 0