![]() | Livello precedente |
Ghazaleh Rezayat.
COMPLEMENTING THE UVM VERIFICATION FRAMEWORK WITH FORMAL TECHNIQUES.
Rel. Edgar Ernesto Sanchez Sanchez, Annachiara Ruospo. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2021