Lorenzo Sinito'. Testing Framework to support C-vs-RTL Equivalence Checking. Rel. Mariagrazia Graziano. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2019