Course Details

Subject {L-T-P / C} : EC6208 : Testing and Verification of VLSI Circuits { 3-0-0 / 3}

Subject Nature : Theory

Coordinator : Dr. Atin Mukherjee

Syllabus

Module1: Introduction to VLSI testing: Importance of testing, Challenges in VLSI testing, Levels of abstractions in VLSI testing, Functional vs. Structural approach to testing, Complexity of the testing problem, Controllability and Observability, Generating test for a single stuck at fault in combinational logic, D-algorithm, FAN and PODEM algorithms, Test optimization and fault coverage. (5 Hours)

Module2: Design for testability (DFT): Testability analysis, Scan cell design, Scan architectures, Scan design rules, Scan design flow, Special purpose scan designs Logic and fault simulation, Fault detection, Adhoc and structured approaches to DFT, Various kinds of scan design, Fault models for PLAs, Bridging and delay faults and their tests. (6 Hours)

Module3: Test generation: Random test generation, Boolean difference, ATPG algorithms for combinational circuits, Sequential ATPG, Untestable faults, IDDQ testing The LFSRs and their use in random test generation and response compression (including MISRs). (4 Hours)

Module4: Built-in self-test (BIST): Design rules, Exhaustive testing, Pseudo-random testing, Pseudo-exhaustive testing, Output response analysis, Logic BIST architectures Test compression: Test stimulus compression, Test response compaction, Architectures for test compression. (5 Hours)

Module5: Boundary scan and core based testing: IEEE standards for digital boundary scan, Embedded core test standards Analog and mixed signal testing, Delay testing, Physical failures, Soft errors Reliability, FPGA testing, MEMS testing, RF testing, High speed I/O testing. (5 Hours)

Module6: Introduction to verification: Importance of verification, Verification plan, Verification flow, Levels of verification, Verification methods and languages. (4 Hours)

Module7: Verification techniques: Introduction to Hardware Verification methodologies, Verifications based on simulation, analytical and formal approaches. Functional verification, Timing verification, Formal verification. Basics of equivalence checking and model checking. (7 Hours)

Course Objectives

Course Outcomes

CO1: Able to carry out research and development in the area of testing and verification of VLSI circuits. <br />CO2: Apply techniques to improve testability of VLSI circuits. <br />CO3: Utilize logic simulation methods, ATPG, BIST and boundary scan techniques in testing of VLSI circuits. <br />CO4: Apply functional, timing and formal verification methods at various design abstractions of VLSI circuits. <br />CO5: Solve practical and state of the art testing and verification problems to serve VLSI industries

Essential Reading

Supplementary Reading