# VLSI Design Verification and test - Institution: IIT Guwahati - Department: Electronics & Communication Engineering - Taught by: Prof. Santhosh biswas, Prof. Jatindra Kumar Deka, Prof. Arnab Sarkar - Level: Undergraduate - Language: English - Subjects: Engineering, Society and politics - Source: [NPTEL](https://nptel.ac.in/courses/117103125) - Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.) - Syllabus: [at the source](https://nptel.ac.in/courses/117103125) - Who can watch: Teens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words) ## Lectures 1. [Introduction Part-1](https://invisiblenetwork.ai/learn/nptel/117103125/5b0321cbbabb) (Video) 2. [Introduction Part-2](https://invisiblenetwork.ai/learn/nptel/117103125/99f8aa2f3e2f) (Video) 3. [Overview of VLSI Design Flow](https://invisiblenetwork.ai/learn/nptel/117103125/86ec3cf3d346) (Video) 4. [High Level Synthesis Overview Part 1](https://invisiblenetwork.ai/learn/nptel/117103125/9b96fbdd8a3d) (Video) 5. [High Level Synthesis Overview Part 2](https://invisiblenetwork.ai/learn/nptel/117103125/ffa2d9e8cea4) (Video) 6. [Scheduling in HLS (Part-1)](https://invisiblenetwork.ai/learn/nptel/117103125/eb1d81af1421) (Video) 7. [Scheduling in HLS (Part-2)](https://invisiblenetwork.ai/learn/nptel/117103125/27d87fba7ef9) (Video) 8. [Scheduling in HLS (Part-3)](https://invisiblenetwork.ai/learn/nptel/117103125/2c3ce9bcb7b3) (Video) 9. [Scheduling in HLS (Part-4)](https://invisiblenetwork.ai/learn/nptel/117103125/511cf051d699) (Video) 10. [Scheduling in HLS (Part-5)](https://invisiblenetwork.ai/learn/nptel/117103125/1d81a1af7305) (Video) 11. [Scheduling in HLS (Part-6)](https://invisiblenetwork.ai/learn/nptel/117103125/e3c6cd8a6d2c) (Video) 12. [Scheduling in HLS (Part-7)](https://invisiblenetwork.ai/learn/nptel/117103125/00ab2721b6b1) (Video) 13. [Resource Sharing and Binding in HLS (Part-1)](https://invisiblenetwork.ai/learn/nptel/117103125/1dc0f6b54907) (Video) 14. [Resource Sharing and Binding in HLS (Part-2)](https://invisiblenetwork.ai/learn/nptel/117103125/de8c299288b8) (Video) 15. [Resource Sharing and Binding in HLS (Part-3)](https://invisiblenetwork.ai/learn/nptel/117103125/7cf0c44ce232) (Video) 16. [Resource Sharing and Binding in HLS (Part-4)](https://invisiblenetwork.ai/learn/nptel/117103125/24d3533bbfa5) (Video) 17. [Resource Sharing and Binding in HLS (Part-5)](https://invisiblenetwork.ai/learn/nptel/117103125/540754545ba1) (Video) 18. [Resource Sharing and Binding in HLS (Part-6)](https://invisiblenetwork.ai/learn/nptel/117103125/f4dd31629432) (Video) 19. [Resource Sharing and Binding in HLS (Part-7)](https://invisiblenetwork.ai/learn/nptel/117103125/849e7676d0a6) (Video) 20. [Logic Synthesis (Part-1)](https://invisiblenetwork.ai/learn/nptel/117103125/3dd268d935b6) (Video) 21. [Logic Synthesis (Part-2)](https://invisiblenetwork.ai/learn/nptel/117103125/f7fd3924971a) (Video) 22. [Logic Synthesis (Part-3)](https://invisiblenetwork.ai/learn/nptel/117103125/30942f2d754a) (Video) 23. [Physical Design (Part-1)](https://invisiblenetwork.ai/learn/nptel/117103125/ea31f7d2d443) (Video) 24. [Physical Design (Part-2)](https://invisiblenetwork.ai/learn/nptel/117103125/b1c913c12a49) (Video) 25. [Physical Design (Part-3)](https://invisiblenetwork.ai/learn/nptel/117103125/217f26ae9b79) (Video) 26. [Introduction to formal methods for design verification](https://invisiblenetwork.ai/learn/nptel/117103125/1f11cb5ba689) (Video) 27. [Temporal Logic: Introduction and Basic Operations on Temporal Logic](https://invisiblenetwork.ai/learn/nptel/117103125/2a39a53f903e) (Video) 28. [Syntax and Semantics of CLT](https://invisiblenetwork.ai/learn/nptel/117103125/fb408abc9209) (Video) 29. [Syntax and semantics of CTL continued](https://invisiblenetwork.ai/learn/nptel/117103125/a8a81c349d15) (Video) 30. [Equivalences between CTL Formulas](https://invisiblenetwork.ai/learn/nptel/117103125/7345e685e552) (Video) 31. [Introduction to Model Checking](https://invisiblenetwork.ai/learn/nptel/117103125/21a704d78cc4) (Video) 32. [Model checking Algorithms](https://invisiblenetwork.ai/learn/nptel/117103125/2be83ac1a938) (Video) 33. [Model checking Algorithms continued.](https://invisiblenetwork.ai/learn/nptel/117103125/328c933fa9f8) (Video) 34. [Model Checking with Fairness](https://invisiblenetwork.ai/learn/nptel/117103125/65866144ec7b) (Video) 35. [Binary Decision Diagram: Introduction and Construction](https://invisiblenetwork.ai/learn/nptel/117103125/729faf183d43) (Video) 36. [Ordered Binary Decision Diagram (OBDD)](https://invisiblenetwork.ai/learn/nptel/117103125/50dcb8859f5f) (Video) 37. [Operation On OBDD](https://invisiblenetwork.ai/learn/nptel/117103125/620ea8a0085f) (Video) 38. [OBDD for State Transition Systems E](https://invisiblenetwork.ai/learn/nptel/117103125/04d73a8e8455) (Video) 39. [Symbolic Model Checking](https://invisiblenetwork.ai/learn/nptel/117103125/63180fe5de25) (Video) 40. [Introduction to Digital VLSI Testing](https://invisiblenetwork.ai/learn/nptel/117103125/9bb7400c22cd) (Video) 41. [Functional and Structural Testing](https://invisiblenetwork.ai/learn/nptel/117103125/e0ef7e1738f4) (Video) 42. [Fault Equivalence](https://invisiblenetwork.ai/learn/nptel/117103125/cc67a852d8ff) (Video) 43. [Fault Simulation I](https://invisiblenetwork.ai/learn/nptel/117103125/3f2c593eb766) (Video) 44. [Fault Simulation II](https://invisiblenetwork.ai/learn/nptel/117103125/f66e7205396e) (Video) 45. [Fault Simulation III](https://invisiblenetwork.ai/learn/nptel/117103125/16523fe5ac9c) (Video) 46. [Testability Measures (SCOAP)](https://invisiblenetwork.ai/learn/nptel/117103125/10a9c3c5a867) (Video) 47. [Introduction to Automatic Test Pattern Generation (ATPG) and ATPG Algebras](https://invisiblenetwork.ai/learn/nptel/117103125/a997a142c1ca) (Video) 48. [D-Algorithm I](https://invisiblenetwork.ai/learn/nptel/117103125/39723c02d953) (Video) 49. [D-Algorithm II](https://invisiblenetwork.ai/learn/nptel/117103125/b5ade2cf00ab) (Video) 50. [ATPG for Synchronous Sequential Circuits](https://invisiblenetwork.ai/learn/nptel/117103125/4a45d3e3a7b8) (Video) 51. [Scan Chain based Sequential Circuit Testing I](https://invisiblenetwork.ai/learn/nptel/117103125/bfe45863f580) (Video) 52. [Scan Chain based Sequential Circuit Testing II](https://invisiblenetwork.ai/learn/nptel/117103125/887c4f9caba5) (Video) 53. [BIST I](https://invisiblenetwork.ai/learn/nptel/117103125/9d49ff54a761) (Video) 54. [BIST II](https://invisiblenetwork.ai/learn/nptel/117103125/8c2c6a59695b) (Video)