SlideShare a Scribd company logo
VLSI Testing - Boolean difference method
Dr. D. V. Kamath
Professor, Department of E&C Engg.,
Manipal Institute of Technology, Manipal
1
2
Boolean difference method
Boolean difference is a type of deterministic method for finding TV
BD gives all possible test vectors
3
Conceptual view of ATPG
Generate an input test vector that can distinguish the defect free
circuit from the hypothetically defective one
4
Boolean difference method
Theoretical basis – Boolean difference
The output of the circuit is given as 𝑓 = 𝑥. 𝑦 + 𝑦 . z
Let target fault be y s-a-0 . Under this condition, the output of the
faulty circuit is shown to be 𝑓𝑦 = f/ y = 0
Generate an input test vector such that 𝑓𝑦 ⊕ 𝑓𝑦 = 1
5
Boolean difference method
 𝑓𝑦 ⊕ 𝑓𝑦 = 1 if and only if 𝑓𝑦 and 𝑓𝑦 result in opposing logic
values
 Any TV that can set 𝑓𝑦 XOR 𝑓𝑦 = 1 is able to produce opposing
values at the outputs of the fault-free and faulty circuits
respectively

𝑑𝑓
𝑑𝑦
= 𝑓𝑦 ⊕ 𝑓𝑦
 Now to test the fault say y at s-a-0, we need to initialize the
node y to 1 (i.e., y = 1) and
𝑑𝑓
𝑑𝑦
= 1 i.e., y .
𝒅𝒇
𝒅𝒚
= 1
 Similarly, to test the fault say y at s-a-1 i.e., 𝒚 .
𝒅𝒇
𝒅𝒚
= 1
6
Boolean difference example
Find TV to test fault s-a-0 at node y using Boolean difference method
y .
𝐝𝐟
𝐝𝐲
= y. 𝐟 𝐲 ⊕ 𝐟 𝐲 = y. 𝐱 ⊕ 𝐳 = 𝐱 . y . z + x. y. 𝐳
y .
𝐝𝐟
𝐝𝐲
= 1 will give the required TV
TV will be x y z = {011, 110}
𝑓 = 𝑥. 𝑦 + 𝑦 . z ; 𝑓𝑦 = 𝑥 ; 𝑓𝑦 = 𝑧
7
Boolean difference example
Find TV to test fault s-a-0 at node w using BD method
w .
𝐝𝐟
𝐝𝐰
= w. 𝐟 𝐰 ⊕ 𝐟 𝐰 = 𝐲 . z 𝟏 ⊕ 𝐱. 𝐲 = 𝐲 . z 𝐱 + 𝐲 = 𝐱 𝐲 𝐳 + 𝐲 z =𝐲 z
w .
𝐝𝐟
𝐝𝐰
= 1 will give the required TV
TV will be x y z = {x01}
𝑓 = 𝑥. 𝑦 + 𝑤 ; 𝑤 = 𝑦 . z ; 𝑓𝑤= 1 ; 𝑓𝑤 = 𝑥. 𝑦
8
Boolean difference example
Find TV to test fault s-a-0 at node Z using BD method
 z .
𝑑𝑓
𝑑𝑧
= z. 𝑓𝑧 ⊕ 𝑓𝑧 = 1 will give the required TV
 But, 𝑓𝑧⊕𝑓𝑧 = 0
 The condition for testability ( 𝑓𝑧⊕𝑓𝑧 = 1 ) is not satisfiable
 Hence, the fault is undetectable
 Redundancy in the circuit is the cause for undetectable faults
𝑓 = 𝑥. 𝑦 + 𝑥. 𝑦. 𝑧 ; 𝑓𝑧= 𝑥. 𝑦 ; 𝑓𝑧 = 𝑥. 𝑦
9
Boolean difference method
Summary
 Given a circuit with output f and fault α s-a- b
 The set of test vectors that can detect this fault
includes all the vectors that satisfy
(α = 𝑏 ).
𝑑𝑓
𝑑α
= 1
10
• reachdvkamath@yahoo.com
• dv.kamath@manipal.edu
Contact

More Related Content

What's hot

