Finite State Machine (resit) - 5EIB0

Resit notes for Computation II - 5EIB0

• Topics: Finite State Machines and Automata

Moore: parameter: current state

Mealy: parameter: current state + current input → changes async with input

![[5EIB0/resit/attachments/fsm_moore_vs_mealy.png|%]]

Process:

1. State minimization
2. State assignment/encoding
   1. Binary
   2. One-hot
3. Combinational logic minimization

Design Flow (Vivado)

Info

Vivado Design Suite User Guide

Related Concepts

<% tp.file.cursor(4) %>