VLSI Testing & Testability
VLSI Testing & Testability
Course Objectives This course covers introduction to the concepts and techniques of VLSI (Very Large
Scale Integration) design verification and testing. Details of test economy, fault
modeling and simulation, defects, Automatic Test Pattern Generation (ATPG), design
for testability, and built-in self-test (BIST) also covered.
Basic of VLSI testing, Scope of testing and verification in VLSI design process, Issues in test and verification of
complex chips, embedded cores and SOCs.
Fault models, fault detection and redundancy, fault equivalence and fault location, fault dominance, automatic test
pattern generation, Design for testability, Scan design, Test interface and boundary scan. System testing and test for
SOCs. Delay fault testing.
BIST for testing of logic and memories, Test automation, Design verification techniques based on simulation,
analytical and formal approaches.
Functional verification, Timing verification, Formal verification, Basics of equivalence checking and model
checking, Hardware emulation.
Reference Books
1. M. Abramovici, M. A. Breuer and A. D. Friedman, Digital Systems Testing and Testable Design, Jaico
Publishing House, 1990.
2. T. Kropf, Introduction to Formal Hardware Verification, Springer Verlag, 2000.
3. Neil H. E. Weste and Kamran Eshraghian, Principles of CMOS VLSI Design, Addison Wesley, Second
Edition, 1993.
4. Neil H. E. Weste and David Harris, Principles of CMOS VLSI Design, Addison Wesley, Third Edition,
2004.
5. M. Bushnell and V. D. Agrawal, Essentials of Electronic Testing for Digital, Memory and Mixed-
Signal VLSI Circuits, Kluwer Academic Publishers, 2000.
60