Vlsi
VlsiVlsi
Combinational & Sequential ATPG.pdf
Combinational & Sequential ATPG.pdfCombinational & Sequential ATPG.pdf
Combinational & Sequential ATPG.pdf
MoinPasha12
 
prom,pld problems
prom,pld problemsprom,pld problems
prom,pld problemsAnish Gupta
 
Lecture 2 verilog
Lecture 2   verilogLecture 2   verilog
Lecture 2 verilogvenravi10
 
VLSI testing and analysis
VLSI testing and analysisVLSI testing and analysis
VLSI testing and analysis
Surekha PuriGosavi
 
Vlsi testing
Vlsi testingVlsi testing
Vlsi testing
Dilip Mathuria
 
Fault Simulation (Testing of VLSI Design)
Fault Simulation (Testing of VLSI Design)Fault Simulation (Testing of VLSI Design)
Fault Simulation (Testing of VLSI Design)
Usha Mehta
 
Synchronous and asynchronous reset
Synchronous and asynchronous resetSynchronous and asynchronous reset
Synchronous and asynchronous reset
Nallapati Anindra
 
Logic synthesis using Verilog HDL
Logic synthesis using Verilog HDLLogic synthesis using Verilog HDL
Logic synthesis using Verilog HDL
anand hd
 
PAL And PLA ROM
PAL And PLA ROMPAL And PLA ROM
PAL And PLA ROM
RONAK SUTARIYA
 
Level sensitive scan design(LSSD) and Boundry scan(BS)
Level sensitive scan design(LSSD) and Boundry scan(BS)Level sensitive scan design(LSSD) and Boundry scan(BS)
Level sensitive scan design(LSSD) and Boundry scan(BS)
Praveen Kumar
 
Verilog tutorial
Verilog tutorialVerilog tutorial
Verilog tutorial
Maryala Srinivas
 
Programmable logic array
Programmable logic arrayProgrammable logic array
Programmable logic array
Huba Akhtar
 
Verilog Tutorial - Verilog HDL Tutorial with Examples
Verilog Tutorial - Verilog HDL Tutorial with ExamplesVerilog Tutorial - Verilog HDL Tutorial with Examples
Verilog Tutorial - Verilog HDL Tutorial with Examples
E2MATRIX
 
Vlsi design mosfet
Vlsi design mosfetVlsi design mosfet
Vlsi design mosfetvennila12
 
Digital electronics logic families
Digital electronics logic familiesDigital electronics logic families
Digital electronics logic families
BLESSINAR0
 
Asynchronous Sequential Circuit-Unit 4 ppt
Asynchronous Sequential Circuit-Unit 4 pptAsynchronous Sequential Circuit-Unit 4 ppt
Asynchronous Sequential Circuit-Unit 4 ppt
SIVALAKSHMIPANNEERSE
 
VLSI Testing Techniques
VLSI Testing TechniquesVLSI Testing Techniques
VLSI Testing Techniques
A B Shinde
 
Modules and ports in Verilog HDL
Modules and ports in Verilog HDLModules and ports in Verilog HDL
Modules and ports in Verilog HDL
anand hd
 
Time base Generators (part-1)
Time base Generators (part-1)Time base Generators (part-1)
Time base Generators (part-1)
m balaji
 

What's hot (20)

Vlsi
VlsiVlsi
Vlsi
 
Combinational & Sequential ATPG.pdf
Combinational & Sequential ATPG.pdfCombinational & Sequential ATPG.pdf
Combinational & Sequential ATPG.pdf
 
prom,pld problems
prom,pld problemsprom,pld problems
prom,pld problems
 
Lecture 2 verilog
Lecture 2   verilogLecture 2   verilog
Lecture 2 verilog
 
VLSI testing and analysis
VLSI testing and analysisVLSI testing and analysis
VLSI testing and analysis
 
Vlsi testing
Vlsi testingVlsi testing
Vlsi testing
 
Fault Simulation (Testing of VLSI Design)
Fault Simulation (Testing of VLSI Design)Fault Simulation (Testing of VLSI Design)
Fault Simulation (Testing of VLSI Design)
 
