SlideShare a Scribd company logo
Gate-Level Minimization
Unit-1 Part-3
 Introduction
 The map method
 Four-variable K-Map
 Product of-Sums Simplification
 Don’t –Care Conditions
 NAND and NOR implementation
 Other Two level Implementations
Digital Circuits 3-2
3-1 Introduction
 Gate-level minimization refers to the design task
of finding an optimal gate-level implementation of
Boolean functions describing a digital circuit.
Digital Circuits 3-3
3-2 The Map Method
 The complexity of the digital logic gates that implement a Boolean function is directly related to
the complexity of the algebraic expression from which the function is implemented.
 Logic minimization
 Algebraic approaches
 lack specific rules
 It is a time consuming process.
 Re-write the simplified expressions after each step.
 The Karnaugh map (K-map)
 It is a graphical method, which consists of 2n cells for ‘n’ variables.
 The adjacent cells are differed only in single bit position.
 If there are more than 5 variables, it is still possible to use Karnaugh maps, but it
becomes more difficult to see patterns.
 Quine-McClukey tabular method
 It is a tabular method based on the concept of prime implicants.
 Prime implicant is a product orsum term, which can’t be further reduced by combining
with any other product orsum terms of the given Boolean function.
Digital Circuits
 A simple straight forward procedure.
 A pictorial form of a truth table.
 Applicable if the # of variables < 5
 However, as the number of variables increases it becomes more difficult to see patterns, and
computer methods start to become more attractive.
 A diagram made up of squares
 Each square represents one minterm.
 Boolean function
 Sum of minterms.
 Sum of products (or product of sum) in the simplest form.
 A minimum number of terms.
 A minimum number of literals.
 The simplified expression may not be unique.
3-4
Karnaugh map (K-map)
Digital Circuits 3-5
Two-Variable Map
 A two-variable map
 four minterms
 x' = row 0; x = row 1
 y' = column 0;
y = column 1
 a truth table in square diagram
 xy
 x+y=x’y+xy’+xy
Fig. 3.2 Representation of functions in
the map
Digital Circuits 3-6
A three-variable map
 Eight minterms
 The Gray code sequence
 00, 01, 10, 11 (binary seq. ) = 00, 01, 11, 10 (gray code seq.)
 Any two adjacent squares in the map differ by only on variable
 Primed in one square and unprimed in the other
 e.g., m5 and m7 can be simplified
 m5+ m7 = xy'z + xyz = xz (y'+y) = xz
Digital Circuits 3-7
 Example 3-1
 F(x,y,z) = S(2,3,4,5)
 F = x'y + xy'
