IIT Lecture Videos on Testing and Verifications of IC by Prof. Pallab Das Gupta sir (IIT KGP)

Testing and Verifications of IC 

by Prof. Pallab Das Gupta sir

Ph.D.(IIT Kharagpur)

Professor,  Computer Science & Engineering
P Dasgupta joined the Institute in 1995

Contact Addresses

Residence	A-124, IIT Campus, Kharagpur 721302
Phone (office)	+91 - 3222 - 283470
Phone (residence)	+91 - 3222 - 283471 (IIT Phone) +91 - 3222 - 278710 (Private Phone)
email	pallab @ cse.iitkgp.ernet.in
More Information	http://www.facweb.iitkgp.ernet.in/~pallab/

Research Areas

• Formal Verification
• VLSI CAD & Electronic Design Automation

1: design verification and testing - introduction.

2 design verification overview

3 testing and verification

4 verilog basics.

5: simulators

6: simulators

7 simulators

8 test scenarios and coverage

9 test scenarios and coverage

10 - assertions

11 - assertions

12 - verification and testing

13 - testing and verification

14 - testing and verification

15 - case study AMBA APB

16 - testing - BDD

17 - cBDD

18 - state machines and equivalence checking

19 - state machines and equivalence checking

20 model checking

21 - model checking

22 - model checking

23 model checking

24 bounded model checking

25 abstractions and refinements

26 abstractions and refinements