Synchronous and asynchronous reset
Synchronous and asynchronous resetSynchronous and asynchronous reset
Synchronous and asynchronous reset
 
Logic synthesis using Verilog HDL
Logic synthesis using Verilog HDLLogic synthesis using Verilog HDL
Logic synthesis using Verilog HDL
 
PAL And PLA ROM
PAL And PLA ROMPAL And PLA ROM
PAL And PLA ROM
 
Level sensitive scan design(LSSD) and Boundry scan(BS)
Level sensitive scan design(LSSD) and Boundry scan(BS)Level sensitive scan design(LSSD) and Boundry scan(BS)
Level sensitive scan design(LSSD) and Boundry scan(BS)
 
Verilog tutorial
Verilog tutorialVerilog tutorial
Verilog tutorial
 
Programmable logic array
Programmable logic arrayProgrammable logic array
Programmable logic array
 
Verilog Tutorial - Verilog HDL Tutorial with Examples
Verilog Tutorial - Verilog HDL Tutorial with ExamplesVerilog Tutorial - Verilog HDL Tutorial with Examples
Verilog Tutorial - Verilog HDL Tutorial with Examples
 
Vlsi design mosfet
Vlsi design mosfetVlsi design mosfet
Vlsi design mosfet
 
Digital electronics logic families
Digital electronics logic familiesDigital electronics logic families
Digital electronics logic families
 
Asynchronous Sequential Circuit-Unit 4 ppt
Asynchronous Sequential Circuit-Unit 4 pptAsynchronous Sequential Circuit-Unit 4 ppt
Asynchronous Sequential Circuit-Unit 4 ppt
 
VLSI Testing Techniques
VLSI Testing TechniquesVLSI Testing Techniques
VLSI Testing Techniques
 
Modules and ports in Verilog HDL
Modules and ports in Verilog HDLModules and ports in Verilog HDL
Modules and ports in Verilog HDL
 
Time base Generators (part-1)
Time base Generators (part-1)Time base Generators (part-1)
Time base Generators (part-1)
 

Similar to Testing boolean difference

Boolean difference examples
Boolean difference examplesBoolean difference examples
Boolean difference examples
Aledin Group of Companies
 
power system analysis lecture 1
power system analysis lecture 1power system analysis lecture 1
power system analysis lecture 1
Audih Alfaoury
 
14911259.ppt
14911259.ppt14911259.ppt
14911259.ppt
ssuser05e57e
 
test generation
test generationtest generation
test generation
dennis gookyi
 
Daa chapter10
Daa chapter10Daa chapter10
Daa chapter10
B.Kirron Reddi
 
Orthogonality
OrthogonalityOrthogonality
Orthogonality
ChandanaBhusal
 
Quantum Computation Introduction
Quantum Computation IntroductionQuantum Computation Introduction
Quantum Computation Introduction
The Chinese University of Hong Kong
 

Similar to Testing boolean difference (7)

Boolean difference examples
Boolean difference examplesBoolean difference examples
Boolean difference examples
 
power system analysis lecture 1
power system analysis lecture 1power system analysis lecture 1
power system analysis lecture 1
 
14911259.ppt
14911259.ppt14911259.ppt
14911259.ppt
 
test generation
test generationtest generation
test generation
 
Daa chapter10
Daa chapter10Daa chapter10
Daa chapter10
 
Orthogonality
OrthogonalityOrthogonality
Orthogonality
 
Quantum Computation Introduction
Quantum Computation IntroductionQuantum Computation Introduction
Quantum Computation Introduction
 

More from Anish Gupta

xilinx fpga problems
xilinx fpga problemsxilinx fpga problems
xilinx fpga problemsAnish Gupta
 
actel fpga problems
actel fpga problemsactel fpga problems
actel fpga problemsAnish Gupta
 
vlsi design flow
vlsi design flowvlsi design flow
vlsi design flowAnish Gupta
 
fpga programming
fpga programmingfpga programming
fpga programmingAnish Gupta
 

More from Anish Gupta (7)

xilinx fpga problems
xilinx fpga problemsxilinx fpga problems
xilinx fpga problems
 
actel fpga problems
actel fpga problemsactel fpga problems
actel fpga problems
 
