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