# Embedded Systems-Design Verification and Test

- 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](https://nptel.ac.in/courses/106103182)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/106103182)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Introduction](https://invisiblenetwork.ai/learn/nptel/106103182/86bc43d9fc83) (Video)
2. [Modeling Techniques - 1](https://invisiblenetwork.ai/learn/nptel/106103182/37ff434db599) (Video)
3. [Modeling Techniques - 2](https://invisiblenetwork.ai/learn/nptel/106103182/93d53fb0887c) (Video)
4. [Hardware/Software Partitioning](https://invisiblenetwork.ai/learn/nptel/106103182/9b4f412c057e) (Video)
5. [Introduction to Hardware Design](https://invisiblenetwork.ai/learn/nptel/106103182/51c37990083c) (Video)
6. [Hardware Architectural Synthesis - 1](https://invisiblenetwork.ai/learn/nptel/106103182/c314e13e6df4) (Video)
7. [Hardware Architectural Synthesis - 2](https://invisiblenetwork.ai/learn/nptel/106103182/c87ff2b95e85) (Video)
8. [Hardware Architectural Synthesis - 3](https://invisiblenetwork.ai/learn/nptel/106103182/ac2d12ac40bb) (Video)
9. [Hardware Architectural Synthesis - 4](https://invisiblenetwork.ai/learn/nptel/106103182/db41ab00f19a) (Video)
10. [Hardware Architectural Synthesis - 5](https://invisiblenetwork.ai/learn/nptel/106103182/eaaf23bf21cd) (Video)
11. [Hardware Architectural Synthesis - 6](https://invisiblenetwork.ai/learn/nptel/106103182/9ce1075c46c5) (Video)
12. [Hardware Architectural Synthesis - 7](https://invisiblenetwork.ai/learn/nptel/106103182/3ad5fe853f76) (Video)
13. [System Level Analysis](https://invisiblenetwork.ai/learn/nptel/106103182/e470c7abf438) (Video)
14. [Uniprocessor Scheduling - 1](https://invisiblenetwork.ai/learn/nptel/106103182/af7e05e42548) (Video)
15. [Uniprocessor Scheduling - 2](https://invisiblenetwork.ai/learn/nptel/106103182/df1cc4b35efd) (Video)
16. [Multiprocessor Scheduling - 1](https://invisiblenetwork.ai/learn/nptel/106103182/6a0c9c223148) (Video)
17. [Multiprocessor Scheduling - 2](https://invisiblenetwork.ai/learn/nptel/106103182/6ebdd67048d8) (Video)
18. [Introduction and Basic Operators of Temporal Logic](https://invisiblenetwork.ai/learn/nptel/106103182/c08d6eeba2bf) (Video)
19. [Syntax and Semantics of CTL](https://invisiblenetwork.ai/learn/nptel/106103182/8b4cfcb03767) (Video)
20. [Equivalence between CTL formulas](https://invisiblenetwork.ai/learn/nptel/106103182/27184cd9a3f0) (Video)
21. [Model Checking Algorithm](https://invisiblenetwork.ai/learn/nptel/106103182/52e41360a03f) (Video)
22. [Binary Decision Diagram](https://invisiblenetwork.ai/learn/nptel/106103182/1844a91708bb) (Video)
23. [Use of OBDDs for State Transition System](https://invisiblenetwork.ai/learn/nptel/106103182/a6afea69ee96) (Video)
24. [Symbolic Model Checking](https://invisiblenetwork.ai/learn/nptel/106103182/13b2fefbfa92) (Video)
25. [Introduction to Digital VLSI Testing](https://invisiblenetwork.ai/learn/nptel/106103182/3c50673ae37d) (Video)
26. [Automatic Test Pattern Generation (ATPG)](https://invisiblenetwork.ai/learn/nptel/106103182/b25ee86fe7b7) (Video)
27. [Scan Chain based Sequential Circuit Testing](https://invisiblenetwork.ai/learn/nptel/106103182/85b36d533b00) (Video)
28. ["Software-Hardware Co-validation Fault Models and High Level Testing for Complex Embedded Systems"](https://invisiblenetwork.ai/learn/nptel/106103182/b32530d67647) (Video)
29. [Testing for embedded cores](https://invisiblenetwork.ai/learn/nptel/106103182/30ad542ab0c8) (Video)
30. [Bus and Memory Testing](https://invisiblenetwork.ai/learn/nptel/106103182/97c17313e580) (Video)
31. [Testing for advanced faults in Real time Embedded Systems](https://invisiblenetwork.ai/learn/nptel/106103182/cb6680a386f7) (Video)
32. [BIST for Embedded Systems](https://invisiblenetwork.ai/learn/nptel/106103182/570749cf8404) (Video)
33. [Concurrent Testing for Fault tolerant Embedded Systems - 1](https://invisiblenetwork.ai/learn/nptel/106103182/aa2df76f12b3) (Video)
34. [Concurrent Testing for Fault tolerant Embedded Systems - 2](https://invisiblenetwork.ai/learn/nptel/106103182/5528794c743e) (Video)
35. [Testing for Re-programmable hardware](https://invisiblenetwork.ai/learn/nptel/106103182/12e49148ead2) (Video)
36. [Interaction Testing between Hardware and Software](https://invisiblenetwork.ai/learn/nptel/106103182/dd2a58bb8a5f) (Video)