Chapter One Embedded System Corse PPT AASTU
Chapter One Embedded System Corse PPT AASTU
25/02/2025 1
Chapter 1: Introduction to digital logic
• 1.1 Logic algebra
Outline • 1.2 Logic circuits
• 1.3 Logic devices such as counters, timers
and finite state machines
25/02/2025 2
Chapter 1: Introduction to digital logic
➢Digital logic forms the fundamental building blocks of embedded systems,
providing the basis for the design and implementation of intelligent and controlled
functionalities.
➢Understanding digital logic is crucial for software engineers working on embedded
systems, as it lays the foundation for efficient information processing, decision-
making, and interfacing with the physical world.
➢ Digital logic is the language through which embedded systems communicate and
process information.
➢Its principles are integral to both hardware and software aspects of embedded
system design, making it a fundamental area of study for software engineers
working in this field.
25/02/2025 3
1.1 Logic algebra
➢ Logic algebra, also known as Boolean algebra, is a mathematical
structure and set of operations that deals with binary variables and
logic operations.
➢ It plays a fundamental role in the design and analysis of digital
circuits, computer systems, and electronic devices.
➢The algebraic rules of logic algebra are based on the work of
mathematician and logician George Boole.
25/02/2025 4
Logic algebra…
➢ Key Concepts:
1. Binary Variables: In logic algebra, variables can only take on one of two values: 0 or 1.
These values represent the absence (0) or presence (1) of a logical condition.
2. Logical Operations: Logic algebra includes several fundamental logical operations, each
with specific rules and symbols
❑ AND (Conjunction): denoted by ∧ or ·
• Represents the logical product. The result is 1 only if both operands are 1.
❑ OR (Disjunction): denoted by + or ∨
• Represents the logical sum. The result is 1 if at least one operand is 1.
❑ NOT (Negation): denoted by ¬ or '
• Represents the logical complement. Flips the value of the operand (1 becomes 0,
and 0 becomes 1).
25/02/2025 5
Logic algebra…
3. Boolean Expressions: Boolean expressions are combinations of binary variables
and logical operations.
➢They can be used to represent and analyse the behaviour of digital circuits and
systems.
4. Truth Tables: Truth tables are used to represent the output of a Boolean expression
for all possible combinations of input values.
➢They provide a systematic way to analyse and understand the behaviour of logical
operations.
25/02/2025 6
Logic algebra…
➢ Basic Laws of Logic Algebra: 4. Commutative Laws:
1. Identity Laws: • A+B=B+A
• A⋅B=B⋅A
• A+0=A
5. Associative Laws:
• A⋅1=A
• (A+B)+C=A+(B+C)
2.Domination Laws: • (A⋅B)⋅C=A⋅(B⋅C)
• 1A+A′=1 6. Distributive Laws:
• 0A⋅A′=0 • A⋅(B+C)=(A⋅B)+(A⋅C)
• A+(B⋅C)=(A+B)⋅(A+C)
3. Idempotent Laws: 7. De Morgan's Laws:
• A+A=A • (A+B)′=A′⋅B′
• A⋅A=A • (A⋅B)′=A′+B′
25/02/2025 7
Logic algebra…
➢Applications of Logic Algebra:
1. Digital Circuit Design: Logic algebra is extensively used in designing
and analysing digital circuits, including combinational and sequential
circuits.
2. Computer Systems: The principles of logic algebra are fundamental to
computer architecture, where they govern the operations of logic gates,
arithmetic units, and memory units.
3. Boolean Functions: Logic algebra is employed to represent and
manipulate Boolean functions, which are essential in software design,
control
25/02/2025
systems, and decision-making processes. 8
Logic algebra…
4. Coding and Error Detection: Error detection and correction codes, such
as parity bits, rely on logic algebra to ensure data integrity in
communication systems.
5. Automated Systems: Logic algebra is applied in designing automated
systems, including robotics and industrial control systems, to model and
control system behaviour.
➢ Logic algebra provides a systematic and mathematical foundation for
understanding and manipulating binary variables and logical operations,
forming a cornerstone in the fields of digital design, computer science,
and automation.
25/02/2025 9
1.2 Logic circuits
➢ Logic circuits are electronic circuits that perform logical operations based on
Boolean algebra.
➢ These circuits use digital signals (binary, consisting of 0s and 1s) to process and
manipulate information.
➢ Logic circuits are the building blocks of digital systems, such as computers,
microcontrollers, and other electronic devices, enabling them to perform complex
tasks through the combination of simple logic gates.
➢ Key Components of Logic Circuits:
1. Logic Gates: Logic gates are the fundamental building blocks of logic circuits.
They perform basic logical operations (AND, OR, NOT) on binary inputs to produce a
binary output.
25/02/2025 10
Logic circuits…
25/02/2025 21
Logic devices …
3. Finite State Machines (FSMs): Finite State Machines model the behaviour of
systems that can exist in a finite number of states. They transition between states
based on inputs and current states.
➢ Types of FSMs:
• Moore Machines: The output depends only on the current state.
• Mealy Machines: The output depends on both the current state and inputs.
➢ Applications:
• Digital Circuit Design: FSMs are used to design control units for processors.
• Communication Protocols: FSMs model the behaviour of communication protocols.
• Traffic Light Controllers: FSMs control the sequence of traffic lights in an
intersection.
25/02/2025 22
Logic devices …
➢Key Components of FSMs:
• States: Represent different modes or conditions.
• Transitions: Define conditions triggering state changes.
• Inputs: External signals influencing state transitions.
• Outputs: Actions or signals produced by the FSM in different states.
➢ Common Characteristics of These Devices:
• Sequential Logic: They rely on sequential logic circuits, typically flip-flops, to store and
update information.
• Digital Control: All these devices are designed to operate in a digital environment using
binary signals (0s and 1s).
• Timing and Sequencing: They involve precise timing and sequencing of events, making
them crucial in digital systems.
25/02/2025 23
Logic devices …
25/02/2025 24
a pter
of C h
End !!!
O ne
25/02/2025 25