Soc Design -- ICS, Fall 2010
Lecture 14 : Verification of SoC Designs
2-on-a-page (pdf)