NDLI: Design Verification and Test of Digital VLSI Circuits

Please wait, while we are loading the content...

Aerospace Engineering

Atmospheric Science

Computer Science and Engineering

ACM India – RBCDSAI Summer School on DS/AI/ML (For Women Only) Hosted by PSG College of Technology, Coimbatore

AI:Constraint Satisfaction [NOC]

Advanced Computer Networks [NOC]

Advanced Distributed systems [NOC]

Advanced Graph Theory [NOC]

Advanced computer architecture [NOC]

Affective Computing [NOC]

Algorithmic Game Theory [NOC]

Algorithms for Big Data [NOC]

Algorithms for protein modelling and engineering [NOC]

An Introduction To Programming Through C++ [NOC]

An Introduction to Artificial Intelligence [NOC]

An Introduction to Probability in Computing [NOC]

Applied Accelerated Artificial Intelligence [NOC]

Applied Natural Language Processing [NOC]

Arithmetic Circuit Complexity [NOC]

Artificial Intelligence

Artificial Intelligence Search Methods For Problem Solving [NOC]

Artificial Intelligence(Prof.P.Dasgupta)

Artificial Intelligence: Knowledge Representation and Reasoning [NOC]

Artificial Intelligence: Search Methods for Problem Solving

Bandit Algorithm (Online Machine Learning) [NOC]

Basics of Computational Complexity [NOC]

Big Data Computing [NOC]

Blockchain Architecture Design and Use Cases [NOC]

Blockchain and its Applications [NOC]

Business Intelligence & Analytics [NOC]

C Programming and Assembly Language [NOC]

C-Based VLSI Design [NOC]

CAD for VLSI Design I

CAD for VLSI Design II

Circuit Complexity Theory [NOC]

Cloud Computing and Distributed Systems [NOC]

Cloud computing [NOC]

Compiler Design

Compiler Design [NOC]

Complex Network : Theory and Application [NOC]

Computational Complexity Theory [NOC]

Computational Complexity [NOC]

Computational Geometry

Computational Number Theory & Cryptography

Computer Algorithms - 2

Computer Architecture

Computer Architecture [NOC]

Computer Architecture(Course sponsored by Aricent) [NOC]

Computer Graphics

Computer Graphics [NOC]

Computer Networks

Computer Networks and Internet Protocol [NOC]

Computer Organisation and Architecture

Computer Organization

Computer Organization and Architecture

Computer Organization and Architecture A Pedagogical Aspect [NOC]

Computer Organization and Architecture [NOC]

Computer Vision [NOC]

Computer architecture and organization [NOC]

Cryptography And Network Security [NOC]

Cryptography and Network Security

Cyber Security and Privacy [NOC]

Data Analytics with Python [NOC]

Data Base Management System [NOC]

Data Communication

Data Communications

Data Mining [NOC]

Data Science for Engineers [NOC]

Data Structure and algorithms using Java [NOC]

Data Structures And Algorithms

Data Structures and Program Methodology

Database Design

Deep Learning - Part 2 [NOC]

Deep Learning [NOC]

Deep Learning for Computer Vision [NOC]

Demystifying networking [NOC]

Design & Implementation of Human-Computer Interfaces [NOC]

Design Verification and Test of Digital VLSI Circuits

Introduction to Digital VLSI Design Flow

High Level Design Representation

Transformations for High Level Synthesis

Introduction to HLS: Scheduling, Allocation and Binding Problem

Scheduling Algorithms - 1

Scheduling Algorithms - 2

Binding and Allocation Algorithms

Two level Boolean Logic Synthesis - 1

Two level Boolean Logic Synthesis - 2

Two level Boolean Logic Synthesis - 3

Heuristic Minimization of Two - Level Circuits

Finite State Machine Synthesis

Multilevel Implementation

Introduction to formal methods for design verification

Temporal Logic: Introduction and Basic Operators

Syntax and Semantics of CTL

Syntax and Semantics of CTL – Continued

Equivalence between CTL Formulas

Introduction to Model Checking

Model Checking Algorithms I

Model Checking Algorithms II

Model Checking with Fairness

Binary Decision Diagram: Introduction and construction

Ordered Binary Decision Diagram

