Verification of Digital Systems, Spring 2016

Lecture 18 : Semi-Formal Verification; Art of Semi-Formal Bug Hunting

2-on-a-page (pdf)