Verification of Digital Systems, Spring 2021
Lecture 4 : Verifying clock domain crossings
2-on-a-page (pdf)