# Design Verification and Test of Digital VLSI Circuits

- Institution: IIT Guwahati
- Department: Computer Science and Engineering
- Taught by: Prof. Jatindra Kumar Deka, Dr. Santosh Biswas
- Level: Undergraduate
- Language: English
- Subjects: Computer science, Engineering
- Source: [NPTEL](https://nptel.ac.in/courses/106103116)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/106103116)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Introduction to Digital VLSI Design Flow](https://invisiblenetwork.ai/learn/nptel/106103116/4dfcd8e4b4bb) (Video)
2. [High Level Design Representation](https://invisiblenetwork.ai/learn/nptel/106103116/b05e7b26d738) (Video)
3. [Transformations for High Level Synthesis](https://invisiblenetwork.ai/learn/nptel/106103116/6ddddef9a42d) (Video)
4. [Introduction to HLS: Scheduling, Allocation and Binding Problem](https://invisiblenetwork.ai/learn/nptel/106103116/41773c8fe1de) (Video)
5. [Scheduling Algorithms-1](https://invisiblenetwork.ai/learn/nptel/106103116/12519926b50e) (Video)
6. [Scheduling Algorithms-2](https://invisiblenetwork.ai/learn/nptel/106103116/2b31e760842f) (Video)
7. [Binding and Allocation Algorithms](https://invisiblenetwork.ai/learn/nptel/106103116/672d085d1074) (Video)
8. [Two level Boolean Logic Synthesis-1](https://invisiblenetwork.ai/learn/nptel/106103116/f9d381805a57) (Video)
9. [Two level Boolean Logic Synthesis-2](https://invisiblenetwork.ai/learn/nptel/106103116/72fc94f043a6) (Video)
10. [Two level Boolean Logic Synthesis-3](https://invisiblenetwork.ai/learn/nptel/106103116/a6be38de28ad) (Video)
11. [Heuristic Minimization of Two-Level Circuits](https://invisiblenetwork.ai/learn/nptel/106103116/6979f87684a3) (Video)
12. [Finite State Machine Synthesis](https://invisiblenetwork.ai/learn/nptel/106103116/bbc2cbe49313) (Video)
13. [Multilevel Implementation](https://invisiblenetwork.ai/learn/nptel/106103116/fef4eadba17a) (Video)
14. [Introduction to formal methods for design verification](https://invisiblenetwork.ai/learn/nptel/106103116/bfbedf47751d) (Video)
15. [Temporal Logic: Introduction and Basic Operators](https://invisiblenetwork.ai/learn/nptel/106103116/352fef217b9f) (Video)
16. [Syntax and Semantics of CTL](https://invisiblenetwork.ai/learn/nptel/106103116/2fcc1f34feee) (Video)
17. [Syntax and Semantics of CTL – Continued](https://invisiblenetwork.ai/learn/nptel/106103116/f0973999cc34) (Video)
18. [Equivalence between CTL Formulas](https://invisiblenetwork.ai/learn/nptel/106103116/e1e2d4bdf43d) (Video)
19. [Introduction to Model Checking](https://invisiblenetwork.ai/learn/nptel/106103116/d2fc80109ab2) (Video)
20. [Model Checking Algorithms I](https://invisiblenetwork.ai/learn/nptel/106103116/db1d9e3b8b30) (Video)
21. [Model Checking Algorithms II](https://invisiblenetwork.ai/learn/nptel/106103116/1fe4223af2c1) (Video)
22. [Model Checking with Fairness](https://invisiblenetwork.ai/learn/nptel/106103116/7b66b639f58d) (Video)
23. [Binary Decision Diagram: Introduction and construction](https://invisiblenetwork.ai/learn/nptel/106103116/abe2610ccfa3) (Video)
24. [Ordered Binary Decision Diagram](https://invisiblenetwork.ai/learn/nptel/106103116/d12fc3ab9ea7) (Video)
25. [Operation on Ordered Binary Decision Diagram](https://invisiblenetwork.ai/learn/nptel/106103116/9130394a0413) (Video)
26. [Ordered Binary Decision Diagram for State Transition Systems](https://invisiblenetwork.ai/learn/nptel/106103116/cbc35205306e) (Video)
27. [Symbolic Model Checking](https://invisiblenetwork.ai/learn/nptel/106103116/c6161f5679d3) (Video)
28. [Introduction to Digital VLSI Testing](https://invisiblenetwork.ai/learn/nptel/106103116/f288f437a4e3) (Video)
29. [Functional and Structural Testing](https://invisiblenetwork.ai/learn/nptel/106103116/c5384597ae97) (Video)
30. [Fault Equivalence](https://invisiblenetwork.ai/learn/nptel/106103116/ed6dbc8b3202) (Video)
31. [Fault Simulation-1](https://invisiblenetwork.ai/learn/nptel/106103116/09eb4922bac7) (Video)
32. [Fault Simulation-2](https://invisiblenetwork.ai/learn/nptel/106103116/d3e4d74dd777) (Video)
33. [Fault Simulation-3](https://invisiblenetwork.ai/learn/nptel/106103116/33eb048c5487) (Video)
34. [Testability Measures (SCOAP)](https://invisiblenetwork.ai/learn/nptel/106103116/320d8383077d) (Video)
35. [Introduction to Automatic Test Pattern Generation (ATPG) and ATPG Algebras](https://invisiblenetwork.ai/learn/nptel/106103116/1302f56ac456) (Video)
36. [D-Algorithm-1](https://invisiblenetwork.ai/learn/nptel/106103116/1dddc9f1234a) (Video)
37. [D-Algorithm-2](https://invisiblenetwork.ai/learn/nptel/106103116/13960ce33199) (Video)
38. [ATPG for Synchronous Sequential Circuits](https://invisiblenetwork.ai/learn/nptel/106103116/8a0d5f766c51) (Video)
39. [Scan Chain based Sequential Circuit Testing-1](https://invisiblenetwork.ai/learn/nptel/106103116/487f7dcb0a84) (Video)
40. [Scan Chain based Sequential Circuit Testing-2](https://invisiblenetwork.ai/learn/nptel/106103116/98d4160cea99) (Video)
41. [Built in Self Test-1](https://invisiblenetwork.ai/learn/nptel/106103116/adb697be48a1) (Video)
42. [Built in Self Test-2](https://invisiblenetwork.ai/learn/nptel/106103116/db1ce5b07a4f) (Video)
43. [Memory Testing-1](https://invisiblenetwork.ai/learn/nptel/106103116/8e02d17077b9) (Video)
44. [Memory Testing-2](https://invisiblenetwork.ai/learn/nptel/106103116/c26eb26cfd73) (Video)