Introduction to verification
The approach to defining verification environments
Formal verification
Assertion based verification
Gate level simulation
Hardware Software coverification
Verification and testing
Introduction to SAN
Linux as an embedded OS
Driver development on MAC OS
Introduction to DSP
Video Basics
