Introduction To Formal Methods For Design Verification Exam Study Material for Gate CSE

Gate Material Placement Ready Login Sign up Login Sign up

cURL Error: Could not resolve host: surukam.net

Computer-science-and-engineering0

Biometrics (View More...)

lec1	lec1	07:56 to 18:21	PDF	VIDEO
lec1	lec1	22:53 to 45:23	PDF	VIDEO
lec10	lec10	41:00 to 48:28	PDF	VIDEO
lec12	lec12	03:14 to 15:13	PDF	VIDEO
lec15	lec15	30:52 to 34:47	PDF	VIDEO
CS698X Multimodal Biometrics Projects	lec21	12:19 to 16:58	PDF	VIDEO
lec24	lec24	1:01: to 1:03:	PDF	VIDEO
lec24	lec24	59:58 to 1:01:	PDF	VIDEO
lec26	lec26	49:23 to 59:46	PDF	VIDEO
lec6	lec6	00:25 to 03:22	PDF	VIDEO

Compiler Design IISc Bangalore (View More...)

Garbage collection	lec47	00:35 to 04:15	PDF	VIDEO
Garbage collection	lec47	10:51 to 13:00	PDF	VIDEO
Garbage collection	lec47	41:51 to 45:08	PDF	VIDEO
Garbage collection	lec47	45:08 to 46:34	PDF	VIDEO
Garbage collection	lec47	46:34 to 48:21	PDF	VIDEO
Garbage collection	lec47	48:21 to 49:56	PDF	VIDEO
Garbage collection	lec47	49:56 to 50:45	PDF	VIDEO
Garbage collection	lec47	50:45 to 51:56	PDF	VIDEO
Garbage collection	lec47	51:56 to 52:12	PDF	VIDEO
Garbage collection	lec47	52:12 to 52:45	PDF	VIDEO

Computational Geometry (View More...)

Voronoi Diagrams Nearest Neighbour Searching	lec16	26:46 to 34:01	PDF	VIDEO
Shape Representation	lec39	49:52 to 1:02:	PDF	VIDEO
Line Sweep Method	lec4	01:47 to 05:13	PDF	VIDEO
Line Sweep Method	lec4	11:47 to 21:09	PDF	VIDEO
Line Sweep Method	lec4	21:09 to 30:21	PDF	VIDEO
Line Sweep Method	lec4	31:16 to 39:00	PDF	VIDEO
Line Sweep Method	lec4	39:00 to 47:06	PDF	VIDEO
Line Sweep Method	lec4	47:06 to upto	PDF	VIDEO
Shape Comparison.	lec40	22:08 to 22:21	PDF	VIDEO
Shape Comparison.	lec40	33:08 to 39:51	PDF	VIDEO

Database Design (View More...)

Indexing Techniques Single level	lec12	27:37 to 29:38	PDF	VIDEO
Indexing Techniques Single level	lec12	29:38 to 32:07	PDF	VIDEO
Indexing Techniques Single level	lec12	32:07 to 33:53	PDF	VIDEO
Indexing Techniques Single level	lec12	33:53 to 36:02	PDF	VIDEO
Indexing Techniques Single level	lec12	40:11 to 43:04	PDF	VIDEO
Indexing Techniques Single level	lec12	47:41 to 50:59	PDF	VIDEO
Indexing Techniques Single level	lec12	54:48 to upto	PDF	VIDEO
Indexing Techniques Multi-Level and Dynamic Indexes	lec13	03:57 to 6:45	PDF	VIDEO
Indexing Techniques Multi-Level and Dynamic Indexes	lec13	09:15 to 11:03	PDF	VIDEO
Query Processing and Optimization - III	lec17	13:15 to 16:05	PDF	VIDEO

Design Verification and Test of Digital VLSI Circuits (View More...)

