Digital system test and testable design using HDL models and architectures /
Zainalabedin Navabi
- 1st ed.
- New York : Springer, c2011
- 1 online resource (xxiii, 435 p.) : ill
Includes bibliographical references and index
Note continued: Simple Sequential Testbench -- Limiting Data Sets -- Synchronized Data and Response Handling -- Random Time Intervals -- Text IO -- Simulation Code Coverage -- PLI Basics -- Access Routines -- Steps for HDL/PLI Implementation -- Fault Injection in the HDL/PLI Environment -- Summary -- References -- Fault and Defect Modeling -- Fault Modeling -- Fault Abstraction -- Functional Faults -- Structural Faults -- Structural Gate Level Faults -- Recognizing Faults -- Stuck-Open Faults -- Stuck-at-0 Faults -- Stuck-at-1 Faults -- Bridging Faults -- State-Dependent Faults -- Multiple Faults -- Single Stuck-at Structural Faults -- Detecting Single Stuck-at Faults -- Issues Related to Gate Level Faults -- Deteeting Bridging Faults -- Undetectable Faults -- Redundant Faults -- Fault Collapsing -- Indistinguishable Faults -- Equivalent Single Stuck-al Faults -- Gate-Oriented Fault Collapsing -- Line-Oriented Fault Collapsing -- Problem with Reconvergenl Fanouts -- Dominance Fault Collapsing -- Fault Collapsing in Verilog -- Verilog Testbench for Fault Collapsing -- PLI Implementation of Fault Collapsing -- Summary -- References -- Fault Simulation Applications and Methods -- Fault Simulation -- Gate-Level Fault Simulation -- Fault Simulation Requirements -- HDL Environment -- Sequential Circuit Fault Simulation -- Fault Dropping -- Related Terminologies -- Fault Simulation Applications -- Fault Coverage -- Fault Simulation in Test Generation -- 2.8.3. 2.8.4. 2.8.5. 2.8.6. 2.8.7. 2.8.8. 2.9. 2.9.1. 2.9.2. 2.9.3. 2.10. 3. 3.1. 3.1.1. 3.1.2. 3.1.3. 3.2. 3.2.1. 3.2.2. 3.2.3. 3.2.4. 3.2.5. 3.2.6. 3.2.7. 3.2.8. 3.2.9. 3.3. 3.3.1. 3.3.2. 3.3.3. 3.4. 3.4.1. 3.4.2. 3.4.3. 3.4.4. 3.4.5. 3.4.6. 3.5. 3.5.1. 3.5.2. 3.6. 4. 4.1. 4.1.1. 4.1.2. 4.1.3. 4.1.4. 4.1.5. 4.1.6. 4.2. 4.2.1. 4.2.2. Note continued: Fault Dictionary Creation -- Fault Simulation Technologies -- Serial Fault Simulation -- Parallel Fault Simulation -- Concurrent Fault Simulation -- Deductive Fault Simulation -- Comparison of Deductive Fault Simulation -- Critical Path Tracing Fault Simulation -- Differential Fault Simulation -- Summary -- References -- Test Pattern Generation Methods and Algorithms -- Test Generation Basics -- Boolean Difference -- Test Generation Process -- Fault and Tests -- Terminologies and Definitions -- Controllability and Observability -- Controllability -- Observability -- Probability-Based Controllability and Observability -- SCOAP Controllability and Observability -- Distances Based -- Random Test Generation -- Limiting Number of Random Tests -- Combinational Circuit RTG -- Sequential Circuit RTG -- Summary -- References -- Deterministic Test Generation Algorithms -- Deterministic Test Generation Methods -- Two-Phase Test Generation -- Fault-Oriented TG Basics -- D-Algorithm -- PODEM (Path-Oriented Test Generation) -- Other Deterministic Fault-Oriented TG Methods -- Fault-Independent Test Generation -- Sequential Circuit Test Generation -- Test Data Compaction -- Forms of Test Compaction -- Test Compatibility -- Static Compaction -- Dynamic Compaction -- Summary -- References -- Design for Test by Means of Scan -- Making Circuits Testable -- Tradeoffs -- Testing Sequential Circuits -- Testability of Combinational Circuits -- Testability Insertion -- Improving Observability -- 4.2.3. 4.3. 4.3.1. 4.3.2. 4.3.3. 4.3.4. 4.3.5. 4.3.6. 4.3.7. 4.4. 5. 5.1. 5.1.1. 5.1.2. 5.1.3. 5.1.4. 5.2. 5.2.1. 5.2.2. 5.2.3. 5.2.4. 5.2.5. 5.3. 5.3.1. 5.3.2. 5.3.3. 5.4. 6. 6.1. 6.1.1. 6.1.2. 6.1.3. 6.1.4. 6.1.5. 6.1.6. 6.2. 6.3. 6.3.1. 6.3.2. 6.3.3. 6.3.4. 6.4. 7. 7.1. 7.1.1. 7.1.2. 7.1.3. 7.2. 7.2.1. Note continued: Improving Controllability -- Sharing Observability Pins -- Sharing Control Pins -- Reducing Select Inputs -- Simultaneous Control and Observation -- Full Scan DFTTechnique -- Full Scan Insertion -- Flip-Flop Structures -- Full Scan Design and Test -- Scan Architectures -- Full Scan Design -- Shadow Register DFT -- Partial Scan Methods -- Multiple Scan Design -- Other Scan Designs -- RT Level Scan Design -- RTL Design Full Scan -- RTL Design Multiple Scan -- Scan Designs for RTL -- Summary -- References -- Standard IEEE Test Access Methods -- Boundary Scan Basics -- Boundary Scan Architecture -- Test Access Port -- Boundary Scan Registers -- TAP Controller -- Decoder Unit -- Select and Other Units -- Boundary Scan Test Instructions -- Mandatory Instructions -- Board Level Scan Chain Structure -- One Serial Scan Chain -- Multiple-Scan Chain with One Control Test Port -- Multiple-Scan Chains with One TDI, TDO but Multiple TMS -- Multiple-Scan Chain, Multiple Access Port -- RT Level Boundary Scan -- Inserting Boundary Scan Test Hardware for CUT -- Two Module Test Case -- Virtual Boundary Scan Tester -- Boundary Scan Description Language -- Summary -- References -- Logic Built-in Self-test -- BIST Basics -- Memory-based BIST -- BIST Effectiveness -- BISTTypes -- Designing a BIST -- Test Pattern Generation -- Engaging TPGs -- Exhaustive Counters -- Ring Counters -- Twisted Ring Counter -- Linear Feedback Shift Register -- 7.2.2. 7.2.3. 7.2.4. 7.2.5. 7.2.6. 7.3. 7.3.1. 7.3.2. 7.3.3. 7.4. 7.4.1. 7.4.2. 7.4.3. 7.4.4. 7.4.5. 7.5. 7.5.1. 7.5.2. 7.5.3. 7.6. 8. 8.1. 8.2. 8.2.1. 8.2.2. 8.2.3. 8.2.4. 8.2.5. 8.3. 8.3.1. 8.4. 8.4.1. 8.4.2. 8.4.3. 8.4.4. 8.5. 8.5.1. 8.5.2. 8.5.3. 8.6. 8.7. 9. 9.1. 9.1.1. 9.1.2. 9.1.3. 9.1.4. 9.2. 9.2.1. 9.2.2. 9.2.3. 9.2.4. 9.2.5. Note continued: Output Response Analysis -- Engaging ORAs -- One's Counter -- Transition Counter -- Parity Checking -- Serial LFSRs (SISR) -- Parallel Signature Analysis -- BIST Architectures -- BTST-related Terminologies -- Centralized and Separate Board-level BIST Architecture (CSBL) -- Built-in Evaluation and Self-test (BEST) -- Random Test Socket (RTS) -- LSSD On-chip Self Test -- Self-testing Using MTSR and SRSG -- Concurrent BIST -- BILBO -- Enhancing Coverage -- RT Level BIST Design -- CUT Design, Simulation, and Synthesis -- RTS BIST Insertion -- Configuring the RTS BIST -- Incorporating Configurations in BIST -- Design of STUMPS -- RTS and STUMPS Results -- Summary -- References -- Test Compression -- Test Data Compression -- Compression Methods -- Code-based Schemes -- Scan-based Schemes -- Decompression Methods -- Decompression Unit Architecture -- Cyclical Scan Chain -- Code-based Decompression -- Scan-based Decompression -- Summary -- References -- Memory Testing by Means of Memory BIST -- Memory Testing -- Memory Structure -- Memory Fault Model -- Stuck-At Faults -- Transition Faults -- Coupling Faults -- Bridging and State CFs -- Functional Test Procedures -- March Test Algorithms -- March C-Algorithm -- MATS+Algorithm -- Other March Tests -- MBIST Methods -- Simple March MBIST -- March C- MBIST -- Disturb MBIST -- Summary -- References 9.3. 9.3.1. 9.3.2. 9.3.3. 9.3.4. 9.3.5. 9.3.6. 9.4. 9.4.1. 9.4.2. 9.4.3. 9.4.4. 9.4.5. 9.4.6. 9.4.7. 9.4.8. 9.4.9. 9.5. 9.5.1. 9.5.2. 9.5.3. 9.5.4. 9.5.5. 9.5.6. 9.6. 10. 10.1. 10.2. 10.2.1. 10.2.2. 10.3. 10.3.1. 10.3.2. 10.3.3. 10.3.4. 10.4. 11. 11.1. 11.2. 11.3. 11.3.1. 11.3.2. 11.3.3. 11.3.4. 11.4. 11.4.1. 11.4.2. 11.4.3. 11.4.4. 11.5. 11.5.1. 11.5.2. 11.5.3. 11.6.