5 Sequential Machines
This chapter builds upon our experience with combinational logic to design sequential machines. Sequential machines (also known as finite-state machines or FSMs) are the basic building blocks of digital logic—the state stored in a sequential machine makes it possible to compute much more complex functions than is practical with combinational logic alone. Sequential logic introduces new constraints into the design process that we must add to the basic principles we have learned for combinational logic design.
We will study sequential machine design from the abstract to the concrete, starting with models ...