Operation on Ordered Binary Decision Diagram

Ordered Binary Decision Diagram for State Transition Systems

Symbolic Model Checking

Introduction to Digital VLSI Testing

Functional and Structural Testing

Fault Equivalence

Fault Simulation - 1

Fault Simulation - 2

Fault Simulation - 3

Testability Measures (SCOAP)

Introduction to Automatic Test Pattern Generation (ATPG) and ATPG Algebras

D - Algorithm - 1

D - Algorithm - 2

ATPG for Synchronous Sequential Circuits

Scan Chain based Sequential Circuit Testing - 1

Scan Chain based Sequential Circuit Testing - 2

Built in Self Test - 1

Built in Self Test - 2

Memory Testing - 1

Memory Testing - 2

Fault Simulation and Testability Measures

Logic Optimization and Synthesis

Scheduling, Allocation and Binding

Introduction to Digital Testing

Sequential Circuit Testing and Scan Chains

Binary Decision Diagram

Combinational Circuit Test Pattern Generation

Verification Techniques

Built in Self test (BIST)

Design and Analysis of Algorithms

Design and Analysis of Algorithms [NOC]

Design and Engineering of Computer Systems [NOC]

Design and pedagogy of the introductory programming course [NOC]

Digital Design with Verilog [NOC]

Digital Image Processing

Digital Systems

Discrete Mathematical Structures

Discrete Mathematics [NOC]

Discrete Mathematics _ IIITB [NOC]

Discrete Structures [NOC]

Distributed Computing Systems

Distributed Systems [NOC]

Edge Computing [NOC]

Electronic Design Automation

Embedded System Design with ARM [NOC]

Embedded Systems Design [NOC]

Embedded Systems-Design Verification and Test [NOC]

Ethical Hacking [NOC]

Foundation of Cloud IoT Edge ML [NOC]

Foundations And Applications Of Machine Learning (Bengali) [NOC]

Foundations of Cryptography [NOC]

Foundations of Cyber Physical Systems [NOC]

Foundations to Computer Systems Design [NOC]

Fundamental Algorithms:Design and Analysis

Fundamentals of Database Systems(Course sponsored by Aricent) [NOC]

GPU Architectures and Programming [NOC]

Games and Information [NOC]

Getting Started with Competitive Programming [NOC]

Google Cloud Computing Foundation Course [NOC]

Hardware Security [NOC]

Hardware modeling using verilog [NOC]

High Performance Computer Architecture

High Performance Computing

Human-Computer Interaction

Indexing and Searching Techniques in Databases

Information Security - 5 - Secure Systems Engineering [NOC]

Information Security - II(Course sponsored by Aricent) [NOC]

Information Security-3 [NOC]

Information security - IV [NOC]

Internet Technology

Introduction To Haskell Programming

Introduction to Automata, Languages and Computation [NOC]

Introduction to Blockchain Technology and Applications [NOC]

Introduction to Computer Graphics

Introduction to Computer and Network Performance Analysis using Queuing Systems [NOC]

Introduction to Cryptology [NOC]

Introduction to Database Systems [NOC]

Introduction to Database Systems and Design

Introduction to Game Theory and Mechanism Design [NOC]

Introduction to Human Computer Interaction [NOC]

Introduction to Industry 4.0 and Industrial Internet of Things [NOC]

Introduction to Information Security I [NOC]

Introduction to Machine Learning (Tamil) [NOC]

Introduction to Machine Learning [NOC]

Introduction to Modern Application Development [NOC]

Introduction to Operating Systems [NOC]

Introduction to Parallel Programming in OpenMP [NOC]

Introduction to Problem Solving and Programming

Introduction to Quantum Computing: Quantum Algorithms and Qiskit [NOC]

Introduction to Soft Computing [NOC]

Introduction to algorithms and analysis [NOC]

Introduction to internet of things [NOC]

Introduction to programming in C [NOC]

Linear programming and its applications to computer science [NOC]

Low Power VLSI Circuits & Systems

Machine Learning (Ml) In Hindi [NOC]

Machine Learning for Earth System Sciences [NOC]

Machine Learning for Engineering and Science Applications [NOC]

Machine Learning,ML [NOC]