vlsi design flow
vlsi design flowvlsi design flow
vlsi design flow
 
DSD
DSDDSD
DSD
 
fpga programming
fpga programmingfpga programming
fpga programming
 
cplds
cpldscplds
cplds
 
Actel fpga
Actel fpgaActel fpga
Actel fpga
 

Recently uploaded

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
 
CME397 Surface Engineering- Professional Elective
CME397 Surface Engineering- Professional ElectiveCME397 Surface Engineering- Professional Elective
CME397 Surface Engineering- Professional Elective
karthi keyan
 
一比一原版(UofT毕业证)多伦多大学毕业证成绩单如何办理
一比一原版(UofT毕业证)多伦多大学毕业证成绩单如何办理一比一原版(UofT毕业证)多伦多大学毕业证成绩单如何办理
一比一原版(UofT毕业证)多伦多大学毕业证成绩单如何办理
ydteq
 
Hierarchical Digital Twin of a Naval Power System
Hierarchical Digital Twin of a Naval Power SystemHierarchical Digital Twin of a Naval Power System
Hierarchical Digital Twin of a Naval Power System
Kerry Sado
 
ethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.pptethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.ppt
Jayaprasanna4
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
bakpo1
 
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
thanhdowork
 
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
 
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
 
Final project report on grocery store management system..pdf
Final project report on grocery store management system..pdfFinal project report on grocery store management system..pdf
Final project report on grocery store management system..pdf
Kamal Acharya
 
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
 
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
 
H.Seo, ICLR 2024, MLILAB, KAIST AI.pdf
H.Seo,  ICLR 2024, MLILAB,  KAIST AI.pdfH.Seo,  ICLR 2024, MLILAB,  KAIST AI.pdf
H.Seo, ICLR 2024, MLILAB, KAIST AI.pdf
MLILAB
 
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
AJAYKUMARPUND1
 
Water Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation and Control Monthly - May 2024.pdfWater Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation & Control
 
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdfHybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
fxintegritypublishin
 
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
 
MCQ Soil mechanics questions (Soil shear strength).pdf
MCQ Soil mechanics questions (Soil shear strength).pdfMCQ Soil mechanics questions (Soil shear strength).pdf
MCQ Soil mechanics questions (Soil shear strength).pdf
Osamah Alsalih
 
Railway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdfRailway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdf
TeeVichai
 
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
 

Recently uploaded (20)

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
 
CME397 Surface Engineering- Professional Elective
CME397 Surface Engineering- Professional ElectiveCME397 Surface Engineering- Professional Elective
CME397 Surface Engineering- Professional Elective
 
一比一原版(UofT毕业证)多伦多大学毕业证成绩单如何办理
一比一原版(UofT毕业证)多伦多大学毕业证成绩单如何办理一比一原版(UofT毕业证)多伦多大学毕业证成绩单如何办理
一比一原版(UofT毕业证)多伦多大学毕业证成绩单如何办理
 
Hierarchical Digital Twin of a Naval Power System
Hierarchical Digital Twin of a Naval Power SystemHierarchical Digital Twin of a Naval Power System
Hierarchical Digital Twin of a Naval Power System
 
ethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.pptethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.ppt
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
 
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
 
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
 
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
 
Final project report on grocery store management system..pdf
Final project report on grocery store management system..pdfFinal project report on grocery store management system..pdf
Final project report on grocery store management system..pdf
 
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
 
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
 
H.Seo, ICLR 2024, MLILAB, KAIST AI.pdf
H.Seo,  ICLR 2024, MLILAB,  KAIST AI.pdfH.Seo,  ICLR 2024, MLILAB,  KAIST AI.pdf
H.Seo, ICLR 2024, MLILAB, KAIST AI.pdf
 
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
 
Water Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation and Control Monthly - May 2024.pdfWater Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation and Control Monthly - May 2024.pdf
 
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdfHybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdf
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.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
 
MCQ Soil mechanics questions (Soil shear strength).pdf
MCQ Soil mechanics questions (Soil shear strength).pdfMCQ Soil mechanics questions (Soil shear strength).pdf
MCQ Soil mechanics questions (Soil shear strength).pdf
 
