Synchronous Modules: Analysis and Synthesis
In this chapter, we practice the method of analysis and synthesis of synchronous circuits. We begin with two-state finite state machines. First we synthesize a synchronous circuit, and then we analyze a serial adder. Another simple case is finite state machines (FSMs), the state diagram of which is a simple cycle. These FSMs are called counters. We then define, implement, and analyze counters. We also discuss how initialization affects the corresponding FSM.
Finally, we revisit the synchronous circuits described earlier (shift registers and RAM). We analyze these circuits and show that their state diagrams are important graphs.
20.1 EXAMPLE: A TWO-STATE FSM
In this section, we synthesize ...