Introduction to Formal Methods for Design Verification	lec14	07:00 to 08:40	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	08:40 to 09:03	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	13:19 to 18:06	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	18:06 to 20:27	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	20:27 to 22:45	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	29:06 to 37:40	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	42:00 to 43:24	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	43:24 to 47:10	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	47:10 to 49:36	PDF	VIDEO
Introduction to Formal Methods for Design Verification	lec14	49:36 to upto	PDF	VIDEO

Mathematics-III (View More...)

Numerical Method for Laplace Poisson Equation	lec38	18:21 to 25:11	PDF	VIDEO
Numerical Method for Laplace Poisson Equation	lec38	26:59 to 30:08	PDF	VIDEO
Numerical Method for Laplace Poisson Equation	lec38	40:24 to upto	PDF	VIDEO
ADI Method for Laplace and Poisson Equation	lec39	00:51 to 02:04	PDF	VIDEO
ADI Method for Laplace and Poisson Equation	lec39	02:04 to 03:55	PDF	VIDEO
ADI Method for Laplace and Poisson Equation	lec39	13:48 to 16:01	PDF	VIDEO
ADI Method for Laplace and Poisson Equation	lec39	16:01 to 16:57	PDF	VIDEO
ADI Method for Laplace and Poisson Equation	lec39	18:32 to 23:53	PDF	VIDEO
ADI Method for Laplace and Poisson Equation	lec39	45:26 to upto	PDF	VIDEO
ADI Method for Laplace and Poisson Equation	lec39	:42:1 to 45:26	PDF	VIDEO

Numerical Methods and Computation (View More...)

Errors in Computation and Numerical Instability	lec1	00:45 to 00:46	PDF	VIDEO
Solution of a System of Linear Algebraic Equations (Continued)	lec16	00:11 to 00:20	PDF	VIDEO
Solution of a System of Linear Algebraic Equations (Continued)	lec16	00:36 to 00:40	PDF	VIDEO
Solution of a System of Linear Algebraic Equations (Continued)	lec16	00:40 to 00:42	PDF	VIDEO
Solution of a System of Linear Algebraic Equations (Continued)	lec16	00:42 to 00:43	PDF	VIDEO
Solution of Nonlinear Algebraic Equations	lec2	00:04 to 00:05	PDF	VIDEO
Solution of Nonlinear Algebraic Equations	lec2	00:39 to 00:43	PDF	VIDEO
Solution of Nonlinear Algebraic Equations	lec2	00:51 to upto	PDF	VIDEO
Solution of Nonlinear Algebraic Equations (Continued)	lec3	00:04 to 00:06	PDF	VIDEO
Solution of Nonlinear Algebraic Equations (Continued)	lec3	00:16 to 00:18	PDF	VIDEO

Numerical Methods and Ordinary Differential Equations (View More...)

Multi- Step Methods (Implicit)	lec10	15:44 to 19:08	PDF	VIDEO
Convergence and Stability of Multi Step Methods	lec11	12:17 to 16:03	PDF	VIDEO
Convergence and Stability of Multi Step Methods	lec11	16:03 to 22:21	PDF	VIDEO
Predictor Corrector Methods	lec14	55:35 to upto	PDF	VIDEO
Single - Step Method for IVPs	lec2	00:39 to 03:48	PDF	VIDEO
Single - Step Method for IVPs	lec2	03:48 to 05:57	PDF	VIDEO
Single - Step Method for IVPs	lec2	27:42 to 32:35	PDF	VIDEO
Analysis of Single Step Methods	lec3	26:24 to 29:52	PDF	VIDEO
Runge - Kutta Methods for IVPs	lec4	01:17 to 06:02	PDF	VIDEO
Error-Stability-Convergence of Single Step Method	lec6	54:51 to upto	PDF	VIDEO

Numerical methods and programing (View More...)

