5.2 RTL Verification & testing

Lecture notes