Assessing Fault Model and Test Quality

kS FormS=k,S?k.- 7.5.5 Symmetric Functions with M-sets Integrally Divisible by a Constantc(not Divisible byc).- 7.6 Uniqueness Argument.- 7.7 OBDDs for Tree Circuits.- 7.8 OBDD Size Summary.- 8. Difference Propagation.- 8.1 The Development of Difference Propagation.- 8.2 Deriving the Input-Output Relationships.- 8.3 The Difference Propagation Algorithm.- 8.4 The Efficiency of Differences.- 8.5 Using Functional Decomposition.- 8.5.1 "Random" Decomposition.- 8.5.2 Threshold Decomposition.- 8.5.3 Minimum Circuit Width Approach.- 8.5.4 Empirical Comparison of Decomposition Techniques.- 9. Fault Model Behavior.- 9.1 Selection of Fault Models and Fault Sets.- 9.1.1 Stuck-at Fault Sets.- 9.1.2 Bridging Fault Sets.- 9.2 Fault Behavior Results and Analysis.- 9.2.1 Stuck-at Fault Behavior.- 9.2.2 Bridging Fault Behavior.- 10.The Contributions of Con/Obs to Test.- 10.1 Motivation to Study Con/Obs.- 10.2 Definitions of Con/Obs.- 10.3 Generating Con/Obs Information.- 10.3.1 Calculating Fault Controllability Functions.- 10.3.2 Calculating Fault Observability Functions.- 10.4 Con/Obs Results and Analysis.- 10.5 Con/Obs Summary.- 11.Analyzing Test Performance.- 11.1 Defect Level Motivation.- 11.2 ATPG Model Development.- 11.3 Fault Set Selectability.- 11.4 Probabilistic Non-Target Defect Coverage.- 11.5 Faults Sets.- 11.6 Test Performance Results.- 11.7 Implications to Defect Level.- 12. Conclusions.- 13.Suggestions for Future Research.- 13.1 Extensions to OBDD Size Research.- 13.2 Extensions to Difference Propagation.- 13.3 Extensions to Test Quality Research.- 13.4 Using Ordered Partial Decision Diagrams.- 13.5 General Extensions.