Railway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdfRailway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdf
 
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
 

Testing boolean difference

  • 1. VLSI Testing - Boolean difference method Dr. D. V. Kamath Professor, Department of E&C Engg., Manipal Institute of Technology, Manipal 1
  • 2. 2 Boolean difference method Boolean difference is a type of deterministic method for finding TV BD gives all possible test vectors
  • 3. 3 Conceptual view of ATPG Generate an input test vector that can distinguish the defect free circuit from the hypothetically defective one
  • 4. 4 Boolean difference method Theoretical basis – Boolean difference The output of the circuit is given as 𝑓 = 𝑥. 𝑦 + 𝑦 . z Let target fault be y s-a-0 . Under this condition, the output of the faulty circuit is shown to be 𝑓𝑦 = f/ y = 0 Generate an input test vector such that 𝑓𝑦 ⊕ 𝑓𝑦 = 1
  • 5. 5 Boolean difference method  𝑓𝑦 ⊕ 𝑓𝑦 = 1 if and only if 𝑓𝑦 and 𝑓𝑦 result in opposing logic values  Any TV that can set 𝑓𝑦 XOR 𝑓𝑦 = 1 is able to produce opposing values at the outputs of the fault-free and faulty circuits respectively  𝑑𝑓 𝑑𝑦 = 𝑓𝑦 ⊕ 𝑓𝑦  Now to test the fault say y at s-a-0, we need to initialize the node y to 1 (i.e., y = 1) and 𝑑𝑓 𝑑𝑦 = 1 i.e., y . 𝒅𝒇 𝒅𝒚 = 1  Similarly, to test the fault say y at s-a-1 i.e., 𝒚 . 𝒅𝒇 𝒅𝒚 = 1
  • 6. 6 Boolean difference example Find TV to test fault s-a-0 at node y using Boolean difference method y . 𝐝𝐟 𝐝𝐲 = y. 𝐟 𝐲 ⊕ 𝐟 𝐲 = y. 𝐱 ⊕ 𝐳 = 𝐱 . y . z + x. y. 𝐳 y . 𝐝𝐟 𝐝𝐲 = 1 will give the required TV TV will be x y z = {011, 110} 𝑓 = 𝑥. 𝑦 + 𝑦 . z ; 𝑓𝑦 = 𝑥 ; 𝑓𝑦 = 𝑧
  • 7. 7 Boolean difference example Find TV to test fault s-a-0 at node w using BD method w . 𝐝𝐟 𝐝𝐰 = w. 𝐟 𝐰 ⊕ 𝐟 𝐰 = 𝐲 . z 𝟏 ⊕ 𝐱. 𝐲 = 𝐲 . z 𝐱 + 𝐲 = 𝐱 𝐲 𝐳 + 𝐲 z =𝐲 z w . 𝐝𝐟 𝐝𝐰 = 1 will give the required TV TV will be x y z = {x01} 𝑓 = 𝑥. 𝑦 + 𝑤 ; 𝑤 = 𝑦 . z ; 𝑓𝑤= 1 ; 𝑓𝑤 = 𝑥. 𝑦
  • 8. 8 Boolean difference example Find TV to test fault s-a-0 at node Z using BD method  z . 𝑑𝑓 𝑑𝑧 = z. 𝑓𝑧 ⊕ 𝑓𝑧 = 1 will give the required TV  But, 𝑓𝑧⊕𝑓𝑧 = 0  The condition for testability ( 𝑓𝑧⊕𝑓𝑧 = 1 ) is not satisfiable  Hence, the fault is undetectable  Redundancy in the circuit is the cause for undetectable faults 𝑓 = 𝑥. 𝑦 + 𝑥. 𝑦. 𝑧 ; 𝑓𝑧= 𝑥. 𝑦 ; 𝑓𝑧 = 𝑥. 𝑦
  • 9. 9 Boolean difference method Summary  Given a circuit with output f and fault α s-a- b  The set of test vectors that can detect this fault includes all the vectors that satisfy (α = 𝑏 ). 𝑑𝑓 𝑑α = 1