Functional Verification Coordonat de: Marius Enăchescu, Mariana Ilaş Master: Advanced Computing in Embedded Systems (in English)