5.3 Gate-level verification

Lecture notes