Solving Non-Linear Equations Newton Raphson Method	lec22	01:22 to 02:00	PDF	VIDEO
Solving Non-Linear Equations Newton Raphson Method	lec22	39:25 to 39:45	PDF	VIDEO
Methods for Solving Non-Linear Equations a Comparison	lec23	08:14 to 08:27	PDF	VIDEO
Methods for Solving Non-Linear Equations a Comparison	lec23	17:26 to 17:34	PDF	VIDEO
Methods for Solving Non-Linear Equations a Comparison	lec23	22:53 to 23:10	PDF	VIDEO
Explicit and Implicit Methods for Partial Differential Equations	lec35	10:35 to 13:54	PDF	VIDEO
Explicit and Implicit Methods for Partial Differential Equations	lec35	13:54 to 15:06	PDF	VIDEO
Explicit and Implicit Methods for Partial Differential Equations	lec35	22:50 to 33:43	PDF	VIDEO
Explicit and Implicit Methods for Partial Differential Equations	lec35	34:13 to 39:00	PDF	VIDEO
Explicit and Implicit Methods for Partial Differential Equations	lec35	50:42 to 52:58	PDF	VIDEO

Numerical Optimization (View More...)

Classical Newton Method	lec14	19:44 to 25:45	PDF	VIDEO
Classical Newton Method	lec14	36:10 to 40:55	PDF	VIDEO
Trust Region and Quasi-Newton Methods	lec15	38:55 to 42:02	PDF	VIDEO
Trust Region and Quasi-Newton Methods	lec15	42:02 to 44:38	PDF	VIDEO
Quasi-Newton Methods - Rank One Correction, DFP Method	lec16	00:37 to 03:56	PDF	VIDEO
Quasi-Newton Methods - Rank One Correction, DFP Method	lec16	38:49 to 42:22	PDF	VIDEO
Quasi-Newton Methods - Broyden Family Coordinate Descent Method	lec17	04:21 to 07:52	PDF	VIDEO
Quasi-Newton Methods - Broyden Family Coordinate Descent Method	lec17	24:18 to 26:30	PDF	VIDEO
Conjugate Gradient Method	lec19	47:50 to 49:40	PDF	VIDEO
Conjugate Gradient Method	lec19	49:40 to upto	PDF	VIDEO

Parallel Algorithm (View More...)

lec15	lec15	13:43 to 22:44	PDF	VIDEO
lec15	lec15	1:04: to 1:11:	PDF	VIDEO
lec15	lec15	48:12 to 53:38	PDF	VIDEO
lec20	lec20	30:08 to 39:04	PDF	VIDEO
lec22	lec22	02:11 to 02:34	PDF	VIDEO
lec22	lec22	02:34 to 03:11	PDF	VIDEO
lec22	lec22	14:55 to 15:32	PDF	VIDEO
lec22	lec22	17:06 to 17:35	PDF	VIDEO
lec4	lec4	38:26 to 40:13	PDF	VIDEO
lec4	lec4	40:13 to 46:12	PDF	VIDEO

Software Engineering (View More...)

Project Scope Management	lec30	02:44 to 12:22	PDF	VIDEO
Project Time Management	lec31	28:07 to 51:51	PDF	VIDEO
Estimation - I	lec32	13:06 to 23:24	PDF	VIDEO
Estimation - I	lec32	23:24 to 33:28	PDF	VIDEO
Estimation - I	lec32	33:28 to 39:46	PDF	VIDEO
Estimation - II	lec33	32:00 to 40:17	PDF	VIDEO
Estimation - II	lec33	9:12 to 15:02	PDF	VIDEO
6B. Quality Management Systems	lec36	10:51 to 13:43	PDF	VIDEO
6B. Quality Management Systems	lec36	49:43 to upto	PDF	VIDEO
Algebraic Specification Methods	lec7	31:29 to 35:07	PDF	VIDEO

No Records Found

Any Queries, please contact us @ 09677117110 or mail to NPTEL.Bodhbridge@btechguru.com

Distributed under Creative Commons Attribution-Share Alike - CC BY-SA.

Back to top