Learn · NPTEL

Course10610318236 lectures

Embedded Systems-Design Verification and Test

Prof. Santosh Biswas, Prof. Jatindra Kumar Deka and Prof. Arnab Sarkar · IIT Guwahati

Start with lecture 1 At NPTEL

Lectures

Week 1:Introduction and Modeling

  1. Introduction Video
  2. Modeling Techniques - 1 Video

Week 2: Modeling and Synthesis issues

  1. Modeling Techniques - 2 Video
  2. Hardware/Software Partitioning Video
  3. Introduction to Hardware Design Video

Week 3: Architectural Synthesis of Hardwares

  1. Hardware Architectural Synthesis - 1 Video
  2. Hardware Architectural Synthesis - 2 Video
  3. Hardware Architectural Synthesis - 3 Video
  4. Hardware Architectural Synthesis - 4 Video
  5. Hardware Architectural Synthesis - 5 Video
  6. Hardware Architectural Synthesis - 6 Video
  7. Hardware Architectural Synthesis - 7 Video

Week 4: System-level Design

  1. System Level Analysis Video
  2. Uniprocessor Scheduling - 1 Video
  3. Uniprocessor Scheduling - 2 Video
  4. Multiprocessor Scheduling - 1 Video
  5. Multiprocessor Scheduling - 2 Video

Week 5: Temporal Logic

  1. Introduction and Basic Operators of Temporal Logic Video
  2. Syntax and Semantics of CTL Video

Week 6:Model Checking

  1. Equivalence between CTL formulas Video
  2. Model Checking Algorithm Video

Week 7: BDD and Symbolic Model Checking

  1. Binary Decision Diagram Video
  2. Use of OBDDs for State Transition System Video
  3. Symbolic Model Checking Video

Week 8: Introduction to Digital Testing

  1. Introduction to Digital VLSI Testing Video
  2. Automatic Test Pattern Generation (ATPG) Video

Week 9: Introduction to Digital Testing & Embedded System hardware Testing

  1. Scan Chain based Sequential Circuit Testing Video
  2. "Software-Hardware Co-validation Fault Models and High Level Testing for Complex Embedded Systems" Video

Week 10: Embedded System hardware Testing

  1. Testing for embedded cores Video
  2. Bus and Memory Testing Video

Week 11: Advances in Embedded System hardware Testing

  1. Testing for advanced faults in Real time Embedded Systems Video
  2. BIST for Embedded Systems Video

Week 12: Advances in Embedded System hardware Testing & Testing for Embedded Software Systems

  1. Concurrent Testing for Fault tolerant Embedded Systems - 1 Video
  2. Concurrent Testing for Fault tolerant Embedded Systems - 2 Video
  3. Testing for Re-programmable hardware Video
  4. Interaction Testing between Hardware and Software Video

Syllabus and materials

At NPTEL, as the course publishes them.

Credits and licence

Institution
IIT Guwahati
Department
Computer Science and Engineering
Taught by
Prof. Santosh Biswas, Prof. Jatindra Kumar Deka, Prof. Arnab Sarkar
Level
Undergraduate
Language
English
Subjects
Computer science, Engineering
Source
NPTEL
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
NPTEL gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed