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