5.6 Functional verification & STA in Cravel User Project wrapper

Lecture notes