Summary of Finite State Machines
Advantages:
- Easy to use (graphical languages)
- Powerful algorithms for
- synthesis (SW and HW)
- verification
Disadvantages:
- Sometimes over-specify implementation
(sequencing is fully specified)
- Numerical computations cannot be specified compactly