5 Functional verification (In depth)

5.1 Introduction to functional verification

Lecture notes

5.2 RTL Verification & testing

Lecture notes

5.3 Gate-level verification

Lecture notes

5.4 Timing violations (setup, hold, recovery, removal)

Lecture notes

5.5 Static timing analysis

Lecture notes

5.6 Functional verification & STA in Cravel User Project wrapper

Lecture notes