Digital Circuits 3-8
 m0 and m2 (m4 and m6) are adjacent
 m0+ m2 = x'y'z' + x'yz' = x'z' (y'+y) = x'z'
 m4+ m6 = xy'z' + xyz' = xz' (y'+y) = xz'
Digital Circuits 3-9
 Example 3-2
 F(x,y,z) = S(3,4,6,7) = yz+ xz'
Digital Circuits 3-10
 Four adjacent squares
 2, 4, 8 and 16 squares
 m0+m2+m4+m6 = x'y'z'+x'yz'+xy'z'+xyz'
= x'z'(y'+y) +xz'(y'+y)
= x'z' + xz‘ = z'
 m1+m3+m5+m7 = x'y'z+x'yz+xy'z+xyz
=x'z(y'+y) + xz(y'+y)
=x'z + xz = z
Digital Circuits 3-11
 Example 3-3
 F(x,y,z) = S(0,2,4,5,6)
 F = z'+ xy'
Digital Circuits 3-12
 Example 3-4
 F = A'C + A'B + AB'C + BC
 express it in sum of minterms
 find the minimal sum of products expression
Digital Circuits
Worksheet-1
3-13
Digital Circuits 3-14
3-3 Four-Variable Map
 The map
 16 minterms
 combinations of 2, 4, 8, and 16 adjacent squares
Digital Circuits 3-15
 Example 3-5
 F(w,x,y,z) = S(0,1,2,4,5,6,8,9,12,13,14)
 F = y'+w'z'+xz'
Digital Circuits 3-16
 Example 3-6 Simplify the Boolean function
F = ABC + BCD + ABCD + ABC
Digital Circuits
Worksheet -2
3-17
Digital Circuits 3-18
 Prime Implicants
 all the minterms are covered.
 minimize the number of terms.
 a prime implicant: a product term obtained by combining the maximum
possible number of adjacent squares (combining all possible maximum
numbers of squares).
 essential: a minterm is covered by only one prime implicant, that prime
implicant is called essential.
Digital Circuits 3-19
 the simplified expression may not be unique
 F = BD+B'D'+CD+AD = BD+B'D'+CD+AB
= BD+B'D'+B'C+AD = BD+B'D'+B'C+AB'
( , , , ) (0,2,3,5,7,8,9,10,11,13,15)
F A B C D  
Consider
Digital Circuits 3-20
3-4 Five-Variable Map
 Map for more than four variables becomes
complicated
 five-variable map: two four-variable map (one on
the top of the other)
Digital Circuits 3-21
 Table 3.1 shows the relationship between the number
of adjacent squares and the number of literals in the
term.
Digital Circuits 3-22
 Example 3-7
 F = S(0,2,4,6,9,13,21,23,25,29,31)
F = A'B'E'+BD'E+ACE
Digital Circuits 3-23
 Another Map for Example 3-7
Digital Circuits 3-24
3-5 Product of Sums Simplification
 Approach #1
 Simplified F' in the form of sum of products
 Apply DeMorgan's theorem F = (F')'
 F': sum of products => F: product of sums
 Approach #2: duality
 combinations of maxterms (like it was minterms)
 M0M1 = (A+B+C+D)(A+B+C+D')
= (A+B+C)+(DD')
= A+B+C
CD
AB 00 01 11 10
00 M0 M1 M3 M2
01 M4 M5 M7 M6
11 M12 M13 M15 M14
10 M8 M9 M11 M10
Digital Circuits 3-25
 Example 3-8
 F = S(0,1,2,5,8,9,10)
 F' = AB+CD+BD'
 Apply DeMorgan's theorem; F=(A'+B')(C'+D')(B'+D)
 Or think in terms of maxterms
Digital Circuits 3-26
 Gate implementation of the function of
Example 3-8
Digital Circuits 3-27
 Consider the
function defined in
Table 3.2.
( , , ) (1,3,4,6)
F x y z  
In sum-of-minterm:
In product-of-maxterm:

 )
7
,
5
,
2
,
0
(
)
,
,
( z
y
x
F
Digital Circuits 3-28
 Consider the
function defined in
Table 3.2. ( , , )
F x y z x z xz
 
 
Combine the 1’s:
Combine the 0’s :
z
x
xz
F 




z
x
z
x
F 



Taking the complement of F
( , , ) ( )( )
F x y z x z x z
 
  
Digital Circuits 3-29
3-6 Don't-Care Conditions
 The value of a function is not specified for
certain combinations of variables
 BCD; 1010-1111: don't care
 The don't care conditions can be utilized in
logic minimization
 can be implemented as 0 or 1
 Example 3-9
 F (w,x,y,z) = S(1,3,7,11,15)
 d(w,x,y,z) = S(0,2,5)
Digital Circuits 3-30
 F = yz + w'x'; F = yz + w'z
 F = S(0,1,2,3,7,11,15) ; F = S(1,3,5,7,11,15)
 either expression is acceptable
 Also apply to products of sum
Digital Circuits 3-31
3-7 NAND and NOR Implementation
 NAND gate is a universal gate
 can implement any digital system
Digital Circuits 3-32
 Two graphic symbols for a NAND gate
Digital Circuits 3-33
Two-level Implementation
 two-level logic
 NAND-NAND = sum of products
 Example: F = AB+CD
 F = ((AB)' (CD)' )' =AB+CD
Fig. 3-20
Three ways to implement
F = AB + CD
Digital Circuits 3-34
 Example 3-10
( , , ) (1,2,3,4,5,7)
F x y z   ( , , )
F x y z xy x y z
 
  
Digital Circuits 3-35
 The procedure
 simplified in the form of sum of products
 a NAND gate for each product term; the inputs to each
NAND gate are the literals of the term
 a single NAND gate for the second sum term
Digital Circuits 3-36
Multilevel NAND Circuits
 Boolean function implementation
 AND-OR logic => NAND-NAND logic
 AND => NAND + inverter
 OR: inverter + OR = NAND
Fig. 3.22
Implementing F = A(CD + B) + BC
Digital Circuits 3-37
NAND Implementation
Fig. 3.23
Implementing
F = (AB +AB)(C+ D)
Digital Circuits 3-38
NOR Implementation
 NOR function is the dual of NAND function
 The NOR gate is also universal
Digital Circuits 3-39
 Two graphic symbols for a NOR gate
Example: F = (A + B)(C + D)E
Fig. 3.26
Implementing
F = (A + B)(C + D)E
Digital Circuits 3-40
Example: F = (AB +AB)(C + D)
Fig. 3.27
Implementing F = (AB +AB)(C + D) with NOR gates
Digital Circuits 3-41
 Boolean-function implementation
 OR => NOR + INV
 AND
 INV + AND = NOR
Digital Circuits 3-42
Digital Circuits 3-43
Digital Circuits 3-44
3-8 Other Two-level Implementations
 Wired logic
 NAND or NOR gates allow the possibility of aa wire connection between the outputs of two gates to provide a
specific logic function.
 open-collector TTL NAND gates: wired-AND logic
 The AND gate is drawn with the lines going through the centre of the gate to distinguish it from a conventional
gate.
 A wired-logic gate does not produce a physical second-level gate, since it is just a wire connection.
 The NOR output of ECL gates: wired-OR logic
 Emitter-coupled logic (ECL) is a high-speed integrated circuit bipolar transistor logic family.
( ) ( ) ( ) ( )( )
( ) ( ) [( )( )]
F AB CD AB CD A B C D
F A B C D A B C D
      
      
  
      
AND-OR-INVERT function
OR-AND-INVERT function
Digital Circuits 3-45
Nondegenerate Forms
 16 possible combinations of two-level forms
 eight of them: degenerate forms = a single operation
 Eight of these combinations are said to be degenerate forms because they
degenerate to a single operation.
 The eight nondegenerate forms
 AND-OR, OR-AND, NAND-NAND, NOR-NOR, NOR-OR, NAND-
AND, OR-NAND, AND-NOR
 AND-OR and NAND-NAND = sum of products
 OR-AND and NOR-NOR = product of sums
 NOR-OR, NAND-AND, OR-NAND, AND-NOR = ?
Digital Circuits 3-46
AND-OR-Invert Implementation
 AND-OR-INVERT (AOI) Implementation
 NAND-AND = AND-NOR = AOI
 F = (AB+CD+E)'
 F' = AB+CD+E(sum of products)
 simplify F' in sum of products
Digital Circuits 3-47
 OR-AND-INVERT (OAI) Implementation
 OR-NAND = NOR-OR = OAI
 F = ((A+B)(C+D)E)'
 F' = (A+B)(C+D)E (product of sums)
 simplified F' in products of sum
Digital Circuits 3-48
Tabular Summary and Examples
 Example 3-11
 F' = x'y+xy'+z (F': sum of products)
 F = (x'y+xy'+z)' (F: AOI implementation)
 F = x'y'z' + xyz' (F: sum of products)
 F' = (x+y+z)(x'+y'+z) (F': product of sums)
 F = ((x+y+z)(x'+y'+z))' (F: OAI)
Digital Circuits 3-49
Tabular Summary and Examples
Digital Circuits 3-50
Digital Circuits 3-51
3-9 Exclusive-OR Function
 Exclusive-OR (XOR)
 xy = xy'+x'y
 Exclusive-NOR (XNOR)
 (xy)' = xy + x'y'
 Some identities
 x0 = x
 x1 = x'
 xx = 0
 xx' = 1
 xy' = (xy)'
 x'y = (xy)'
 Commutative and associative
 AB = BA
 (AB) C = A (BC) = ABC
Digital Circuits 3-52
 Implementations
 (x'+y')x + (x'+y')y = xy'+x'y = xy
Digital Circuits 3-53
Odd function
 ABC = (AB'+A'B)C' +(AB+A'B')C
= AB'C'+A'BC'+ABC+A'B'C
= S(1,2,4,7)
 an odd number of 1's
Digital Circuits 3-54
 Logic diagram of odd and even functions
Digital Circuits 3-55
 Four-variable Exclusive-OR function
 ABCD = (AB’+A’B)(CD’+C’D)
= (AB’+A’B)(CD+C’D’)+(AB+A’B’)(CD’+C’D)
Digital Circuits 3-56
Parity Generation and Checking
 Parity Generation and Checking
 a parity bit: P = xyz
 parity check: C = xyzP
 C=1: an odd number of data bit error
 C=0: correct or an ever # of data bit error
Digital Circuits 3-57
Parity Generation and Checking
Digital Circuits 3-58
Parity Generation and Checking
Digital Circuits 3-59
3.10 Hardware Description Language (HDL)
 Describe the design of digital systems in a
textual form
 hardware structure
 function/behavior
 Timing
 VHDL and Verilog HDL
Digital Circuits 3-60
A Top-Down Design Flow
Specification
RTL design and
Simulation
Logic Synthesis
Gate Level Simulation
ASIC Layout FPGA Implementation
Digital Circuits 3-61
Module Declaration
 Examples of keywords:
module, end-module, input, output, wire, and, or,
and not.
Fig. 3-37
Circuit to demonstrate an HDL
Digital Circuits 3-62
HDL Example 3.1
 HDL description for circuit shown in Fig. 3.37
Digital Circuits 3-63
Gate Displays
Example: timescale directive
‘timescale 1 ns/100ps
Digital Circuits 3-64
HDL Example 3.2
 Gate-level description with propagation delays for
circuit shown in Fig. 3.37
Digital Circuits 3-65
HDL Example 3.3
 Test bench for simulating the circuit with delay
Digital Circuits 3-66
Simulation output for HDL Example 3.3
Digital Circuits 3-67
Boolean Expression
 Boolean expression for the circuit of Fig. 3.37
 Boolean expression:
HDL Example 3.4
Digital Circuits 3-68
HDL Example 3.4
Digital Circuits 3-69
User-Defined Primitives
 General rules:
 Declaration:
Implementing the hardware in Fig. 3.39
Digital Circuits 3-70
HDL Example 3.5
Digital Circuits 3-71
HDL Example 3.5 (Continued)
Digital Circuits 3-72
Fig. 3.39
Schematic for circuit with_UDP_02467

More Related Content

Similar to DLD BOOLEAN EXPRESSIONS

Digital Logic
Digital LogicDigital Logic
Digital Logic
Dilum Bandara
 
Lec 04 - Gate-level Minimization
Lec 04 - Gate-level MinimizationLec 04 - Gate-level Minimization
Lec 04 - Gate-level Minimization
Vajira Thambawita
 
B61301007 matlab documentation
B61301007 matlab documentationB61301007 matlab documentation
B61301007 matlab documentation
Manchireddy Reddy
 
Module 2 logic gates
Module 2  logic gatesModule 2  logic gates
Module 2 logic gatesDeepak John
 
ECE 2103_L6 Boolean Algebra Canonical Forms [Autosaved].pptx
ECE 2103_L6 Boolean Algebra Canonical Forms [Autosaved].pptxECE 2103_L6 Boolean Algebra Canonical Forms [Autosaved].pptx
ECE 2103_L6 Boolean Algebra Canonical Forms [Autosaved].pptx
MdJubayerFaisalEmon
 
ADVANCED ALGORITHMS-UNIT-3-Final.ppt
ADVANCED   ALGORITHMS-UNIT-3-Final.pptADVANCED   ALGORITHMS-UNIT-3-Final.ppt
ADVANCED ALGORITHMS-UNIT-3-Final.ppt
ssuser702532
 
Logic System Design KTU Chapter-4.ppt
Logic System Design KTU Chapter-4.pptLogic System Design KTU Chapter-4.ppt
Logic System Design KTU Chapter-4.ppt
Albin562191
 
Computer organiztion3
Computer organiztion3Computer organiztion3
Computer organiztion3Umang Gupta
 
Subquad multi ff
Subquad multi ffSubquad multi ff
Subquad multi ff
Fabian Velazquez
 
Nand or gates ver_student
Nand or gates ver_studentNand or gates ver_student
Nand or gates ver_student
WanNurdiana
 
Unit 4 dica
Unit 4 dicaUnit 4 dica
Unit 4 dica
Pavan Mukku
 
Elliptic curve scalar multiplier using karatsuba
Elliptic curve scalar multiplier using karatsubaElliptic curve scalar multiplier using karatsuba
Elliptic curve scalar multiplier using karatsuba
IAEME Publication
 
Digital electronics k map comparators and their function
Digital electronics k map comparators and their functionDigital electronics k map comparators and their function
Digital electronics k map comparators and their function
kumarankit06875
 
Basic gates and boolean algebra
Basic gates and boolean algebraBasic gates and boolean algebra
Basic gates and boolean algebraSudheesh S Madhav
 
Combinational and sequential logic
Combinational and sequential logicCombinational and sequential logic
Combinational and sequential logic
Deepak John
 
Dynamic Programming - Part 1
Dynamic Programming - Part 1Dynamic Programming - Part 1
Dynamic Programming - Part 1
Amrinder Arora
 
Lcdf4 chap 03_p2
Lcdf4 chap 03_p2Lcdf4 chap 03_p2
Lcdf4 chap 03_p2
ozgur_can
 
Fundamentals of Image Processing & Computer Vision with MATLAB
Fundamentals of Image Processing & Computer Vision with MATLABFundamentals of Image Processing & Computer Vision with MATLAB
Fundamentals of Image Processing & Computer Vision with MATLAB
Ali Ghanbarzadeh
 
Computer architecture
Computer architectureComputer architecture
Computer architecture
vishnu973656
 

Similar to DLD BOOLEAN EXPRESSIONS (20)

Digital Logic
Digital LogicDigital Logic
Digital Logic
 
Lec 04 - Gate-level Minimization
Lec 04 - Gate-level MinimizationLec 04 - Gate-level Minimization
Lec 04 - Gate-level Minimization
 
B61301007 matlab documentation
B61301007 matlab documentationB61301007 matlab documentation
B61301007 matlab documentation
 
Module 2 logic gates
Module 2  logic gatesModule 2  logic gates
Module 2 logic gates
 
ECE 2103_L6 Boolean Algebra Canonical Forms [Autosaved].pptx
ECE 2103_L6 Boolean Algebra Canonical Forms [Autosaved].pptxECE 2103_L6 Boolean Algebra Canonical Forms [Autosaved].pptx
ECE 2103_L6 Boolean Algebra Canonical Forms [Autosaved].pptx
 
ADVANCED ALGORITHMS-UNIT-3-Final.ppt
ADVANCED   ALGORITHMS-UNIT-3-Final.pptADVANCED   ALGORITHMS-UNIT-3-Final.ppt
ADVANCED ALGORITHMS-UNIT-3-Final.ppt
 
Logic System Design KTU Chapter-4.ppt
Logic System Design KTU Chapter-4.pptLogic System Design KTU Chapter-4.ppt
Logic System Design KTU Chapter-4.ppt
 
Computer organiztion3
Computer organiztion3Computer organiztion3
Computer organiztion3
 
Subquad multi ff
Subquad multi ffSubquad multi ff
Subquad multi ff
 
Nand or gates ver_student
Nand or gates ver_studentNand or gates ver_student
Nand or gates ver_student
 
Unit 4 dica
Unit 4 dicaUnit 4 dica
Unit 4 dica
 
Elliptic curve scalar multiplier using karatsuba
Elliptic curve scalar multiplier using karatsubaElliptic curve scalar multiplier using karatsuba
Elliptic curve scalar multiplier using karatsuba
 
Digital electronics k map comparators and their function
Digital electronics k map comparators and their functionDigital electronics k map comparators and their function
Digital electronics k map comparators and their function
 
Basic gates and boolean algebra
Basic gates and boolean algebraBasic gates and boolean algebra
Basic gates and boolean algebra
 
Es272 ch1
Es272 ch1Es272 ch1
Es272 ch1
 
Combinational and sequential logic
Combinational and sequential logicCombinational and sequential logic
Combinational and sequential logic
 
Dynamic Programming - Part 1
Dynamic Programming - Part 1Dynamic Programming - Part 1
Dynamic Programming - Part 1
 
Lcdf4 chap 03_p2
Lcdf4 chap 03_p2Lcdf4 chap 03_p2
Lcdf4 chap 03_p2
 
Fundamentals of Image Processing & Computer Vision with MATLAB
Fundamentals of Image Processing & Computer Vision with MATLABFundamentals of Image Processing & Computer Vision with MATLAB
Fundamentals of Image Processing & Computer Vision with MATLAB
 
Computer architecture
Computer architectureComputer architecture
Computer architecture
 

Recently uploaded

English lab ppt no titlespecENG PPTt.pdf
English lab ppt no titlespecENG PPTt.pdfEnglish lab ppt no titlespecENG PPTt.pdf
English lab ppt no titlespecENG PPTt.pdf
BrazilAccount1
 
Fundamentals of Electric Drives and its applications.pptx
Fundamentals of Electric Drives and its applications.pptxFundamentals of Electric Drives and its applications.pptx
Fundamentals of Electric Drives and its applications.pptx
manasideore6
 
Runway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptxRunway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptx
SupreethSP4
 
Standard Reomte Control Interface - Neometrix
Standard Reomte Control Interface - NeometrixStandard Reomte Control Interface - Neometrix
Standard Reomte Control Interface - Neometrix
Neometrix_Engineering_Pvt_Ltd
 
Investor-Presentation-Q1FY2024 investor presentation document.pptx
Investor-Presentation-Q1FY2024 investor presentation document.pptxInvestor-Presentation-Q1FY2024 investor presentation document.pptx
Investor-Presentation-Q1FY2024 investor presentation document.pptx
AmarGB2
 
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
MdTanvirMahtab2
 
road safety engineering r s e unit 3.pdf
road safety engineering  r s e unit 3.pdfroad safety engineering  r s e unit 3.pdf
road safety engineering r s e unit 3.pdf
VENKATESHvenky89705
 
Planning Of Procurement o different goods and services
Planning Of Procurement o different goods and servicesPlanning Of Procurement o different goods and services
Planning Of Procurement o different goods and services
JoytuBarua2
 
ASME IX(9) 2007 Full Version .pdf
ASME IX(9)  2007 Full Version       .pdfASME IX(9)  2007 Full Version       .pdf
ASME IX(9) 2007 Full Version .pdf
AhmedHussein950959
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
Amil Baba Dawood bangali
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
ankuprajapati0525
 
AP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specificAP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specific
BrazilAccount1
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Dr.Costas Sachpazis
 
weather web application report.pdf
weather web application report.pdfweather web application report.pdf
weather web application report.pdf
Pratik Pawar
 
power quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptxpower quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptx
ViniHema
 
DESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docxDESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docx
FluxPrime1
 
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxCFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
R&R Consult
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
bakpo1
 
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdfTop 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Teleport Manpower Consultant
 
ML for identifying fraud using open blockchain data.pptx
ML for identifying fraud using open blockchain data.pptxML for identifying fraud using open blockchain data.pptx
ML for identifying fraud using open blockchain data.pptx
Vijay Dialani, PhD
 

Recently uploaded (20)

English lab ppt no titlespecENG PPTt.pdf
English lab ppt no titlespecENG PPTt.pdfEnglish lab ppt no titlespecENG PPTt.pdf
English lab ppt no titlespecENG PPTt.pdf
 
Fundamentals of Electric Drives and its applications.pptx
Fundamentals of Electric Drives and its applications.pptxFundamentals of Electric Drives and its applications.pptx
Fundamentals of Electric Drives and its applications.pptx
 
Runway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptxRunway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptx
 
Standard Reomte Control Interface - Neometrix
Standard Reomte Control Interface - NeometrixStandard Reomte Control Interface - Neometrix
Standard Reomte Control Interface - Neometrix
 
Investor-Presentation-Q1FY2024 investor presentation document.pptx
Investor-Presentation-Q1FY2024 investor presentation document.pptxInvestor-Presentation-Q1FY2024 investor presentation document.pptx
Investor-Presentation-Q1FY2024 investor presentation document.pptx
 
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
 
road safety engineering r s e unit 3.pdf
road safety engineering  r s e unit 3.pdfroad safety engineering  r s e unit 3.pdf
road safety engineering r s e unit 3.pdf
 
Planning Of Procurement o different goods and services
Planning Of Procurement o different goods and servicesPlanning Of Procurement o different goods and services
Planning Of Procurement o different goods and services
 
ASME IX(9) 2007 Full Version .pdf
ASME IX(9)  2007 Full Version       .pdfASME IX(9)  2007 Full Version       .pdf
ASME IX(9) 2007 Full Version .pdf
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
 
AP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specificAP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specific
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
 
weather web application report.pdf
weather web application report.pdfweather web application report.pdf
weather web application report.pdf
 
power quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptxpower quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptx
 
DESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docxDESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docx
 
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxCFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
 
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdfTop 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
 
ML for identifying fraud using open blockchain data.pptx
ML for identifying fraud using open blockchain data.pptxML for identifying fraud using open blockchain data.pptx
ML for identifying fraud using open blockchain data.pptx
 

DLD BOOLEAN EXPRESSIONS

  • 1. Gate-Level Minimization Unit-1 Part-3  Introduction  The map method  Four-variable K-Map  Product of-Sums Simplification  Don’t –Care Conditions  NAND and NOR implementation  Other Two level Implementations
  • 2. Digital Circuits 3-2 3-1 Introduction  Gate-level minimization refers to the design task of finding an optimal gate-level implementation of Boolean functions describing a digital circuit.
  • 3. Digital Circuits 3-3 3-2 The Map Method  The complexity of the digital logic gates that implement a Boolean function is directly related to the complexity of the algebraic expression from which the function is implemented.  Logic minimization  Algebraic approaches  lack specific rules  It is a time consuming process.  Re-write the simplified expressions after each step.  The Karnaugh map (K-map)  It is a graphical method, which consists of 2n cells for ‘n’ variables.  The adjacent cells are differed only in single bit position.  If there are more than 5 variables, it is still possible to use Karnaugh maps, but it becomes more difficult to see patterns.  Quine-McClukey tabular method  It is a tabular method based on the concept of prime implicants.  Prime implicant is a product orsum term, which can’t be further reduced by combining with any other product orsum terms of the given Boolean function.
  • 4. Digital Circuits  A simple straight forward procedure.  A pictorial form of a truth table.  Applicable if the # of variables < 5  However, as the number of variables increases it becomes more difficult to see patterns, and computer methods start to become more attractive.  A diagram made up of squares  Each square represents one minterm.  Boolean function  Sum of minterms.  Sum of products (or product of sum) in the simplest form.  A minimum number of terms.  A minimum number of literals.  The simplified expression may not be unique. 3-4 Karnaugh map (K-map)
  • 5. Digital Circuits 3-5 Two-Variable Map  A two-variable map  four minterms  x' = row 0; x = row 1  y' = column 0; y = column 1  a truth table in square diagram  xy  x+y=x’y+xy’+xy Fig. 3.2 Representation of functions in the map
  • 6. Digital Circuits 3-6 A three-variable map  Eight minterms  The Gray code sequence  00, 01, 10, 11 (binary seq. ) = 00, 01, 11, 10 (gray code seq.)  Any two adjacent squares in the map differ by only on variable  Primed in one square and unprimed in the other  e.g., m5 and m7 can be simplified  m5+ m7 = xy'z + xyz = xz (y'+y) = xz
  • 7. Digital Circuits 3-7  Example 3-1  F(x,y,z) = S(2,3,4,5)  F = x'y + xy'
  • 8. Digital Circuits 3-8  m0 and m2 (m4 and m6) are adjacent  m0+ m2 = x'y'z' + x'yz' = x'z' (y'+y) = x'z'  m4+ m6 = xy'z' + xyz' = xz' (y'+y) = xz'
  • 9. Digital Circuits 3-9  Example 3-2  F(x,y,z) = S(3,4,6,7) = yz+ xz'
  • 10. Digital Circuits 3-10  Four adjacent squares  2, 4, 8 and 16 squares  m0+m2+m4+m6 = x'y'z'+x'yz'+xy'z'+xyz' = x'z'(y'+y) +xz'(y'+y) = x'z' + xz‘ = z'  m1+m3+m5+m7 = x'y'z+x'yz+xy'z+xyz =x'z(y'+y) + xz(y'+y) =x'z + xz = z
  • 11. Digital Circuits 3-11  Example 3-3  F(x,y,z) = S(0,2,4,5,6)  F = z'+ xy'
  • 12. Digital Circuits 3-12  Example 3-4  F = A'C + A'B + AB'C + BC  express it in sum of minterms  find the minimal sum of products expression
  • 14. Digital Circuits 3-14 3-3 Four-Variable Map  The map  16 minterms  combinations of 2, 4, 8, and 16 adjacent squares
  • 15. Digital Circuits 3-15  Example 3-5  F(w,x,y,z) = S(0,1,2,4,5,6,8,9,12,13,14)  F = y'+w'z'+xz'
  • 16. Digital Circuits 3-16  Example 3-6 Simplify the Boolean function F = ABC + BCD + ABCD + ABC
  • 18. Digital Circuits 3-18  Prime Implicants  all the minterms are covered.  minimize the number of terms.  a prime implicant: a product term obtained by combining the maximum possible number of adjacent squares (combining all possible maximum numbers of squares).  essential: a minterm is covered by only one prime implicant, that prime implicant is called essential.
  • 19. Digital Circuits 3-19  the simplified expression may not be unique  F = BD+B'D'+CD+AD = BD+B'D'+CD+AB = BD+B'D'+B'C+AD = BD+B'D'+B'C+AB' ( , , , ) (0,2,3,5,7,8,9,10,11,13,15) F A B C D   Consider
  • 20. Digital Circuits 3-20 3-4 Five-Variable Map  Map for more than four variables becomes complicated  five-variable map: two four-variable map (one on the top of the other)
  • 21. Digital Circuits 3-21  Table 3.1 shows the relationship between the number of adjacent squares and the number of literals in the term.
  • 22. Digital Circuits 3-22  Example 3-7  F = S(0,2,4,6,9,13,21,23,25,29,31) F = A'B'E'+BD'E+ACE
  • 23. Digital Circuits 3-23  Another Map for Example 3-7
  • 24. Digital Circuits 3-24 3-5 Product of Sums Simplification  Approach #1  Simplified F' in the form of sum of products  Apply DeMorgan's theorem F = (F')'  F': sum of products => F: product of sums  Approach #2: duality  combinations of maxterms (like it was minterms)  M0M1 = (A+B+C+D)(A+B+C+D') = (A+B+C)+(DD') = A+B+C CD AB 00 01 11 10 00 M0 M1 M3 M2 01 M4 M5 M7 M6 11 M12 M13 M15 M14 10 M8 M9 M11 M10
  • 25. Digital Circuits 3-25  Example 3-8  F = S(0,1,2,5,8,9,10)  F' = AB+CD+BD'  Apply DeMorgan's theorem; F=(A'+B')(C'+D')(B'+D)  Or think in terms of maxterms
  • 26. Digital Circuits 3-26  Gate implementation of the function of Example 3-8
  • 27. Digital Circuits 3-27  Consider the function defined in Table 3.2. ( , , ) (1,3,4,6) F x y z   In sum-of-minterm: In product-of-maxterm:   ) 7 , 5 , 2 , 0 ( ) , , ( z y x F
  • 28. Digital Circuits 3-28  Consider the function defined in Table 3.2. ( , , ) F x y z x z xz     Combine the 1’s: Combine the 0’s : z x xz F      z x z x F     Taking the complement of F ( , , ) ( )( ) F x y z x z x z     
  • 29. Digital Circuits 3-29 3-6 Don't-Care Conditions  The value of a function is not specified for certain combinations of variables  BCD; 1010-1111: don't care  The don't care conditions can be utilized in logic minimization  can be implemented as 0 or 1  Example 3-9  F (w,x,y,z) = S(1,3,7,11,15)  d(w,x,y,z) = S(0,2,5)
  • 30. Digital Circuits 3-30  F = yz + w'x'; F = yz + w'z  F = S(0,1,2,3,7,11,15) ; F = S(1,3,5,7,11,15)  either expression is acceptable  Also apply to products of sum
  • 31. Digital Circuits 3-31 3-7 NAND and NOR Implementation  NAND gate is a universal gate  can implement any digital system
  • 32. Digital Circuits 3-32  Two graphic symbols for a NAND gate
  • 33. Digital Circuits 3-33 Two-level Implementation  two-level logic  NAND-NAND = sum of products  Example: F = AB+CD  F = ((AB)' (CD)' )' =AB+CD Fig. 3-20 Three ways to implement F = AB + CD
  • 34. Digital Circuits 3-34  Example 3-10 ( , , ) (1,2,3,4,5,7) F x y z   ( , , ) F x y z xy x y z     
  • 35. Digital Circuits 3-35  The procedure  simplified in the form of sum of products  a NAND gate for each product term; the inputs to each NAND gate are the literals of the term  a single NAND gate for the second sum term
  • 36. Digital Circuits 3-36 Multilevel NAND Circuits  Boolean function implementation  AND-OR logic => NAND-NAND logic  AND => NAND + inverter  OR: inverter + OR = NAND Fig. 3.22 Implementing F = A(CD + B) + BC
  • 37. Digital Circuits 3-37 NAND Implementation Fig. 3.23 Implementing F = (AB +AB)(C+ D)
  • 38. Digital Circuits 3-38 NOR Implementation  NOR function is the dual of NAND function  The NOR gate is also universal
  • 39. Digital Circuits 3-39  Two graphic symbols for a NOR gate Example: F = (A + B)(C + D)E Fig. 3.26 Implementing F = (A + B)(C + D)E
  • 40. Digital Circuits 3-40 Example: F = (AB +AB)(C + D) Fig. 3.27 Implementing F = (AB +AB)(C + D) with NOR gates
  • 41. Digital Circuits 3-41  Boolean-function implementation  OR => NOR + INV  AND  INV + AND = NOR
  • 44. Digital Circuits 3-44 3-8 Other Two-level Implementations  Wired logic  NAND or NOR gates allow the possibility of aa wire connection between the outputs of two gates to provide a specific logic function.  open-collector TTL NAND gates: wired-AND logic  The AND gate is drawn with the lines going through the centre of the gate to distinguish it from a conventional gate.  A wired-logic gate does not produce a physical second-level gate, since it is just a wire connection.  The NOR output of ECL gates: wired-OR logic  Emitter-coupled logic (ECL) is a high-speed integrated circuit bipolar transistor logic family. ( ) ( ) ( ) ( )( ) ( ) ( ) [( )( )] F AB CD AB CD A B C D F A B C D A B C D                         AND-OR-INVERT function OR-AND-INVERT function
  • 45. Digital Circuits 3-45 Nondegenerate Forms  16 possible combinations of two-level forms  eight of them: degenerate forms = a single operation  Eight of these combinations are said to be degenerate forms because they degenerate to a single operation.  The eight nondegenerate forms  AND-OR, OR-AND, NAND-NAND, NOR-NOR, NOR-OR, NAND- AND, OR-NAND, AND-NOR  AND-OR and NAND-NAND = sum of products  OR-AND and NOR-NOR = product of sums  NOR-OR, NAND-AND, OR-NAND, AND-NOR = ?
  • 46. Digital Circuits 3-46 AND-OR-Invert Implementation  AND-OR-INVERT (AOI) Implementation  NAND-AND = AND-NOR = AOI  F = (AB+CD+E)'  F' = AB+CD+E(sum of products)  simplify F' in sum of products
  • 47. Digital Circuits 3-47  OR-AND-INVERT (OAI) Implementation  OR-NAND = NOR-OR = OAI  F = ((A+B)(C+D)E)'  F' = (A+B)(C+D)E (product of sums)  simplified F' in products of sum
  • 48. Digital Circuits 3-48 Tabular Summary and Examples  Example 3-11  F' = x'y+xy'+z (F': sum of products)  F = (x'y+xy'+z)' (F: AOI implementation)  F = x'y'z' + xyz' (F: sum of products)  F' = (x+y+z)(x'+y'+z) (F': product of sums)  F = ((x+y+z)(x'+y'+z))' (F: OAI)
  • 49. Digital Circuits 3-49 Tabular Summary and Examples
  • 51. Digital Circuits 3-51 3-9 Exclusive-OR Function  Exclusive-OR (XOR)  xy = xy'+x'y  Exclusive-NOR (XNOR)  (xy)' = xy + x'y'  Some identities  x0 = x  x1 = x'  xx = 0  xx' = 1  xy' = (xy)'  x'y = (xy)'  Commutative and associative  AB = BA  (AB) C = A (BC) = ABC
  • 52. Digital Circuits 3-52  Implementations  (x'+y')x + (x'+y')y = xy'+x'y = xy
  • 53. Digital Circuits 3-53 Odd function  ABC = (AB'+A'B)C' +(AB+A'B')C = AB'C'+A'BC'+ABC+A'B'C = S(1,2,4,7)  an odd number of 1's
  • 54. Digital Circuits 3-54  Logic diagram of odd and even functions
  • 55. Digital Circuits 3-55  Four-variable Exclusive-OR function  ABCD = (AB’+A’B)(CD’+C’D) = (AB’+A’B)(CD+C’D’)+(AB+A’B’)(CD’+C’D)
  • 56. Digital Circuits 3-56 Parity Generation and Checking  Parity Generation and Checking  a parity bit: P = xyz  parity check: C = xyzP  C=1: an odd number of data bit error  C=0: correct or an ever # of data bit error
  • 57. Digital Circuits 3-57 Parity Generation and Checking
  • 58. Digital Circuits 3-58 Parity Generation and Checking
  • 59. Digital Circuits 3-59 3.10 Hardware Description Language (HDL)  Describe the design of digital systems in a textual form  hardware structure  function/behavior  Timing  VHDL and Verilog HDL
  • 60. Digital Circuits 3-60 A Top-Down Design Flow Specification RTL design and Simulation Logic Synthesis Gate Level Simulation ASIC Layout FPGA Implementation
  • 61. Digital Circuits 3-61 Module Declaration  Examples of keywords: module, end-module, input, output, wire, and, or, and not. Fig. 3-37 Circuit to demonstrate an HDL
  • 62. Digital Circuits 3-62 HDL Example 3.1  HDL description for circuit shown in Fig. 3.37
  • 63. Digital Circuits 3-63 Gate Displays Example: timescale directive ‘timescale 1 ns/100ps
  • 64. Digital Circuits 3-64 HDL Example 3.2  Gate-level description with propagation delays for circuit shown in Fig. 3.37
  • 65. Digital Circuits 3-65 HDL Example 3.3  Test bench for simulating the circuit with delay
  • 66. Digital Circuits 3-66 Simulation output for HDL Example 3.3
  • 67. Digital Circuits 3-67 Boolean Expression  Boolean expression for the circuit of Fig. 3.37  Boolean expression: HDL Example 3.4
  • 69. Digital Circuits 3-69 User-Defined Primitives  General rules:  Declaration: Implementing the hardware in Fig. 3.39
  • 71. Digital Circuits 3-71 HDL Example 3.5 (Continued)
  • 72. Digital Circuits 3-72 Fig. 3.39 Schematic for circuit with_UDP_02467