technifyed

IIT Guwahati via NPTEL

Embedded Systems-Design Verification and Test

Overview

Computer Science and Engineering course by Dr. Santosh Biswas, Prof.Arnab sarkar, Prof.Jatindra Kumar Deka.

Syllabus 12

  1. Week 1:Introduction and Modeling
    • Introduction
    • Modeling Techniques - 1
  2. Week 2: Modeling and Synthesis issues
    • Modeling Techniques - 2
    • Hardware/Software Partitioning
    • Introduction to Hardware Design
  3. Week 3: Architectural Synthesis of Hardwares
    • Hardware Architectural Synthesis - 1
    • Hardware Architectural Synthesis - 2
    • Hardware Architectural Synthesis - 3
    • Hardware Architectural Synthesis - 4
    • Hardware Architectural Synthesis - 5
    • Hardware Architectural Synthesis - 6
    • Hardware Architectural Synthesis - 7
  4. Week 4: System-level Design
    • System Level Analysis
    • Uniprocessor Scheduling - 1
    • Uniprocessor Scheduling - 2
    • Multiprocessor Scheduling - 1
    • Multiprocessor Scheduling - 2
  5. Week 5: Temporal Logic
    • Introduction and Basic Operators of Temporal Logic
    • Syntax and Semantics of CTL
  6. Week 6:Model Checking
    • Equivalence between CTL formulas
    • Model Checking Algorithm
  7. Week 7: BDD and Symbolic Model Checking
    • Binary Decision Diagram
    • Use of OBDDs for State Transition System
    • Symbolic Model Checking
  8. Week 8: Introduction to Digital Testing
    • Introduction to Digital VLSI Testing
    • Automatic Test Pattern Generation (ATPG)
  9. Week 9: Introduction to Digital Testing & Embedded System hardware Testing
    • Scan Chain based Sequential Circuit Testing
    • "Software-Hardware Co-validation Fault Models and High Level Testing for Complex Embedded Systems"
  10. Week 10: Embedded System hardware Testing
    • Testing for embedded cores
    • Bus and Memory Testing
  11. Week 11: Advances in Embedded System hardware Testing
    • Testing for advanced faults in Real time Embedded Systems
    • BIST for Embedded Systems
  12. Week 12: Advances in Embedded System hardware Testing & Testing for Embedded Software Systems
    • Concurrent Testing for Fault tolerant Embedded Systems - 1
    • Concurrent Testing for Fault tolerant Embedded Systems - 2
    • Testing for Re-programmable hardware
    • Interaction Testing between Hardware and Software

Advantages and disadvantages

Advantages

  • Taught by IIT and IISc professors, and it follows the Indian university syllabus closely.
  • All videos and assignments are free on NPTEL and SWAYAM.
  • The certificate is recognised by many Indian universities for credit transfer and by GATE aspirants.
  • Great for GATE and semester exam preparation.
  • From Indian Institute of Technology Guwahati, a well-regarded name.
  • Completely free.
  • Self-paced: start any time.
  • A clear syllabus (12 parts) you can see before you start.

Disadvantages

  • The certificate needs a proctored exam at a centre, which has a fee.
  • Recorded classroom lectures: thorough, but slower than made-for-online courses.
  • New runs start on fixed dates (January and July).
  • Learning is free, but the certificate costs money.

Some points apply to every course of this kind; see how we rank.

Free to learn

  • Free: Every video and assignment is free on NPTEL and SWAYAM. Enrol when the next run opens.
  • Certificate: Optional. It needs a proctored exam at a centre, which has a fee.

Taught by

  • Dr. Santosh Biswas, Prof.Arnab sarkar, Prof.Jatindra Kumar DekaIIT Guwahati

Indian Institute of Technology Guwahati is in Tier 2: excellent universities and the companies that build the technology of our institution ranking (90/100).

Similar courses

Compare these

Massachusetts Institute of Technology · YouTube

MIT 6.01SC Introduction to EECS I

Instructor: Dennis Freeman, Kendra Pugh This course provides an integrated introduction to electrical engineering and computer science, including modern software engineering, linear systems analysis, electronic circuits, and decision-making. The lecture videos provide an overview of each topic, whi…

Free video27 videos, 17 hours

Harvard University · edX

Fundamentals of TinyML

4.567 ratings

Focusing on the basics of machine learning and embedded systems, such as smartphones, this course will introduce you to the “language” of TinyML.

Free to audit5 weeks, 2 - 4 hours per week

Harvard University · edX

Introduction to Data Science with Python

4.3174 ratings

Learn the concepts and techniques that make up the foundation of data science and machine learning.

Free to audit8 weeks, 3 - 5 hours per week

Harvard University · edX

CS50's Introduction to Computer Science

An introduction to the intellectual enterprises of computer science and the art of programming.

Free to audit12 weeks, 5 - 14 hours per week

Harvard University · edX

Data Science: Building Machine Learning Models

4.4133 ratings

Build a movie recommendation system and learn the science behind one of the most popular and successful data science techniques.

Free to audit8 weeks, 2 - 3 hours per week

Massachusetts Institute of Technology · YouTube

MIT 6.832 Underactuated Robotics, Spring 2009

Instructor: Russell Tedrake See the complete course at: http://ocw.mit.edu/6-832s09 Robots today move far too conservatively, using control systems that attempt to maintain full control authority at all times. Humans and animals move much more aggressively by routinely executing motions which invol…

Free video23 videos, 28 hours

Enter your email and the official page opens. Phone is optional.