Demetrio Bori. Model vs RTL : correlation beyond testing. Exploring the use of C vs RTL formal equivalence techinques for verification of CPU designs. Rel. Paolo Enrico Camurati. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2023