Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture covers the design and synthesis of Finite State Machines (FSMs) in logic systems, focusing on the steps involved in creating a functional state machine. Topics include determining states, transitions, completeness, consistency, and identifying ghost states. The lecture also explains the use of truth tables and Boolean algebra for verification purposes.