Digital Electronics overview

Finite State Machines (FSMs)

Unreachable states, recovery and FSM verification