Verification of Digital Systems, Spring 2016

Lecture 20 : Slicing Techniques

2-on-a-page (pdf)