Microprocessors and Microcontrollers

Mobile Computing [NOC]

Model Checking [NOC]

Modern Algebra [NOC]

Modern Application Development [NOC]

Multi-Core Computer Architecture [NOC]

Multi-Core Computer Architecture-Storage and Interconnects [NOC]

Multimodal Interaction [NOC]

NOC:Advanced Computer Architecture

NOC:Software testing

Natural Language Processing

Natural Language Processing [NOC]

Numerical Optimization

Object Oriented System Development using UML, Java and Patterns [NOC]

Object-Oriented Analysis and Design [NOC]

Online Privacy [NOC]

Operating System Fundamentals [NOC]

Operating Systems

Optimisation for Machine Learning: Theory and Implementation (Hindi) [NOC]

Parallel Algorithm

Parallel Algorithms

Parallel Algorithms [NOC]

Parallel Computer Architecture

Parallel Computer Architecture [NOC]

Parallel Computing

Parameterized Algorithms [NOC]

Pattern Recognition

Performance Evaluation of Computer Systems

Practical Machine Learning with Tensorflow [NOC]

Principles of Communication

Principles of Compiler Design

Principles of Programming Languages

Privacy and Security in Online Social Media [NOC]

Probability for Computer Science [NOC]

Problem Solving through Programming in C [NOC]

Program Optimization for Multi-core Architectures

Programming and Data Structure

Programming and Data structures (PDS) [NOC]

Programming in C++ [NOC]

Programming in Java [NOC]

Programming in Modern C++ [NOC]

Programming, Data Structures and Algorithms [NOC]

Programming, Data Structures and Algorithms using Python [NOC]

Programming, Data structures and Algorithms, 2016 [NOC]

Python for Data Science [NOC]

Quantum Algorithms and Cryptography [NOC]

Randomized Algorithms [NOC]

Randomized Methods in Complexity [NOC]

Real Time Operating System [NOC]

Real Time Systems

Real-Time Systems [NOC]

Reinforcement Learning [NOC]

Riemann Hypothesis and its Applications

Scalable Data Science [NOC]

Secure Computation: Part I [NOC]

Secure Computation: Part II [NOC]

Selected Topics in Algorithms [NOC]

Social Network Analysis [NOC]

Social Networks [NOC]

Software Conceptual Design [NOC]

Software Engineering

Software Engineering [NOC]

Software Project Management [NOC]

Software Testing [NOC]

Spatial Innformatics [NOC]

Statistical learning for Reliability Analysis [NOC]

Storage Systems

Switching Circuits and Logic Design [NOC]

Synthesis of Digital Systems [NOC]

System Analysis and Design

Systems and Usable Security [NOC]

The Joy of Computing using Python [NOC]

Theory of Automata and Formal Languages

Theory of Automata, Formal Languages and Computation

Theory of Computation

Theory of Computation [NOC]

User-centric Computing for Human-Computer Interaction [NOC]

VLSI Design Verification and Test

VLSI Physical Design [NOC]

Virtual Reality

Wireless Ad Hoc and Sensor Networks [NOC]

Distributed Optimization and Machine Learning

Introduction to Large Language Models (LLMs)

Practical Cyber Security for Cyber Security Practitioners

Computational Arithmetic - Geometry for Algebraic Curves

Data Structures and Algorithms Design

Artificial Intelligence for Economics

Approximation Algorithm

Second Level Algorithms

Responsible & Safe AI Systems

Mobile Virtual Reality and Artificial Intelligence

Introduction to Algebraic Graph Theory

Foundations of Virtual Reality

Human Computer Interaction (In Hindi)

Introduction to Graph Algorithms

Linear Algebra Through Geometry

Stochastic Approximation: Theory and Applications

Mathematical Foundations for Machine Learning

Programming with Generative AI

Artificial Intelligence: Concepts and Techniques

Civil Engineering

Chemical Engineering

Chemistry and Biochemistry

Electrical Engineering

Electronics & Communication Engineering

Engineering Design

Environmental Science

Humanities and Social Sciences

Mechanical Engineering

Mining Engineering

Metallurgy and Material Science

Ocean Engineering

Textile Engineering

Multidisciplinary

Basic courses-Sem 1 and 2

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in