Lectures related to Test of VLSI Systems: Combinational and Sequential ATPG

Digital Systems Overview: Evolution and Fundamentals

Explores the evolution of digital systems, covering basics like Boolean algebra and logic gates, and emphasizes teamwork skills and professional vocabulary.

Testing of VLSI Systems

Explores defects, errors, and fault models in VLSI systems, emphasizing fault collapsing and dominance.

Logic Synthesis: Designing Efficient Digital Circuits

Discusses logic synthesis techniques for designing efficient digital circuits using minterms, maxterms, and new gates like XOR and XNOR.

Testability Analysis: SCOAP Measures

Introduces SCOAP measures for testability analysis in VLSI systems, covering controllability, observability, and test vector length prediction.

Logic Synthesis: Designing Efficient Digital Circuits

Discusses logic synthesis techniques for designing efficient digital circuits from functional descriptions and truth tables.

Path-Delay Fault Testing

Covers linked and unlinked faults in VLSI systems, March test algorithms, critical paths, and path-delay fault testing.

Logic Systems: TTL Gates and Analog Aspects

Explores TTL gates, analog aspects, and various logic gates in digital circuits.

Digital Logic: Circuits and Design

Introduces digital logic, covering Boolean algebra, logic gates, combinational circuits, flip-flops, and state machines.

Logic Systems: Basics and Operators

Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.

Introduction to Logisim Evolution: Basics of Digital Circuit Design

Introduces Logisim Evolution, focusing on basic components for digital circuit design.

Digital Circuits: Logic Basics

Introduces digital circuits, covering binary systems, logic operators, Boolean algebra, memory elements, and practical examples like BCD decoders and shift registers.

Static Timing Analysis

Explores static timing analysis in digital system design, covering setup and hold time requirements, critical paths, and timing conditions.

Digital Logic Circuits: CMOS and Verilog Design

Discusses digital logic circuits, CMOS technology, and Verilog for circuit design.

VLSI Testing: Techniques and Economics

Explores test techniques for digital VLSI systems, covering fault modeling, test-pattern generation, and design for testability.

Finite Systems Expressed with Formulas

Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.

Digital Logic Circuits: Memory Elements and Sequential Logic

Introduces sequential logic circuits and memory elements, focusing on their role in digital systems and practical applications.

Logic Systems: Karnaugh Maps and TTL Gates

Explores Karnaugh maps, TTL gates, analog aspects of digital logic, and prime implicants.

Software Quality: Managing Defects and Testing Strategies

Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.

Timing Analysis: Synchronous Circuit Design

Covers timing analysis of synchronous circuits, focusing on flip-flops, timing constraints, and metastability issues.

Sequential Logic Designs

Introduces clocked systems, sequential circuits, bistable-state devices, metastable states, and D-type flip-flops.