← New search

Other meanings of Sequential logic

Computer Science

Sequential logic

Sequential logic is a type of digital logic circuit whose output depends not only on the present values of its inputs but also on the history of those inputs. Unlike combinational logic, which produces outputs solely from current inputs, sequential circuits incorporate memory elements that store state. This enables them to perform tasks such as counting, storing data, and implementing finite-state machines, forming the basis of most digital systems, including computers and processors.

1
bit of state per flip-flop
Minimum memory unit
2
types of sequential circuits
Synchronous and asynchronous
1960s
era of early integrated circuits
Key development period
1

Fundamentals and operation

Sequential logic circuits are defined by their use of memory elements, typically flip-flops or latches, which store binary state. The output is a function of both the current inputs and the stored state, which updates on clock edges in synchronous designs or on input changes in asynchronous designs. The behavior is often described using state diagrams and state tables, which map input sequences to output sequences. The mathematical model is the finite-state machine, which formalizes the relationship between inputs, states, and outputs. In practice, sequential circuits are built from logic gates and feedback paths, with the clock signal synchronizing state transitions to prevent race conditions.

2

Synchronous vs. asynchronous

Synchronous sequential circuits use a clock signal to coordinate state changes, ensuring that all flip-flops update simultaneously. This design simplifies timing analysis and is the dominant approach in modern digital systems, from microprocessors to memory controllers. Asynchronous sequential circuits, in contrast, change state directly in response to input changes without a clock. They offer potential speed advantages and lower power consumption but are more prone to hazards and require careful design to avoid metastability. Examples include asynchronous RAM and certain communication interfaces. Most practical systems use synchronous design for reliability, though asynchronous techniques are used in specialized high-speed or low-power applications.

3

Applications and importance

Sequential logic is ubiquitous in digital electronics. It is used to build registers, counters, and memory units, which are essential components of processors and storage devices. Finite-state machines implemented with sequential logic control everything from traffic lights to communication protocols. In computer architecture, the central processing unit (CPU) relies on sequential logic for instruction sequencing, pipelining, and control. Without sequential logic, computers could not execute programs, as they would lack the ability to remember instructions or data. The design of sequential circuits is a core topic in digital design courses and is fundamental to the field of computer engineering.

4

Lesser-known aspects

Beyond the basics, sequential logic includes subtle phenomena such as metastability, where a flip-flop can enter an unpredictable state if setup and hold times are violated. This is a critical concern in asynchronous interfaces. Another niche area is the design of asynchronous sequential circuits using Muller C-elements, which are used in self-timed systems. Historically, early computers like the ENIAC used vacuum-tube flip-flops, and the concept of sequential logic dates back to the 1930s with the work of Alan Turing and others. Additionally, the distinction between Mealy and Moore machines, two types of finite-state machines, affects output timing and is a key design choice. These details are often overlooked but are vital for advanced digital design.

Glossary

Flip-flop
A bistable memory element that stores one bit of state, typically edge-triggered.
Latch
A level-sensitive memory element that stores a bit while enabled.
Clock signal
A periodic waveform that synchronizes state changes in synchronous circuits.
Finite-state machine
A mathematical model of computation with a finite number of states and transitions.
Metastability
A condition where a flip-flop output is unpredictable for a short time due to setup/hold violations.

Sequential logic is a cornerstone of digital design, enabling memory and stateful computation.