Algorithmic State Machine Chart for DFF
A Finite State Machine (FSM) can be described via either a Bubble diagram or an ASM chart.
ASM charts are better for complex FSMs. We will use ASM charts in this class.
State S0 is usually the asynchronous Reset state.