Sequential circuit design applies FSM theory to build concrete hardware components: counters (which cycle through a sequence of binary states), shift registers (which shift stored bits on each clock edge), and more complex sequencing circuits. Synchronous design — where all flip-flops share a common clock — is the dominant methodology because it simplifies timing analysis and prevents race conditions. Design proceeds by specifying the state diagram, deriving excitation equations, and mapping to physical flip-flops and gates.
Design a 3-bit binary up-counter and a Johnson counter from FSM principles. Build a parallel-load shift register and trace its operation. Use a logic simulator to verify timing and identify any setup/hold violations.
You have already studied finite state machines as an abstract model — states, transitions, inputs, outputs — and you know how Boolean algebra and logic gates implement combinational functions. Sequential circuit design is where these two threads converge: you take an FSM specification and realize it in physical hardware using flip-flops, gates, and a clock signal. The result is a circuit whose output depends not just on its current inputs but on its history — its stored state.
The design process follows a systematic recipe. Start with a state diagram that defines every state and the conditions for transitioning between them. Assign a binary encoding to each state (this choice affects the final gate count — there is no single best encoding). Then derive the excitation equations: for each flip-flop, what must its input be, given the current state and inputs, to produce the correct next state? These equations are combinational logic problems you can solve with Karnaugh maps or Boolean simplification. Finally, wire up the flip-flops and gates, connect them to a shared clock, and the FSM runs autonomously, stepping through states on each clock edge.
Two canonical sequential circuits illustrate the pattern. A binary counter cycles through states 000 → 001 → 010 → ... → 111 → 000, incrementing on each clock tick. Its excitation equations are straightforward: the least significant flip-flop toggles every cycle, the next toggles when the first is 1, and so on — this is just binary addition implemented in feedback logic. A shift register stores a sequence of bits and shifts them one position on each clock edge. Parallel load, serial input, and bidirectional variants are all variations of the same FSM approach with different excitation equations. These building blocks appear everywhere in processor datapaths — instruction registers, pipeline registers, and program counters are all sequential circuits.
The dominant methodology is synchronous design, where every flip-flop in the circuit is driven by the same clock signal. This matters because it guarantees that all state transitions happen at the same instant, preventing one flip-flop from updating before another has finished computing its input. The alternative — asynchronous design, where circuits respond immediately to input changes without a clock — seems simpler in theory but is far more difficult in practice. Without a clock to coordinate transitions, race conditions arise when signals propagate through different paths at different speeds. Synchronous design trades a small amount of speed (you must wait for the clock) for enormous gains in reliability and design simplicity, which is why virtually every modern digital system uses it.